Reasoning about the correctness of software development process

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Reasoning about the correctness of software development process

Full text

Pdf (113 KB)

Source

International Conference on Software Engineering archive
Proceedings of the 24th International Conference on Software Engineering table of contents

Orlando, Florida

POSTER SESSION: Posters and research demonstrations table of contents

Pages: 708 - 708

Year of Publication: 2002

ISBN:1-58113-472-X

Authors

Claudia Pons	LIFIA - Universidad Nacional de La Plata, Argentina
Gabriel Baum	LIFIA - Universidad Nacional de La Plata, Argentina

Sponsors

IEEE-CS\DATC : IEEE Computer Society
ACM: Association for Computing Machinery
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 23, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/581339.581459 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Ralph-Johan J. Back , Abo Akademi , J. Von Wright , F. B. Schneider , D. Gries, Refinement Calculus: A Systematic Introduction, Springer-Verlag New York, Inc., Secaucus, NJ, 1998
	2	Richard Helm , Ian M. Holland , Dipayan Gangopadhyay, Contracts: specifying behavioral compositions in object-oriented systems, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.169-180, September 1990, Ottawa, Canada
	3	Ivar Jacobson , Grady Booch , James Rumbaugh, The unified software development process, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
	4	Meyer, B. Advances in object oriented software engineering. Chapter 1 "Design by contract". Prentice Hall, 1992.
	5	Pons, C and Baum G. Software Development Contracts, 5th European Conference on Software Maintenance and Reengineering, Special Session on Formal Foundation of Software Evolution. Portugal, March 2001.