A formal reasoning environment for Sum: a Z based specification language

Anthony Bloesch; Edmund Kazmierczak; Peter Kearney; John Staples; Owen Traynor; Mark Utting

Back

A formal reasoning environment for Sum: a Z based specification language

Conference presentation

Peer reviewed

A formal reasoning environment for Sum: a Z based specification language

Anthony Bloesch, Edmund Kazmierczak, Peter Kearney, John Staples, Owen Traynor and Mark Utting

Australasian Computer Science Conference (ACSC96), 19th (Melbourne, Australia)

University of Melbourne

1996

Files and links (1)

url

http://people.eng.unimelb.edu.au/ammoffat/conferences96/acscprog.htmlView

Webpage

Abstract

Computer Software

We describe techniques and tools which have been developed to support the modular formal specification language Sum. The mathematical basis for Sum is set theory. The foundation for Sum is the well-known Z specification language with extensions which address current software engineering concerns. In particular, we describe the support available for reasoning about Sum specifications.

Details

Title: A formal reasoning environment for Sum: a Z based specification language
Authors: Anthony Bloesch (Author) - University of Queensland
Edmund Kazmierczak (Author) - University of Queensland
Peter Kearney (Author) - University of Queensland
John Staples (Author) - University of Queensland
Owen Traynor (Author) - University of Queensland
Mark Utting (Author) - University of Queensland
Conference details: Australasian Computer Science Conference (ACSC96), 19th (Melbourne, Australia)
Publisher: University of Melbourne
Date published: 1996
Organisation Unit: School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
Language: English
Record Identifier: 99450197502621
Output Type: Conference presentation

Metrics

1087 Record Views