Mathematical principles for a first course in software engineering
- 1 May 1989
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 15 (5) , 550-559
- https://doi.org/10.1109/32.24704
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Cleanroom Software Development: An Empirical EvaluationIEEE Transactions on Software Engineering, 1987
- Cleanroom Software EngineeringIEEE Software, 1987
- Theory of ModulesIEEE Transactions on Software Engineering, 1987
- A technique for software module specification with examplesCommunications of the ACM, 1972
- Proof of correctness of data representationsActa Informatica, 1972
- Program development by stepwise refinementCommunications of the ACM, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967
- Proof of algorithms by general snapshotsBIT Numerical Mathematics, 1966