Systems design with ADA.

A knowledge-base environment for the development of software parts composition systems

ICSE '89 Proceedings of the 11th international conference on Software engineering

The Object-Oriented Structured Design Notation for Software Design Representation

Computer

Starvation and Critical Race Analyzers for Ada

IEEE Transactions on Software Engineering

The CAEDE performance analysis tool

SETA1 Proceedings of the first international symposium on Environments and tools for Ada

Hardware-In-the-Loop (HIL) simulation: an application of Colbert's object-oriented software development method

TRI-Ada '92 Proceedings of the conference on TRI-Ada '92

Reference architecture for distributed systems management

IBM Systems Journal

Experience with the automatic temporal analysis of multitasking Ada designs

SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada

An Ada based approach to factory scale MAP network simulaton

SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada

Experiments with Prolog design descriptions and tools in CAEDE: an iconic design environment for mutltitasking, embedded systems

ICSE '85 Proceedings of the 8th international conference on Software engineering

Lessons from practical experience teaching hands-on, real-time, embedded system programming with Ada

SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada

EEES: the “Manhattan Project” for systems engineering

WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education

An animated instructional model for Ada tasking

WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education

Structured tasks

WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada

Issues in object-oriented requirements analysis

WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada

The use of Ada in the development of distributed systems: experience implementing a communications system

WADAS '86 Proceedings of the third annual Washington Ada symposium on Ada: Ada use in focus : practical lessons in perspective

Should the DOD mandate a standard software development process?

WADAS '87 Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium

Integrating Ada design graphics into the Ada software development process

WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada