FACILITATING THE MAINTENANCE OF SAFETY-CRITICAL SYSTEMS

• 1 June 1994
• journal article
• research article
• Published by World Scientific Pub Co Pte Ltd in International Journal of Software Engineering and Knowledge Engineering
• Vol. 04  (02) , 183-204
• https://doi.org/10.1142/s0218194094000106

Abstract

Keywords

• FORMAL METHODS
• FORMAL SPECIFICATIONS
• REVERSE ENGINEERING
• MAINTENANCE
• SAFETY-CRITICAL SYSTEMS