Building distributed Ada applications from specifications and functional components

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Building distributed Ada applications from specifications and functional components

Full text

Pdf (1.18 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: 143 - 154

Year of Publication: 1991

ISBN:0-89791-445-7

Authors

Dennis L. Doubleday	Software Engineering Institute, Carnegie Mellon University
Mario R. Barbacci	Software Engineering Institute, Carnegie Mellon University
Charles B. Weinstock	Software Engineering Institute, Carnegie Mellon University
Michael J. Gardner	Westinghouse Electric Corporation
Randall W. Lichota	Hughes Aircraft Company

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

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

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.126566 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	M.R. Barbacci, D.L. Doubleday, C.B. Weinstock, M.J. Gardner, J.M. Wing. Durra: A Task-Level Description Language Reference Manual (Version 3), SEI Technical Report CMU/SEI-91-TR-18, ESD-TR-91-18, 1991, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA.
	2	A.H. Muntz and R.W. Lichota. "A Requirements Specification Method for Adaptive Real-Time Systems", to appear in Proceedings of the IEEE Real- Time Systems Symposium, December 1991.
	3	John R. Nestor , Joseph M. Newcomer , Paola Giannini , Donald L. Stone, IDL: the language and its implementation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	4	R. Jha , G. Eisenhauer, Distributed Ada-approach and implementation, Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment, p.439-449, January 1989, Pittsburgh, Pennsylvania, United States [doi>10.1145/74261.74294]
	5	A. D. Hutcheon , A. J. Wellings, Supporting Ada in a distributed environment, ACM SIGAda Ada Letters, v.VIII n.7, p.113-117, June 1-3, 1988
	6	D. Wengelin , L. Asplund, Application of Ada on a distributed missile control system, Proceedings of the conference on TRI-ADA '90, p.300-312, December 03-06, 1990, Baltimore, Maryland, United States [doi>10.1145/255471.255541]
	7	C. Atkinson , S. J. Goldsack, Communication between Ada programs in DIADEM, ACM SIGAda Ada Letters, v.VIII n.7, p.86-96, June 1-3, 1988
	8	J. Bamberger, C. Colket, R. Firth, D. Klein, R. Van Scoy. Kernel Facilities Definition, Distributed Ada Real-Time Kernel Project. Technical Report CMU/SEI- 88-TR- 16, July 1988, Software Engineering Institute, Carnegie Mellon University.
	9	W. Royce, Reliable, reusable Ada components for constructing large, distributed multi-task networks: networks architecture services (NAS), Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment, p.500-516, January 1989, Pittsburgh, Pennsylvania, United States [doi>10.1145/74261.74299]
	10	Y. Shi and N. Prywes. "Generating Multitasking Ada Programs from High-Level Specifications", Proceedings of the Third International Conference on Ada Applications and Environments, Manchester, NH, May 23-25, 1988, pp. 137-149.
	11	J. Kramer and J. Magee. "A Constructive Approach to the Design of Distributed Systems", Proceedings of the l Oth International Conference on Distributed Computing Systems, Paris, France, May 28-June 1, 1990, pp. 580-587.
	12	J.M. Purtilo and P. Jalote. "An Environment for Prototyping Distributed Applications", Proceedings of the Ninth International Conference on Distributed Computing Systems, Newport Beach, CA, June 5-9, 1989, pp. 588-594.
	13	Frank C. Belz , David C. Luckham, A new approach to prototyping Ada-based hardware/software systems, Proceedings of the conference on TRI-ADA '90, p.141-155, December 03-06, 1990, Baltimore, Maryland, United States [doi>10.1145/255471.255520]
	14	J.M. Purtilo and C.R. Hofmeister. "Dynamic Reconfiguration of Distributed Programs", Proceedings of the 11 th International Conference on Distributed Computing Systems, Arlington, TX, May 20-24, 1991, pp. 560-571.

CITED BY 2

	Ramón D. Acosta, Specification prototyping of concurrent Ada programs in DProto, Proceedings of the conference on TRI-Ada '92, p.258-266, November 16-20, 1992, Orlando, Florida, United States
	Marcin Paprzycki , Janusz Zalewski, Ada in distributed systems: an overview, ACM SIGAda Ada Letters, v.XVII n.2, p.67-81, March/April 1997