Seamless requirements. (September 2017)

• Record Type: Journal Article
• Authors: Naumchev, A.; Meyer, B.
• Is Part Of: Computer languages, systems & structures. Volume 49(2017)
• Page Start: 119
• Page End: 132
• Publication Date: 2017-09
• Subjects: Seamless requirements -- Specification drivers -- AutoProof -- Eiffel -- Design by contract -- Formal verification; Programming languages (Electronic computers) -- Periodicals; Computer networks -- Periodicals; Computer architecture -- Periodicals; Computer systems -- Periodicals; Langage de programmation; Réseau d'ordinateurs; Architecture d'ordinateur; Périodique électronique (Descripteur de forme); Ressource Internet (Descripteur de forme); 005.13
• DOI: 10.1016/j.cl.2017.04.001
• Languages: English
• ISSNs: 1477-8424

Abstract

Abstract: Popular notations for functional requirements specifications frequently ignore developers' needs, target specific development models, or require translation of requirements into tests for verification; the results can give out-of-sync or downright incompatible artifacts. Seamless requirements, a new approach to specifying functional requirements, contributes to developers' understanding of requirements and to software quality regardless of the process, while the process itself becomes lighter due to the absence of tests in the presence of formal verification. A development case illustrates these benefits, and a discussion compares seamless requirements to other approaches. Highlights: New software requirements specification technique is proposed called seam-less requirements. A seamless requirement includes formal and natural-language component. The formal component is a proof obligation expressed as a contracted self-contained routine. The natural-language component is a natural-language comment on the routine. Simple example illustrates benefits of the new technique.