A reference model for requirements and specifications
- 1 January 2000
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 17 (3), 37-43
- https://doi.org/10.1109/52.896248
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Domain descriptionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Documentation of requirements for computer systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Reactive modulesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Four dark corners of requirements engineeringACM Transactions on Software Engineering and Methodology, 1997
- Functional documents for computer systemsScience of Computer Programming, 1995
- Conjoining specificationsACM Transactions on Programming Languages and Systems, 1995
- Deriving specifications from requirementsPublished by Association for Computing Machinery (ACM) ,1995
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994