Logo

Case Studies in Systematic Software Development

Case Studies in Systematic Software Development
by

Publisher: Prentice Hall
ISBN/ASIN: 0131160885
ISBN-13: 9780131160880
Number of pages: 405

Description:
This book covers the case studies on the application of the most widely known and used formal methods in software development, called the Vienna Development Method (more often referred to as VDM). VDM was developed in an industrial environment but has also evoked considerable academic research. Different users of this book will obviously employ it in different ways. It is likely to be background reading for undergraduate courses which use one or the other textbook to teach VDM; while an MSc or industrial course might make detailed analysis of the case studies. A particularly valuable way of doing this is to organize some sort of 'walk­through' of chosen examples. By their very nature, few of the examples are closed and there is excellent scope for extending a case study as a major project.

Download or read it online for free here:
Download link
(2.7MB, PDF)

Similar books

Book cover: Function Points Analysis Training CourseFunction Points Analysis Training Course
by - SoftwareMetrics.Com
The book introduces the basic concepts of function point analysis and unit cost estimating, describes and defines the concepts necessary to establish a boundary between applications, identifies and rates external inputs and external outputs, etc.
(10943 views)
Book cover: Software Engineering with Reusable ComponentsSoftware Engineering with Reusable Components
by - Springer
The book explains what is software reuse, what benefits to expect, different forms of software reuse, software components, different kinds of components, examples of successful component reuse, introduction to software engineering, and more.
(11592 views)
Book cover: Software Fault ToleranceSoftware Fault Tolerance
by - John Wiley & Sons Ltd.
Software fault tolerance techniques involve error detection, exception handling, monitoring mechanisms and error recovery. This book also focuses on identification, application, formulation and evaluation of current software tolerance techniques.
(7349 views)
Book cover: Handbook of Software Reliability EngineeringHandbook of Software Reliability Engineering
by - McGraw-Hill
From leading industrial/research experts, here is an insider's look at today's best practices for software reliability engineering. This is a guide for software developers, designers, project managers, high-level applications programmers, et al.
(7037 views)