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.
(25524 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.
(20187 views)
Specifying Systemsby Leslie Lamport - Addison-Wesley Professional
This book shows how to write unambiguous specifications of complex computer systems. It provides a complete reference manual for the TLA+, the language developed by the author for writing simple and elegant specifications of algorithms and protocols.
(16066 views)
Software Architectureby A. Bijlsma, B.J. Heeren, E.E. Roubtsova, S. Stuurman - FTA
The central theme of this book is balancing the concerns and requirements of stakeholders, combining these into an architecture proposal by employing known tactics and patterns, producing a description of the architecture that can be communicated.
(14528 views)