Using the CoRE Requirements Method with ADARTS. Version 01.00.05
Abstract
This technical report explains how you can use the Ada-Based Design Approach for Real-Time Systems (ADARTSSM) to build a software design that satisfies software requirements specified using the Consortium Requirements Engineering Method (CoRE). ADARTS is a widely accepted object-oriented method for system and software development that results in a robust design that is well documented, meets timing requirements, can withstand change, and contains many reusable components. CoRE is a new object-oriented approach to software requirements engineering that results in requirements that are precise, testable, complete, consistent, and resilient in the face of change. This report is a supplement to the ADARTS Guidebook (Version 2) and the CoRE Guidebook (Version 1) and discusses: developing a CoRE requirements specification for use with ADARTS; deriving an ADARTS process structure from CoRE requirements; combining ADARTS processes and objects derived from CoRE requirements into an ADARTS software architecture design; and taking advantage of CoRE's precision in the ADARTS process structuring, class structuring, and software architecture design activities. Object-oriented requirements and design, Concurrency, Real- time software, ADARTS, CoRE, Formal specification, Evaluation criteria.
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1994
- Accession Number
- ADA279151
Entities
People
- Douglas Smith
- H. Lykins
- R. Kirk