An entity-life modeling approach to the design of concurrent software
Communications of the ACM
An object-oriented approach to domain analysis
ACM SIGSOFT Software Engineering Notes
Pragmatic definition of an object-oriented development process for Ada
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
The object-oriented software development method: a practical approach to object-oriented development
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
A laboratory for teaching object oriented thinking
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Object-oriented analysis
Object oriented design with applications
Object oriented design with applications
Surveying current research in object-oriented design
Communications of the ACM
Requirements specification for Ada software under DoD-STD-2167A
Journal of Systems and Software
Toward a real-time Ada design methodology
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Principles for defining an object-oriented design decomposition in Ada
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Using Harel statecharts to model object-oriented behavior
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Active information systems, from object-oriented design to Ada 95
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Hi-index | 0.00 |
Cost and quality are becoming increasingly important for companies developing software for the Federal Government. Since much of the software developed for the Government must he written in Ada, software engineers and managers are searching to improve the process of developing Ada systems.Based on the potential of object-oriented methods-better maintainability, reusability, and intellectual control for large complex systems-we have implemented and are continuing to evolve a real-time object-oriented approach for developing Ada systems. Our process borrows heavily from the work of others and offers unique techniques for expressing object behavior, verifying and validating the object-oriented models, and mapping the object-oriented requirements model to Ada constructs. The approach we present in this paper incorporates object-oriented methods for both requirements analysis and Ada design, and focuses on:•Ada considerations for the object-oriented models•Transitioning from the requirements analysis model to Ada design with a minimum of corner-turning•Real-time behavior specifications for object services•A common method for verifying the requirements analysis model and validating the design model.