Deriving operational software specifications from system goals
- 18 November 2002
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 119-128
- https://doi.org/10.1145/587051.587070
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Handling obstacles in goal-oriented requirements engineeringIEEE Transactions on Software Engineering, 2000
- Inferring declarative requirements specifications from operational scenariosIEEE Transactions on Software Engineering, 1998
- Managing conflicts in goal-driven requirements engineeringIEEE Transactions on Software Engineering, 1998
- The STATEMATE semantics of statechartsACM Transactions on Software Engineering and Methodology, 1996
- Functional documents for computer systemsScience of Computer Programming, 1995
- Structuring Z specifications with viewsACM Transactions on Software Engineering and Methodology, 1995
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994
- Knowledge representation and reasoning in the design of composite systemsIEEE Transactions on Software Engineering, 1992
- Temporal theories as modularisation units for concurrent system specificationFormal Aspects of Computing, 1992
- Variable-structure systems and system zerosIEE Proceedings D Control Theory and Applications, 1983