Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleNovember 1988
An overview of DOD-STD-1838A (proposed) the common APSE interface set: revision
SDE 3: Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environmentsPages 235–247https://doi.org/10.1145/64135.65025A five-year effort under the Ada Joint Program Office has developed a proposed standard for a host system interface as seen by tools running in an Ada Programming Support Environment (APSE). Standardization of this interface as DOD-STD-1838A will have a ...
Also Published in:
ACM SIGSOFT Software Engineering Notes: Volume 13 Issue 5ACM SIGPLAN Notices: Volume 24 Issue 2 - ArticleNovember 1988
Extended programming in the large in a software development environment
SDE 3: Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environmentsPages 173–182https://doi.org/10.1145/64135.65020This paper deals with the programming in the large part and the integration with related activities (programming in the small, variant control, support of technical documentation, responsibility and access control) of the software development and ...
Also Published in:
ACM SIGPLAN Notices: Volume 24 Issue 2ACM SIGSOFT Software Engineering Notes: Volume 13 Issue 5 - ArticleNovember 1988
The ergo support system: an integrated set of tools for prototyping integrated environments
SDE 3: Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environmentsPages 25–34https://doi.org/10.1145/64135.65006The Ergo Support System (ESS) is an engineering framework for experimentation and prototyping to support the application of formal methods to program development, ranging from program analysis and derivation to proof-theoretic approaches. The ESS is a ...
Also Published in:
ACM SIGSOFT Software Engineering Notes: Volume 13 Issue 5ACM SIGPLAN Notices: Volume 24 Issue 2
