COGITO: A METHODOLOGY AND SYSTEM FOR FORMAL SOFTWARE DEVELOPMENT
Autor: | Edmund Kazmierczak, Anthony Bloesch, Owen Traynor, Peter Kearney |
---|---|
Rok vydání: | 1995 |
Předmět: |
Computer Networks and Communications
Computer science business.industry Process (engineering) Software development Formal methods Computer Graphics and Computer-Aided Design Cogito ergo sum Artificial Intelligence Formal specification Systems engineering Support system Formal development business Software |
Zdroj: | International Journal of Software Engineering and Knowledge Engineering. :599-617 |
ISSN: | 1793-6403 0218-1940 |
Popis: | Cogito 1 is the first iteration of a Z-based integrated methodology and support system for formal software development. This paper gives an overview of the Cogito methodology and associated tools. Particular emphasis is placed on the way in which Cogito integrates the various phases of the formal development process and provides comprehensive tools support for all phases of development addressed by the methodology. |
Databáze: | OpenAIRE |
Externí odkaz: |