Software Engineering: Specification, Implementation, Verification

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Cover of the book Software Engineering: Specification, Implementation, Verification by Suad Alagić, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Suad Alagić ISBN: 9783319615189
Publisher: Springer International Publishing Publication: September 15, 2017
Imprint: Springer Language: English
Author: Suad Alagić
ISBN: 9783319615189
Publisher: Springer International Publishing
Publication: September 15, 2017
Imprint: Springer
Language: English
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Building Bridges at the Science-Stakeholder Interface by Suad Alagić
Cover of the book TRAIL, Fas Ligand, TNF and TLR3 in Cancer by Suad Alagić
Cover of the book Mindful Medical Practice by Suad Alagić
Cover of the book Financial Modelling with Forward-looking Information by Suad Alagić
Cover of the book Identity, Personhood and the Law by Suad Alagić
Cover of the book Indian Indenture in the Danish West Indies, 1863-1873 by Suad Alagić
Cover of the book Blade-Pitch Control for Wind Turbine Load Reductions by Suad Alagić
Cover of the book The University According to Humboldt by Suad Alagić
Cover of the book Impact of Occupants' Behaviour on Zero-Energy Buildings by Suad Alagić
Cover of the book Clinical Trials in Latin America: Where Ethics and Business Clash by Suad Alagić
Cover of the book Spatial Cognition X by Suad Alagić
Cover of the book Dynamic Modeling, Empirical Macroeconomics, and Finance by Suad Alagić
Cover of the book Advances in Natural Fibre Composites by Suad Alagić
Cover of the book Advanced Interfacing Techniques for Sensors by Suad Alagić
Cover of the book International Scientific Conference Energy Management of Municipal Facilities and Sustainable Energy Technologies EMMFT 2018 by Suad Alagić
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy