Paper Info
Title
Facilitating The Maintenance Of Safety-Critical Systems
Abstract
As software is increasingly used to control safety-critical systems, correctness becomes paramount. Formal methods in software development provide many benefits in the forward engineering aspect of software development. Reverse engineering is the process of constructing a high-level representation of a system from existing lower level instantiations of that system. Reverse engineering of program code into formal specifications facilitates the utilization of the benefits of formal methods in projects where formal methods may not have previously been used, thus facilitating the maintenance of safety-critical systems.
Year
DOI
Venue
1994
10.1142/S0218194094000106
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
Keywords
Field
DocType
FORMAL METHODS, FORMAL SPECIFICATIONS, REVERSE ENGINEERING, MAINTENANCE, SAFETY-CRITICAL SYSTEMS
Life-critical system,Software engineering,Systems engineering,Computer science,Correctness,Reverse engineering,Formal specification,Refinement,Formal methods,Software verification and validation,Software development
Journal
Volume
Issue
ISSN
4
2
0218-1940
Citations 
PageRank 
References 
3
0.62
11
Authors
2
Name
Order
Citations
PageRank
Gerald C. Gannod130135.86
Betty H. C. Cheng23345191.44