loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second Asia-Pacific Software Engineering Conference (APSEC'95)
Software Environment Support for Integrated Formal Program Specification and Development
Brisbane, Australia
December 06-December 09
ISBN: 0-8186-7171-8
ASCII Text
x 
 
John C. Grundy, John G. Hosking, "Software Environment Support for Integrated Formal Program Specification and Development," Asia-Pacific Software Engineering Conference, pp. 264, Second Asia-Pacific Software Engineering Conference (APSEC'95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.1995.496975,
author = {John C. Grundy and John G. Hosking},
title = {Software Environment Support for Integrated Formal Program Specification and Development},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {1995},
isbn = {0-8186-7171-8},
pages = {264},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1995.496975},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Software Environment Support for Integrated Formal Program Specification and Development
SN - 0-8186-7171-8
SP
EP
A1 - John C. Grundy,
A1 - John G. Hosking,
PY - 1995
KW - software engineering environments
KW - formal specification
KW - integrated software development
KW - consistency management
KW - Object-Z
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
John C. Grundy, University of Waikato
John G. Hosking, University of Auckland
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 utilizing integrated formal techniques.
Index Terms:
software engineering environments, formal specification, integrated software development, consistency management, Object-Z
Citation:
John C. Grundy, John G. Hosking, "Software Environment Support for Integrated Formal Program Specification and Development," apsec, pp.264, Second Asia-Pacific Software Engineering Conference (APSEC'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.