Object-oriented formal specifications to support Ada 95 reuse

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Object-oriented formal specifications to support Ada 95 reuse

Full text

Pdf (613 KB)

Source

Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada table of contents

Philadelphia, Pennsylvania, United States

Pages: 125 - 131

Year of Publication: 1996

ISBN:0-89791-808-8

Authors

Huiming Yu	Department of Computer Science, NC A&T State University, Greensboro, NC
Albert Esterline	Department of Computer Science, NC A&T State University, Greensboro, NC
Joseph Monroe	Department of Computer Science, NC A&T State University, Greensboro, NC

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 4, Citation Count: 1

Additional Information:

references cited by 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/240678.240709 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	J. A. Bergstra , Jan Heering , Paul Klint, Algebraic specification, ACM Press, New York, NY, 1989
	2	H. Ehrig , Bernd Mahr, Fundamentals of algebraic specification 2: module specifications and constraints, Springer-Verlag New York, Inc., New York, NY, 1990
	3	Gall, }t. and Klosch, R., "Reuse Engineering: Software Construction from Reusable Components", The Sixteenth Annual International Computer Software and Application Conference, 1992.
	4	S. J. Garland , J. V. Guttag , J. J. Horning, Debugging Larch Shared Language Specifications, IEEE Transactions on Software Engineering, v.16 n.9, p.1044-1057, September 1990 [doi>10.1109/32.58789]
	5	John V. Guttag , James J. Horning, Larch: languages and tools for formal specification, Springer-Verlag New York, Inc., New York, NY, 1993
	6	David C. Luckham , Friedrich W. von Henke , Bernd Krieg-Brückner , Olaf Owe, ANNA: a language for annotating Ada programs, Springer-Verlag New York, Inc., New York, NY, 1987
	7	Zohar Manna , Amir Pnueli, The temporal logic of reactive and concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1992
	8	Wegner, P., "Varieties of Reusability", Tutorial: Sof. h~are Reusability, Computer Society Press, 1987.
	9	Mario Wolczko, Encapsulation, delegation and inheritance in object-oriented languages, Software Engineering Journal, v.7 n.2, p.95-101, March 1992
	10	Ada 95 Reference Manual, ANSI/ISD DIS 8652, 1995.