Case Studies in Systematic Software Development
by Cliff B. Jones and Robert C. F. Shaw
Publisher: Prentice Hall 1990
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
The Elements of Computing Systemsby Noam Nisan, Shimon Schocken - MIT Press
The book exposes students to a significant body of computer science knowledge, gained through a series of hardware and software construction tasks. These tasks demonstrate how theoretical and applied techniques are used in practice.
(30535 views)
Scientific Programming and Computer Architectureby Divakar Viswanath - The MIT Press
This book examines and explains a variety of scientific programming models with an emphasis on how programming constructs map to different parts of the computer's architecture. Two themes emerge: program speed and program modularity.
(9120 views)
Software Fault Toleranceby Michael R. Lyu - 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.
(16242 views)
Software Engineeringby Ivan Marsic - Rutgers University
This book reviews some important technologies for software development with a focus on Web applications. Emphasis is on underlying principles and basic concepts. Written for upper-division undergraduate and graduate courses in software engineering.
(23113 views)