The Cogito development system
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 586-591
- https://doi.org/10.1007/bfb0000505
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Formal methods pilot projectPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The Cogito Repository ManagerPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The Qu-Prolog unification algorithm: formalisation and correctnessTheoretical Computer Science, 1996
- COGITO: A METHODOLOGY AND SYSTEM FOR FORMAL SOFTWARE DEVELOPMENTInternational Journal of Software Engineering and Knowledge Engineering, 1995