Software Engineering With Abstractions
Books / Hardcover
ISBN: 0201080044 / Publisher: Addison-Wesley, July 1990
A technical introduction to software engineering with a systematic approach that is both formal and...
Read More
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 copyright Book News, Inc. Portland, Or.
Read Less