Title :
Software environment support for integrated formal program specification and development
Author :
Grundy, John C. ; Hosking, John G.
Author_Institution :
Dept. of Comput. Sci., Waikato Univ., Hamilton, New Zealand
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
Keywords :
computer aided software engineering; configuration management; formal specification; object-oriented methods; IT industry; Object-Z specifications; consistency management; design views; formal class specifications; formal program development; formal program specification; formal specification views; implementation views; integrated formal techniques; object-oriented software development; rigorous software engineering technique; software design; software documentation; software environment support; software implementation; software refinement; Computer science; Design methodology; Engineering management; Environmental management; Formal specifications; Object oriented programming; Software design; Software development management; Software engineering; Specification languages;
Conference_Titel :
Software Engineering Conference, 1995. Proceedings., 1995 Asia Pacific
Conference_Location :
Brisbane, Qld.
Print_ISBN :
0-8186-7171-8
DOI :
10.1109/APSEC.1995.496975
