Mazzanti F.
Critical software development Software/Program Verification
This paper presents some limits and irregularities in current standards for safety critical software development, and suggests ways to improve the state of the art. The need for well organized, rigorous and verifiable coding regulations to promote the development of software with predictable quality and safety characteristics is explained. We show specific examples of weaknesses in standards and make proposals for improvement.
Source: Proceedings of 2nd IEEE International Software Engineering Symposium, Toronto, 1995
Publisher: IEEE Computer Society Press,, Los Alamitos, Calif. , Stati Uniti d'America
@inproceedings{oai:it.cnr:prodotti:409556, title = {Coding regulations for safety critical software development}, author = {Mazzanti F.}, publisher = {IEEE Computer Society Press,, Los Alamitos, Calif. , Stati Uniti d'America}, booktitle = {Proceedings of 2nd IEEE International Software Engineering Symposium, Toronto, 1995}, year = {1995} }