Systematic development of hard real-time software : a comparative study of three methods
Berzins, Valdis Andris
MetadataShow full item record
We present a comparative study on three software development methods which cover the entire development life cycle for hard real-time systems: (1) Structured Analysis, (2) Computer Aided Prototyping, and (3) Spec formal logic specification method. We use a simple example to demonstrate the software development process using all three approaches. The strengths and weaknesses of each method are discussed. Hard real-time systems, Systematic Software development, Structured analysis, Computer aided prototyping, the Spec language
NPS Report NumberNPS-CS-92-007
Showing items related by title, author, creator and subject.
Kremer, Brent. (Monterey, California. Naval Postgraduate School, 1996-06);This thesis analyzes and documents the Army's training development process as it relates to the materiel development of corresponding Army acquisition programs. Training development is a vital necessity for the successful ...
MIT/DRAPER Technology Development Partnership Project : Design, assembly, and test of the launch and flight support and deploymnet system for a gun launched reconnaissance vehicle Shook, Garrett W. (Monterey, California. Naval Postgraduate School, 1998-06-01);The MIT/Draper Technology Development Partnership Project is a two year design and development project between Draper Laboratory and the MIT department of Aeronautics and Astronautics. Overall aims of the project include ...
Boger, Dan C.; Malcolm, David S. (Monterey, California. Naval Postgraduate School, 1993-02); NPS-AS-93-012There are two different approaches, the disjoint and sequential models, which attempt to account for differences between development unit cost and production unit cost. The disjoint model uses a production cost improvement ...