Analysis of concurrent software by cooperative application of static and dynamic techniques
Proc. of a symposium on Software validation: inspection-testing-verification-alternatives
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Software Engineering Economics
Software Engineering Economics
Runtime and description of deadness errors in ADA tasking
Runtime and description of deadness errors in ADA tasking
Rapid software prototyping
Interactive Ada™ in the Arcturus environment
ACM SIGAda Ada Letters
Initial thoughts on rapid prototyping techniques
Proceedings of the workshop on Rapid prototyping
Hi-index | 0.00 |
Conceptual simplicity, tight coupling of tools, and effective support of host-target software development will characterize advanced Ada programming support environments. Several important principles have been demonstrated in the Arcturus system, including template-assisted Ada editing, command completion using Ada as a command language, and combining the advantages of interpretation and compilation. Other principles, relating to analysis, testing, and debugging of concurrent Ada programs, have appeared in other contexts. This paper discusses several of these topics, considers how they can be integrated, and argues for their inclusion in an environment appropriate for software development in the late 1980's.