Assuring the correctness of automatically generated software

Publisher Website

17 December 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/dasc.1994.369494

Abstract

No abstract available

Keywords

This publication has 8 references indexed in Scilit:

Mode changes in a real-time architecture description language
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
ControlH: a fourth generation language for real-time GN&C applications
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
DOMAIN-SPECIFIC SOFTWARE ARCHITECTURES FOR GUIDANCE, NAVIGATION AND CONTROL
International Journal of Software Engineering and Knowledge Engineering, 1996
Fixed-priority sensitivity analysis for linear compute time models
IEEE Transactions on Software Engineering, 1994
Reliability modeling: an overview for system designers
Computer, 1991
Real-time scheduling theory and Ada
Computer, 1990
On the accuracy of predicting rate monotonic scheduling performance
Published by Association for Computing Machinery (ACM) ,1990
Social processes and proofs of theorems and programs
Communications of the ACM, 1979