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 software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and 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, 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 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 Technology
Chapter 4 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