Systematic development of hard real-time software
Subtitle: a comparative study of three methods
By: by Yuh-jeng Lee, Luqi, Valdis Berzins
Contributors: Luqi; Berzins, Valdis Andris; Naval Postgraduate School (U.S.). Dept. of Computer Science
Publisher: Naval Postgraduate School; Available from National Technical Information Service
Published: 1992
Place of publication: Monterey, Calif; Springfield, Va
Language: eng
Number of pages: 28
Subjects: REAL TIME; SOFTWARE ENGINEERING
Other titles: NPS-CS-92-007.
Description: 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.
Notes: Title from cover.

"NPS-CS-92-007."

"April 1992."

AD A252 784.

Includes bibliographical references (p. 28).

aq/aq cc:9116 12/04/97