TY  - BOOK
AU  - Bērzin̦š,Valdis Andris
AU  - Luqi.
TI  - Software engineering with abstractions / 
SN  - 0201080044
U1  - 005.133   19
PY  - 1991///
CY  - Reading, Mass. : 
PB  -  Addison-Wesley, 
KW  - Computer software
KW  -  Development
KW  - Ada (Computer program language)
N1  - Includes bibliographical references and index
N2  - 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)
ER  -