{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:24:44Z","timestamp":1747578284566},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[1995,12]]},"abstract":"<jats:p> 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. <\/jats:p>","DOI":"10.1142\/s0218194095000290","type":"journal-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T06:59:25Z","timestamp":1100242765000},"page":"599-617","source":"Crossref","is-referenced-by-count":17,"title":["COGITO: A METHODOLOGY AND SYSTEM FOR FORMAL SOFTWARE DEVELOPMENT"],"prefix":"10.1142","volume":"05","author":[{"given":"A.","family":"BLOESCH","sequence":"first","affiliation":[{"name":"Software Verification Research Centre Department of Computer Science The University of Queensland, 4072, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"KAZMIERCZAK","sequence":"additional","affiliation":[{"name":"Software Verification Research Centre Department of Computer Science The University of Queensland, 4072, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"KEARNEY","sequence":"additional","affiliation":[{"name":"Software Verification Research Centre Department of Computer Science The University of Queensland, 4072, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"OWEN","family":"TRAYNOR","sequence":"additional","affiliation":[{"name":"Software Verification Research Centre Department of Computer Science The University of Queensland, 4072, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194095000290","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T21:37:36Z","timestamp":1565127456000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194095000290"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,12]]},"references-count":0,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[1995,12]]}},"alternative-id":["10.1142\/S0218194095000290"],"URL":"https:\/\/doi.org\/10.1142\/s0218194095000290","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,12]]}}}