Abstract
The Cogito system provides comprehensive support for the development of specifications written in the Sum language (a modular extension of Z). The tool-set provides technology to aid in the construction, analysis and development of Sum specifications. Ada code is the final result of a development in Cogito.
Preview
Unable to display preview. Download preview PDF.
References
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.
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–54. ACSC96, 1996.
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–617, 1995.
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–45. ACSC97, 1997.
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–245. IEEE Computer Society Press, 1996.
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.
P. Nickolas and P.J. Robinson. The Qu-Prolog unification algorithm: Formalisation and correctness. Theoretical Computer Science, 169:81–112, 1996.
Ray Nickson, Owen Traynor, and Mark Utting. Cogito Ergo Sum — providing structured theorem prover support for specification formalisms. In Australasian Computer Science Communications, Vol18:1, pages 149–158. ACSC96, 1996.
J.M. Spivey. The Z Notation: a Reference Manual. Prentice-Hall, New York, 1989.
Owen Traynor and Anthony Bloesch. The Cogito repository manager. In Proc. APSEC94, pages 356–367. IEEE Computer Society Press, 1994.
Owen Traynor and Anthony Bloesch. The Cogito tool architecture. In Australasian Computer Science Communications, Vol18:1, pages 97–106. ACSC96, 1996.
Owen Traynor, Peter Kearney, Ed Kazmierczak, Li Wang, and Einar Karlsen. Extending Z with modules. In Australasian Computer Science Communications, Vol17:1, pages 513–522. ACSC95, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Traynor, O., Hazel, D., Kearney, P., Martin, A., Nickson, R., Wildman, L. (1997). The Cogito development system. In: Johnson, M. (eds) Algebraic Methodology and Software Technology. AMAST 1997. Lecture Notes in Computer Science, vol 1349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000505
Download citation
DOI: https://doi.org/10.1007/BFb0000505
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63888-9
Online ISBN: 978-3-540-69661-2
eBook Packages: Springer Book Archive