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 , using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed . Employing technical details typically missing from existing textbooks on , the author shows how precise specifications lead to static verification of .  In addition, data 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 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 Mapping Models To Code
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
ZippyShare Click to downloadTrue PDF, EPUB3.509/17/2017
How to Download? Report Dead Links & Get a Copy

Leave a Reply