Software Engineering: Specification, Implementation, Verification

Software Engineering: Specification, Implementation, Verification Front Cover
0 Reviews
2017-10-17
178 pages

Book Description

This book takes a formal approach to teaching engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed . Employing technical details typically missing from existing 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
  • 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

Table of Contents

Chapter 1 Analysis And Design
Chapter 2 Specification Of Constraints
Chapter 3 Implementation
Chapter 4 Mapping Models To
Chapter 5 Data Management
Chapter 6 Software Verification

Book Details

  • Title: Software Engineering: Specification, Implementation, Verification
  • Author:
  • Length: 178 pages
  • Edition: 1st ed. 2017
  • Language: English
  • Publisher:
  • Publication Date: 2017-10-17
  • ISBN-10: 3319615173
  • ISBN-13: 9783319615172
File HostFree Download LinkFormatSize (MB)Upload Date
UsersCloud Click to downloadTrue PDF, EPUB3.604/15/2018
UsersCloud Click to downloadTrue PDF, EPUB3.607/13/2018
ZippyShare Click to downloadTrue PDF, EPUB3.509/17/2017
How to Download? Report Dead Links & Get a Copy

Leave a Reply