Deriving event-based transition systems from goal-oriented requirements models
Open Access
- 13 May 2008
- journal article
- Published by Springer Science and Business Media LLC in Automated Software Engineering
- Vol. 15 (2), 175-206
- https://doi.org/10.1007/s10515-008-0027-7
Abstract
No abstract availableKeywords
This publication has 44 references indexed in Scilit:
- Component Verification with Automatically Generated AssumptionsAutomated Software Engineering, 2005
- Deriving tabular event-based specifications from goal-oriented requirements modelsRequirements Engineering, 2004
- Towards requirements-driven information systems engineering: the Tropos projectInformation Systems, 2002
- Weaving together requirements and architecturesComputer, 2001
- From Non-Functional Requirements to Design through PatternsRequirements Engineering, 2001
- Checking safety properties using compositional reachability analysisACM Transactions on Software Engineering and Methodology, 1999
- Inferring declarative requirements specifications from operational scenariosIEEE Transactions on Software Engineering, 1998
- SCR: A toolset for specifying and analyzing software requirementsLecture Notes in Computer Science, 1998
- On the frame problem in procedure specificationsIEEE Transactions on Software Engineering, 1995
- CONIC: an integrated approach to distributed computer control systemsIEE Proceedings E Computers and Digital Techniques, 1983