A Strategy for Efficiently Verifying Requirements Specifications Using Composition and Invariants

2003 ◽  
Author(s):  
Ralph D. Jeffords ◽  
Constance L. Heitmeyer
Keyword(s):  
Requirements Specifications

scholarly journals On systematically building a controlled natural language for functional requirements

2021 ◽  
Vol 26 (4) ◽  
Author(s):  
Alvaro Veizaga ◽  
Mauricio Alferez ◽  
Damiano Torre ◽  
Mehrdad Sabetzadeh ◽  
Lionel Briand
Keyword(s):  
Information System ◽  
Natural Language ◽  
Qualitative Methodology ◽  
Case Study Research ◽  
Empirical Evaluation ◽  
Functional Requirements ◽  
Industrial Case Study ◽  
Requirements Specifications ◽  
Financial Domain

AbstractNatural language (NL) is pervasive in software requirements specifications (SRSs). However, despite its popularity and widespread use, NL is highly prone to quality issues such as vagueness, ambiguity, and incompleteness. Controlled natural languages (CNLs) have been proposed as a way to prevent quality problems in requirements documents, while maintaining the flexibility to write and communicate requirements in an intuitive and universally understood manner. In collaboration with an industrial partner from the financial domain, we systematically develop and evaluate a CNL, named Rimay, intended at helping analysts write functional requirements. We rely on Grounded Theory for building Rimay and follow well-known guidelines for conducting and reporting industrial case study research. Our main contributions are: (1) a qualitative methodology to systematically define a CNL for functional requirements; this methodology is intended to be general for use across information-system domains, (2) a CNL grammar to represent functional requirements; this grammar is derived from our experience in the financial domain, but should be applicable, possibly with adaptations, to other information-system domains, and (3) an empirical evaluation of our CNL (Rimay) through an industrial case study. Our contributions draw on 15 representative SRSs, collectively containing 3215 NL requirements statements from the financial domain. Our evaluation shows that Rimay is expressive enough to capture, on average, 88% (405 out of 460) of the NL requirements statements in four previously unseen SRSs from the financial domain.

Integrated safety analysis of requirements specifications

1997 ◽  
Vol 2 (2) ◽  
pp. 65-78 ◽  
Author(s):  
F. Modugno ◽  
N. G. Leveson ◽  
J. D. Reese ◽  
K. Partridge ◽  
S. D. Sandys
Keyword(s):  
Safety Analysis ◽  
Requirements Specifications

Animation of requirements specifications

1988 ◽  
Vol 18 (8) ◽  
pp. 749-774 ◽  
Author(s):  
Jeff Kramer ◽  
Keng Ng
Keyword(s):  
Requirements Specifications

Guidelines for the incremental identification of aspects in requirements specifications

2006 ◽  
Vol 11 (4) ◽  
pp. 239-263 ◽  
Author(s):  
Jorge García-Duque ◽  
Martín López-Nores ◽  
José J. Pazos-Arias ◽  
Ana Fernández-Vilas ◽  
Rebeca P. Díaz-Redondo ◽  
...  
Keyword(s):  
Requirements Specifications
Sign in / Sign up

Export Citation Format

Share Document