Software engineering with Ada in a new key

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Software engineering with Ada in a new key: formalizing and visualizing the object paradigm

Full text

Pdf (1.09 MB)

Source

Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '94 table of contents

Baltimore, Maryland, United States

Pages: 309 - 320

Year of Publication: 1994

ISBN:0-89791-666-2

Author

George W. Cherry

Thought Tools, Seven High Pasture Road, Kittery Point, Maine

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 3, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Request Permissions 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/197694.197732 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	Cherry, G. W. Software Construction by Object-Oriented Pictures: Specifying Reactive and Interactive Systems. Dorset House, NY, 1990. {1-800-342-6657.}
	2	George W. Cherry, Visual software engineering with rules, ACM SIGSOFT Software Engineering Notes, v.19 n.3, p.26-29, July 1994 [doi>10.1145/182824.182828]
	3	Keith Devlin, Logic and information, Cambridge University Press, New York, NY, 1991
	4	Mills, H. D. Zero defect software. In Advances in Computers, Volume 36. Edited by Marshall C. Yovits, Academic Press, NY, 1993.