Crosscutting quality attributes for requirements engineering
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Modularisation and composition of aspectual requirements
Proceedings of the 2nd international conference on Aspect-oriented software development
Evolving requirements through coordination contracts
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
| Hi-index | 0.00 |
The Rigorous Object-Oriented Analysis (ROOA) method provides a systematic development process which, starting from a set of informal requirements, produces an executable object-oriented analysis model. The model is expressed in LOTOS and provides a precise and unambiguous formal requirements specification of the static, dynamic and functional aspects of a problem.There is, however, a wide gap between informal requirements and a formal specification. To help bridge this gap, we propose that a formal and executable model which specifies behaviour in terms of what the environment expects from the system should be constructed initially. This user-centred model will give very early feedback to the requirements capture process and can be used as a step in the construction of the ROOA model. Both models are expressed in the same executable formal language and so they can be composed to verify that the ROOA model is compatible with the user-centred model and the composition executed to validate it with respect to the requirements.