A graphical notation for describing executions of concurrent Ada programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A graphical notation for describing executions of concurrent Ada programs

Full text

Pdf (392 KB)

Source

ACM SIGAda Ada Letters archive
Volume VI , Issue 1 (January 1986) table of contents

Pages: 94 - 103

Year of Publication: 1986

ISSN:1094-3641

Author

Kuo-Chung Tai

Department of Computer Science, Box 8206, North Carolina State University, Raleigh, NC

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 9, Citation Count: 8

Additional Information:

references cited by collaborative colleagues

Tools and Actions:	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/382256.382803 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	[Ger84] German, S. M., "Monitoring for deadlock and blocking in Ada tasking," IEEE Trans. Soft. Eng., Vol. SE-10, No. 6, Nov. 1984, 764-777.
	2	[Hel85] Helmbold, D., and Luckham, D., "Debugging Ada tasking programs," IEEE Software, March 1985, 47-57.
	3	[Tai85a] Tai, K. C., "Reproducible testing of concurrent Ada programs", Technical Report 85-09, Department of Computer Science, North Carolina State University, 1985.
	4	[Tai85b] Tai, K. C., "On testing concurrent programs," to appear in Proc. COMPSAC 85, Oct. 1985.
	5	Richard N. Taylor , Thomas A. Standish, Steps to an Advanced Ada1Programming Environment, IEEE Transactions on Software Engineering, v.11 n.3, p.302-310, March 1985 [doi>10.1109/TSE.1985.232213]

CITED BY 8

	Kuo-Chung Tai, An approach to testing concurrent Ada programs, Proceedings of the third annual Washington Ada symposium on Ada: Ada use in focus : practical lessons in perspective, p.253-264, March 1986, Laurel, Maryland, United States
	Douglas Long , Lori A. Clarke, Data flow analysis of concurrent systems that use the rendezvous model of synchronization, Proceedings of the symposium on Testing, analysis, and verification, p.21-35, October 08-10, 1991, Victoria, British Columbia, Canada
	Richard H. Carver , Kuo-Chung Tai, Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs, IEEE Transactions on Software Engineering, v.24 n.6, p.471-490, June 1998
	George S. Avrunin , Ugo A. Buy , James C. Corbett , Laura K. Dillon , Jack C. Wileden, Experiments with an improved constrained expression toolset, Proceedings of the symposium on Testing, analysis, and verification, p.178-187, October 08-10, 1991, Victoria, British Columbia, Canada
	George S. Avrunin , Ugo A. Buy , James C. Corbett , Laura K. Dillon , Jack C. Wileden, Automated Analysis of Concurrent Systems with the Constrained Expression Toolset, IEEE Transactions on Software Engineering, v.17 n.11, p.1204-1222, November 1991
	Kuo-Chung Tai , Richard H. Carver , Evelyn E. Obaid, Debugging Concurrent Ada Programs by Deterministic Execution, IEEE Transactions on Software Engineering, v.17 n.1, p.45-63, January 1991
	Sol M. Shatz, Towards Complexity Metrics for Ada Tasking, IEEE Transactions on Software Engineering, v.14 n.8, p.1122-1127, August 1988
	Cherri M. Pancake , Sue Utter, A bibliography of parallel debuggers, 1990 edition, ACM SIGPLAN Notices, v.26 n.1, p.21-37, Jan. 1991

Collaborative Colleagues:

Kuo-Chung Tai: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player