A formal approach to requirements engineering
- 25 January 2006
- book chapter
- Published by Springer Nature
- p. 312-334
- https://doi.org/10.1007/bfb0039717
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Requirements engineering: An integrated view of representation, process, and domainPublished by Springer Nature ,1993
- Authentication in distributed systemsPublished by Association for Computing Machinery (ACM) ,1991
- Declarative approach to information systems requirementsKnowledge-Based Systems, 1988