Software Engineering : Specification, Implementation, Verification - Suad AlagiÄ?

Software Engineering

Specification, Implementation, Verification

By: Suad AlagiÄ?

Hardcover | 2 October 2017

At a Glance

Hardcover


$190.99

or 4 interest-free payments of $47.75 with

 or 

Ships in 10 to 15 business days

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is given the attention that is required in order to produce a successful software project.

  • ​Uses constraints in all phases of software development
  • Follows recent developments in software technologies
  • Technical coverage of data management issues and software verification
  • Illustrated throughout to present analysis, specification, implementation and verification of multiple applications
  • Includes end-of-chapter exercises and Instructor Presentation Slides

More in Software Engineering

Python Using GPT-5 and Gemini - Oswald Campesato
The Essence of Software Engineering - Cersei Page
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$26.75

44%
OFF
The C++ Programming Language - Bjarne Stroustrup

RRP $117.91

$89.99

24%
OFF
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$50.75

27%
OFF
Developing Graphics Frameworks with Java and OpenGL - Lee Stemkoski
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$34.99

30%
OFF
Python Using GPT-5 and Gemini - Oswald Campesato
C++ Pocket Reference : POCKET REFERENCES - Kyle Loudon

RRP $47.75

$26.75

44%
OFF
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Refactoring 2ed : Improving the Design of Existing Code - Martin Fowler
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston