Deriving operational software specifications from system goals

Authors:

Open Access

Publisher website

18 November 2002

conference paper
Published by Association for Computing Machinery (ACM)

p. 119-128
DOI:10.1145/587051.587070

Abstract

No abstract available

Keywords

This publication has 21 references indexed in Scilit:

Handling obstacles in goal-oriented requirements engineering
IEEE Transactions on Software Engineering, 2000
Inferring declarative requirements specifications from operational scenarios
IEEE Transactions on Software Engineering, 1998
Managing conflicts in goal-driven requirements engineering
IEEE Transactions on Software Engineering, 1998
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology, 1996
Functional documents for computer systems
Science of Computer Programming, 1995
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology, 1995
The temporal logic of actions
ACM Transactions on Programming Languages and Systems, 1994
Knowledge representation and reasoning in the design of composite systems
IEEE Transactions on Software Engineering, 1992
Temporal theories as modularisation units for concurrent system specification
Formal Aspects of Computing, 1992
Variable-structure systems and system zeros
IEE Proceedings D Control Theory and Applications, 1983