A logic of action for supporting goal-oriented elaborations of requirements
- 1 April 1989
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 14 (3) , 160-168
- https://doi.org/10.1145/75200.75225
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Constructing specifications by combining parallel elaborationsIEEE Transactions on Software Engineering, 1989
- Language support for the specification and development of composite systemsACM Transactions on Programming Languages and Systems, 1987
- A requirements modeling language and its logicInformation Systems, 1986
- Testing Formal Specifications to Detect Design ErrorsIEEE Transactions on Software Engineering, 1985
- A Requirements Engineering Methodology for Real-Time Processing RequirementsIEEE Transactions on Software Engineering, 1977
- PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing SystemsIEEE Transactions on Software Engineering, 1977
- Past, Present and FuturePublished by Oxford University Press (OUP) ,1967