A model for composite system design
- 9 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Specification criticism via goal-directed envisionmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A logic of action for supporting goal-oriented elaborations of requirementsPublished by Association for Computing Machinery (ACM) ,1989
- A proposed perspective shift: viewing specification design as a planning problemPublished by Association for Computing Machinery (ACM) ,1989
- Language support for the specification and development of composite systemsACM Transactions on Programming Languages and Systems, 1987