Software engineering with abstractions /
Bērzin̦š, Valdis Andris
Software engineering with abstractions / Valdis Berzins, Luqi. - Reading, Mass. : Addison-Wesley, c1991. - xv, 624 p. : ill. ; 24 cm.
Includes bibliographical references and index.
A technical introduction to software engineering with a systematic approach that is both formal and practical. Traces the entire software-development process, using a formal specification language ("Spec") to develop large real-time, and distributed systems in Ada. Coverage extends to system evolution, and includes special discussion of tools for automating software development. Annotation c. Book News, Inc., Portland, OR (booknews.com)
0201080044 9780201080049
88007517
Computer software -- Development.
Ada (Computer program language)
005.133
Software engineering with abstractions / Valdis Berzins, Luqi. - Reading, Mass. : Addison-Wesley, c1991. - xv, 624 p. : ill. ; 24 cm.
Includes bibliographical references and index.
A technical introduction to software engineering with a systematic approach that is both formal and practical. Traces the entire software-development process, using a formal specification language ("Spec") to develop large real-time, and distributed systems in Ada. Coverage extends to system evolution, and includes special discussion of tools for automating software development. Annotation c. Book News, Inc., Portland, OR (booknews.com)
0201080044 9780201080049
88007517
Computer software -- Development.
Ada (Computer program language)
005.133