Software Engineering with Abstractions
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
Specifications of Software Engineering with Abstractions
|Number Of Pages||640|
Write a review
Note: HTML is not translated!
Rating: Bad Good
Enter the code in the box below: