Premium
The Impact of Executable Requirements Models
Author(s) -
Cohen Moshe S.
Publication year - 1997
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.1997.tb02184.x
Subject(s) - executable , computer science , correctness , software engineering , process (computing) , product design specification , time to market , product (mathematics) , programming language , systems engineering , product design , engineering , geometry , mathematics
As design complexities soar, companies continuously improve their development process in order to remain competitive and meet their time‐to‐market constraints. Development methods based on textual specifications of the requirements often lead to late deliveries of the wrong product. To address this, companies need to formally capture the requirements and generate an executable specification model as a way to verify the correctness of the specification. Through the use of code synthesis methods, the model can be used for rapid prototyping, thus allowing for an early validation of the needs, and therefore, delivering the right product. However, this requires commitments to process adjustments.