Premium
4.1.3 A RIGOROUS METHOD FOR FORMAL REQUIREMENTS DEFINITION
Author(s) -
LaPlue Larry,
Garcia Ruth A.,
Rhodes Robert
Publication year - 1995
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.1995.tb01893.x
Subject(s) - usable , computer science , requirements analysis , syntax , software engineering , formal methods , systems engineering , functional requirement , programming language , artificial intelligence , engineering , software , multimedia
The authors propose a formal method for writing behavioral requirements usable by a broad spectrum of system engineers. The method includes a requirement template with specific syntax to include all relevant aspects of a behavioral requirement, a “black box” approach to system analysis and a unique organization for requirements specification. The method addresses the most commonly encountered problems that engineers face when writing and maintaining requirements. The paper describes these problems, provides details of the method, and justifies the unique features of the method. Directions for future research to improve the method are also provided.