The Community for Technology Leaders
2012 Eighth International Conference on the Quality of Information and Communications Technology (2010)
Porto, Portugal
Sept. 29, 2010 to Oct. 2, 2010
ISBN: 978-0-7695-4241-6
pp: 210-215
ABSTRACT
The ever increasing demand for more complex and larger software systems stresses the importance of having well-engineered requirements. Requirements Engineering (RE) can no longer be an isolated upfront phase: RE is critical to ensure the success and quality of the delivered system. This paper presents a study of approaches, techniques, and languages for specifying system behavior. From this survey we synthesize a greatest common subset of constructs, which can be adapted for extending the current Project IT-RSL language. The purpose is to use the specifications written in this controlled natural language to enable automatic consistency checking to increase stakeholders engagement in RE tasks related with verification and validation.
INDEX TERMS
Requirements Engineering, Specification Language, Behavior Modeling
CITATION
Alberto Manuel Rodrigues da Silva, David de Almeida Ferreira, "Survey on System Behavior Specification for Extending ProjectIT-RSL", 2012 Eighth International Conference on the Quality of Information and Communications Technology, vol. 00, no. , pp. 210-215, 2010, doi:10.1109/QUATIC.2010.38
100 ms
(Ver 3.3 (11022016))