Mathematical notation in formal specification: too difficult for the masses?
- 1 January 1996
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 22 (2) , 158-159
- https://doi.org/10.1109/32.485225
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Consequences of GCSE in Mathematics for Degree StudiesThe Mathematical Gazette, 1995
- Science and substance: a challenge to software engineersIEEE Software, 1994
- Seven myths of formal methodsIEEE Software, 1990
- Education in formal methods for software engineeringInformation and Software Technology, 1987