Much of the imprecision of current specifications stems from the fact that many interpretations are possible when the language used has no formal semantics. However the use of formal languages often results in specifications understandable only by experts. A systems engineering tool embodying intuitive graphical formal languages allows executable specifications to be built, and makes formal methods accessible. The paper describes the advantages of such a tool based on several years of experience in space, robotics, commercial airplanes, automobile engineering and medical imaging.<>
Multiple domain experience in systems engineering using an executable specifications tool
1994-01-01
731004 byte
Conference paper
Electronic Resource
English
Multiple Domain Experience in Systems Engineering Using an Executable Specifications Tool
British Library Conference Proceedings | 1994
|Hierarchical Accumulative Validation of Executable Control Specifications
SAE Technical Papers | 2013
|Hierarchical Accumulative Validation of Executable Control Specifications
British Library Conference Proceedings | 2013
|Overcoming the generation gap in aircraft designs with executable specifications
IEEE | 2011
|