System design with Ada
Software engineering with Ada
Designing large real-time systems with Ada: Corrigenda
Communications of the ACM
Towards a general object-oriented Ada lifecycle
WADAS '87 Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium
On the inevitable intertwining of specification and implementation
Communications of the ACM
Design issues and team support: experiences of an Ada tool vendor
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
The form of reusable Ada components for concurrent use
ACM SIGAda Ada Letters
Parametrized programming in LILEANNA
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Hi-index | 0.02 |
Traditional methods for software development fail to make use of Ada's unique features to support software engineering principles. Several methods have been proposed to overcome this problem, but shortcomings have been identified with all of them. A method for Ada software development is presented which avoids the shortcomings of existing methods. Further work required on the method is also discussed.