Interpretation in a tool-fragment environment
ICSE '88 Proceedings of the 10th international conference on Software engineering
Detection of Ada Static Deadlocks Using Petri Net Invariants
IEEE Transactions on Software Engineering
A graphical notation for describing executions of concurrent Ada programs
ACM SIGAda Ada Letters
An Overview of a Graphical Multilanguage Applications Environment
IEEE Transactions on Software Engineering
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.