MARC record from Internet Archive

LEADER: 01724nam 2200301 a 45 0
001 a192422
008 971204s1992 caua b f000|0 eng d
040 $aCMontNP$cCMontNP
086 0 $aD 208.14/2:NPS-CS-92-007
100 1 $aLee, Yuh-jeng.
245 10 $aSystematic development of hard real-time software :$ba comparative study of three methods /$cby Yuh-jeng Lee, Luqi, Valdis Berzins.
260 $aMonterey, Calif. :$bNaval Postgraduate School ;$aSpringfield, Va. :$bAvailable from National Technical Information Service,$c[1992]
300 $a28 p. :$bill. ;$c28 cm.
500 $aTitle from cover.
500 $a"NPS-CS-92-007."
500 $a"April 1992."
500 $aAD A252 784.
504 $aIncludes bibliographical references (p. 28).
520 $aWe 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.
592 $aaq/aq cc:9116 12/04/97
650 4 $aREAL TIME.
650 4 $aSOFTWARE ENGINEERING.
700 1 $aLuqi.
700 1 $aBerzins, Valdis Andris.
710 2 $aNaval Postgraduate School (U.S.).$bDept. of Computer Science.
740 01 $aNPS-CS-92-007.
926 $aNPS-LIB$bDIGIPROJ$cD 208.14/2:NPS-CS-92-007$dBOOK$eNEVER$f1
926 $aNPS-LIB$bFEDDOCS$cD 208.14/2:NPS-CS-92-007$dBOOK$f2