Using object orientation in high integrity applications: A case study

DOI10.1007/3-540-48046-3_28MaRDI QIDQ3045893zbMATH OpenFDO

Authors Alejandro Alonso, Roberto López, Tullio Vardanega, Juan Antonio de la Puente

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2361/23610357.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 108536
• scientific article; zbMATH DE number 795679
• scientific article; zbMATH DE number 804402
• The KeY approach: Integrating object oriented design and formal verification
• scientific article; zbMATH DE number 578248

Cited in

(1)

• Embedded systems unsuitable for object orientation

This page was built for publication: Using object orientation in high integrity applications: A case study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3045893)