Issue No.03 - March (1985 vol.11)
R.N. Taylor , Programming Environment Project, Department of Information and Computer Science, University of California
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.
static analysis, Ada, concurrency, debugging, programming environments
R.N. Taylor, T.A. Standish, "Steps to an Advanced Ada<sup>1</sup>Programming Environment", IEEE Transactions on Software Engineering, vol.11, no. 3, pp. 302-310, March 1985, doi:10.1109/TSE.1985.232213