{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:20Z","timestamp":1725453980117},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000505","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T06:30:36Z","timestamp":1128493836000},"page":"586-591","source":"Crossref","is-referenced-by-count":2,"title":["The Cogito development system"],"prefix":"10.1007","author":[{"given":"Owen","family":"Traynor","sequence":"first","affiliation":[]},{"given":"Dan","family":"Hazel","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Kearney","sequence":"additional","affiliation":[]},{"given":"Andrew","family":"Martin","sequence":"additional","affiliation":[]},{"given":"Ray","family":"Nickson","sequence":"additional","affiliation":[]},{"given":"Luke","family":"Wildman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"47_CR1","volume-title":"Technical Report 96-31","author":"H. Becht","year":"1996","unstructured":"Holger Becht, Anthony Bloesch, Ray Nickson, and Mark Utting. The ergo 4.1 reference manual. Technical Report 96-31, Software Verification Research Centre, Department of Computer Science, The University of Queensland, St. Lucia, QLD 4072, Australia, November 1996."},{"key":"47_CR2","first-page":"45","volume":"18","author":"A. Bloesch","year":"1996","unstructured":"A. Bloesch, P. Kearney, E. Kazmierczak, J. Staples, O. Traynor, and M. Utting. A formal reasoning environment for Sum-a Z based specification language. In Australasian Computer Science Communications, Vol18:1, pages 45\u201354. ACSC96, 1996.","journal-title":"Australasian Computer Science Communications"},{"key":"47_CR3","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1142\/S0218194095000290","volume":"4","author":"A. Bloesch","year":"1995","unstructured":"Anthony Bloesch, Ed Kazmierczak, Peter Kearney, and Owen Traynor. Cogito: A methodology and system for formal software development. International Journal of Software Engineering and Knowledge Engineering, (4):599\u2013617, 1995.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"47_CR4","first-page":"37","volume":"19","author":"N. Hamilton","year":"1997","unstructured":"Nicholas Hamilton, Ray Nickson, Owen Traynor, and Mark Utting. Interpretation and instantiation of theories for reasoning about formal specifications. In Australasian Computer Science Communications, Vol19:1, pages 37\u201345. ACSC97, 1997.","journal-title":"Australasian Computer Science Communications"},{"key":"47_CR5","doi-asserted-by":"crossref","unstructured":"Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter Lindsay, Kelvin Ross, and Owen Traynor. Formal methods pilot project. In Proc. APSEC96, pages 238\u2013245. IEEE Computer Society Press, 1996.","DOI":"10.1109\/APSEC.1996.566758"},{"key":"47_CR6","volume-title":"Technical Report 97-17","author":"D. Hazel","year":"1997","unstructured":"Dan Hazel, Paul Strooper, and Owen Traynor. Possum: An animator for the sum language. Technical Report 97-17, Software Verification Research Centre, Department of Computer Science. The University of Queensland, St. Lucia, QLD 4072, Australia, March 1997."},{"key":"47_CR7","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/S0304-3975(96)00115-6","volume":"169","author":"P. Nickolas","year":"1996","unstructured":"P. Nickolas and P.J. Robinson. The Qu-Prolog unification algorithm: Formalisation and correctness. Theoretical Computer Science, 169:81\u2013112, 1996.","journal-title":"Theoretical Computer Science"},{"key":"47_CR8","first-page":"149","volume":"18","author":"R. Nickson","year":"1996","unstructured":"Ray Nickson, Owen Traynor, and Mark Utting. Cogito Ergo Sum \u2014 providing structured theorem prover support for specification formalisms. In Australasian Computer Science Communications, Vol18:1, pages 149\u2013158. ACSC96, 1996.","journal-title":"Australasian Computer Science Communications"},{"key":"47_CR9","volume-title":"The Z Notation: a Reference Manual","author":"J.M. Spivey","year":"1989","unstructured":"J.M. Spivey. The Z Notation: a Reference Manual. Prentice-Hall, New York, 1989."},{"key":"47_CR10","doi-asserted-by":"crossref","unstructured":"Owen Traynor and Anthony Bloesch. The Cogito repository manager. In Proc. APSEC94, pages 356\u2013367. IEEE Computer Society Press, 1994.","DOI":"10.1109\/APSEC.1994.465244"},{"key":"47_CR11","first-page":"97","volume":"18","author":"O. Traynor","year":"1996","unstructured":"Owen Traynor and Anthony Bloesch. The Cogito tool architecture. In Australasian Computer Science Communications, Vol18:1, pages 97\u2013106. ACSC96, 1996.","journal-title":"Australasian Computer Science Communications"},{"key":"47_CR12","first-page":"513","volume":"17","author":"O. Traynor","year":"1995","unstructured":"Owen Traynor, Peter Kearney, Ed Kazmierczak, Li Wang, and Einar Karlsen. Extending Z with modules. In Australasian Computer Science Communications, Vol17:1, pages 513\u2013522. ACSC95, 1995.","journal-title":"Australasian Computer Science Communications"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T15:24:22Z","timestamp":1549207462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0000505","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}