2012 Eighth International Conference on the Quality of Information and Communications Technology (2012)
Lisbon, TBD, Portugal Portugal
Sept. 3, 2012 to Sept. 6, 2012
To mediate and properly support the interplay between the domains of business stakeholders and the development team, requirements must be documented and maintained in a rigorous manner. Furthermore, to effectively communicate the viewpoints of different stakeholders, it is of the utmost importance to provide complementary views that support a better understanding of the intended software system's requirements. However, the quality of requirements specifications and related artifacts strongly depends on the expertise of whoever performs these human-intensive and error-prone activities. This paper introduces RSL-IL, a domain-specific language that can be used to formally specify the requirements of software systems. The formal semantics of RSL-IL constructs enable further computations on its requirements representations, such as the automatic verification and generation of complementary views that support stakeholders during requirements validation.
Formal Languages, Requirements Engineering, Requirements Specification
David de Almeida Ferreira, Alberto Rodrigues da Silva, "Formally Specifying Requirements with RSL-IL", 2012 Eighth International Conference on the Quality of Information and Communications Technology, vol. 00, no. , pp. 217-220, 2012, doi:10.1109/QUATIC.2012.30