Software Engineering With Abstractions - Couverture rigide

Berzins, Valdis

 
9780201080049: Software Engineering With Abstractions

Synopsis

This book provides a technical introduction to software engineering. It employs a systematic approach that is both formal and practical, and covers the entire software development process. It uses a formal specification language ("Spec") to develop large, real-time, and distributed systems in Ada, and includes a discussion of system evolution and tools for automating software development. 0201080044B04062001

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Quatrième de couverture

This book provides a technical introduction to software engineering. It employs a systematic approach that is both formal and practical, and covers the entire software development process. It uses a formal specification language ("Spec") to develop large, real-time, and distributed systems in Ada, and includes a discussion of system evolution and tools for automating software development.



0201080044B04062001

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.