Ada semantic interface specification (ASIS)

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Ada semantic interface specification (ASIS)

Full text

Pdf (1.17 MB)

Source

Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations table of contents

San Jose, California, United States

Pages: 6 - 15

Year of Publication: 1991

ISBN:0-89791-445-7

Authors

James B. Bladen	TeleSoft, 5959 Cornerstone Court West, San Diego, CA
David Spenhoff	Rational, 3320 Scott Boulevard, Santa Clara, CA
Steven J. Blake	TeleSoft, 5959 Cornerstone Court West, San Diego, CA

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

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

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/126551.126552 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	RATIONALE FOR MIL-STD-1838A (CA}S), SofTech, Inc. 9 March 1990.
	2	Reference Manual for the Ada Programming Language (ANS I/MIL-STD- 1815A-1983).

CITED BY 7

	Franco Gasperoni , Patrick Bazire, Smart recompilation and the GNAT compiler, Proceedings of the conference on TRI-Ada '94, p.104-111, November 06-11, 1994, Baltimore, Maryland, United States
	Evan Lock , Noah Prywes, Requirements on Ada reengineering technology from past, present and future systems, Proceedings of the conference on TRI-Ada '92, p.384-395, November 16-20, 1992, Orlando, Florida, United States
	Steven J. Blake , James B. Bladen, Experiences with The Ada Semantic Interface Specification (ASIS): developing a tool with a view, Proceedings of the conference on TRI-Ada '92, p.458-468, November 16-20, 1992, Orlando, Florida, United States
	P. Obermayer , J. Schröer , R. A. Peek , N. Collienne , A. Klimek , R. Landwehr, Verification of the application of coding rules for Ada to enhance portability of real-time applications, Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada, p.92-96, July 1994, McLean, Virginia, United States
	Michael Karasick, The architecture of Montana: an open and extensible programming environment with an incremental C++ compiler, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.131-142, Nov. 1998
	Tom Burger , Jim Bladen , Richard A. Volz , Ron Theriault , Gary Smith , Kali H. Buhariwalla, A practical tool for distributing Ada programs: TeleSoft's distributed Ada configuration tool, Proceedings of the conference on TRI-Ada '92, p.484-492, November 16-20, 1992, Orlando, Florida, United States
	Edmond Schonberg , Bernard Banner, The GNAT project: a GNU-Ada 9X compiler, Proceedings of the conference on TRI-Ada '94, p.48-57, November 06-11, 1994, Baltimore, Maryland, United States