Specification prototyping of concurrent Ada programs in DProto

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Specification prototyping of concurrent Ada programs in DProto

Full text

Pdf (926 KB)

Source

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

Orlando, Florida, United States

Pages: 258 - 266

Year of Publication: 1992

ISBN:0-89791-529-1

Author

Ramón D. Acosta

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 8, 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/143557.143735 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	R.D. Acosta, "Simulation Modeling of Parallel Programs in PProto," Proceedings of the 1991 Sunvner Computer Simulation Conference, July 22-24, 1991, pp. 307-312.
	2	R.D. Acosta, "PProto: An Environment for Prototyping Parall~l Programs," Journal of Systems Integration, Vol. 1, No. 3/4, November 1991, pp. 339-365.
	3	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]
	4	Barry W. Boehm, A Spiral Model of Software Development and Enhancement, Computer, v.21 n.5, p.61-72, May 1988 [doi>10.1109/2.59]
	5	C.D. CaUahan, K.D. Cooper, R.T. Hood, K. Kennedy, and L. Torczon, "ParaS cope : A Parallel Programming Environment,'' The International Journal of Supercomputer Applications, Vol. 2, No. 4, Winter 1988, pp. 84-99.
	6	A. M. Davis , H. Bersoff , E. R. Comer, A Strategy for Comparing Alternative Software Development Life Cycle Models, IEEE Transactions on Software Engineering, v.14 n.10, p.1453-1461, October 1988 [doi>10.1109/32.6190]
	7	Dennis L. Doubleday , Mario R. Barbacci , Charles B. Weinstock , Michael J. Gardner , Randall W. Lichota, Building distributed Ada applications from specifications and functional components, Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations, p.143-154, October 21-25, 1991, San Jose, California, United States [doi>10.1145/126551.126566]
	8	Vincent Encontre, SDL: a standard language for Ada real-time applications, Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations, p.45-53, October 21-25, 1991, San Jose, California, United States [doi>10.1145/126551.126556]
	9	Vincent A. Guarna, Jr. , Dennis Gannon , David Jablonowski , Allen D. Maloney , Yogesh Gaur, Faust: An Integrated Environment for Parallel Programming, IEEE Software, v.6 n.4, p.20-27, July 1989 [doi>10.1109/52.31649]
	10	T. Lehr , Z. Segall , D. F. Vrsalovic , E. Caplan , A. L. Chung , C. E. Fineman, Visualizing Performance Debugging, Computer, v.22 n.10, p.38-51, October 1989 [doi>10.1109/2.42013]
	11	B. P. Miller , M. Clark , J. Hollingsworth , S. Kierstead , S. S. Lim , T. Torzewski, IPS-2: The Second Generation of a Parallel Program Measurement System, IEEE Transactions on Parallel and Distributed Systems, v.1 n.2, p.206-217, April 1990 [doi>10.1109/71.80132]
	12	Daniel Pease , Arif Ghafoor , Ishfaq Ahmad , David L. Andrews , Kamal Foudil-Bey , Thomas E. Karpinski , Mohammad A. Mikki , Mohamed Zerrouki, PAWS: A Performance Evaluation Tool for Parallel Computing Systems, Computer, v.24 n.1, p.18-29, January 1991 [doi>10.1109/2.67190]
	13	Raymond T. Yeh , David A. Naumann , Roland T. Mittermeir , Reinhard A. Schlemmer , William S. Gilmore , George E. Sumrall , John T. LeBaron, A Commonsense Management Model, IEEE Software, v.8 n.6, p.23-33, November 1991 [doi>10.1109/52.103574]