Paper Info
Title
A Formal Approach to Requirements-Based Programming
Abstract
No significant general-purpose method is currently available to mechanically transform system requirements into a provably equivalent model. The widespread use of such a method represents a necessary step toward high-dependability system engineering for numerous application domains. Current tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" unfilled by such tools and methods is that the formal models cannot be proven to be equivalent to the requirements. We offer a method for mechanically transforming requirements into a provably equivalent formal model that can be used as the basis for code generation and other transformations. This method is unique in offering full mathematical tractability while using notations and techniques that are well known and well trusted. Finally, we describe further application areas we are investigating for use of the approach.
Year
DOI
Venue
2005
10.1109/ECBS.2005.7
ECBS
Keywords
Field
DocType
formal specification,program compilers,program verification,systems analysis,systems engineering,automatic code generation,formal verification,requirements-based programming,system engineering,Validation,automatic code generation,formal methods,requirements-based programming,verification
Programming language,Software engineering,Systems engineering,Computer science,Systems analysis,Code generation,Formal specification,Formal methods,System requirements,Computer programming,Formal verification,Automatic programming
Conference
ISBN
Citations 
PageRank 
0-7695-2308-0
16
1.24
References 
Authors
4
3
Name
Order
Citations
PageRank
Michael G. Hinchey169791.11
James L. Rash239543.67
Christopher A. Rouff340950.08