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
Read More
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
Read Less
Add this copy of Software Engineering With Abstractions to cart. £13.64, good condition, Sold by ThriftBooks-Atlanta rated 4.0 out of 5 stars, ships from Austell, GA, UNITED STATES, published 1991 by Addison-Wesley.
Add this copy of Software Engineering With Abstractions to cart. £51.61, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1991 by Addison-Wesley.
Add this copy of Software Engineering With Abstractions to cart. £67.04, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1990 by Addison-Wesley.