Software environment support for integrated formal program specification and development

J. C. Grundy, J. G. Hosking

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

Abstract

Formal program development has gained widespread academic interest as a rigorous software engineering technique. One of the main hurdles for the wider IT industry in adopting these formal techniques is a lack of tools to support their use in combination with more traditional development techniques. This paper describes an integrated environment for object-oriented software development which incorporates formal Object-Z specifications for classes. These formal specification views are kept consistent with more traditional design and implementation views, allowing software developers to design, refine, implement and document their software utilising integrated formal techniques.

Original languageEnglish
Title of host publicationProceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995
PublisherIEEE, Institute of Electrical and Electronics Engineers
Pages264-273
Number of pages10
ISBN (Electronic)0818671718, 9780818671715
DOIs
Publication statusPublished - 1 Jan 1995
Externally publishedYes
EventAsia-Pacific Software Engineering Conference 1995 - Brisbane, Australia
Duration: 6 Dec 19959 Dec 1995
Conference number: 2nd
https://ieeexplore.ieee.org/xpl/conhome/3579/proceeding (Proceedings)

Publication series

NameProceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995

Conference

ConferenceAsia-Pacific Software Engineering Conference 1995
Abbreviated titleAPSEC 1995
CountryAustralia
CityBrisbane
Period6/12/959/12/95
Internet address

Keywords

  • consistency management
  • formal specification
  • integrated software development
  • Object-Z
  • software engineering environments

Cite this

Grundy, J. C., & Hosking, J. G. (1995). Software environment support for integrated formal program specification and development. In Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995 (pp. 264-273). [496975] (Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995). IEEE, Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/APSEC.1995.496975