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: Recommended Approach to Software DevelopmentRecommended Approach to Software Development
by - NASA
Guidelines for an organized approach to software development, based on studies conducted by the Software Engineering Laboratory, an organization sponsored by the NASA/GSFC. It describes methods for each phase of a software development life cycle.
(14282 views)
Book cover: Software ArchitectureSoftware Architecture
by - 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.
(11113 views)
Book cover: Knowware: the third star after Hardware and SoftwareKnowware: the third star after Hardware and Software
by - Polimetrica
This book proposes to separate knowledge from software and to make it a commodity that is called knowware. The architecture, representation and function of Knowware are discussed. The principles of knowware engineering are analyzed.
(9548 views)
Book cover: Communicating Sequential ProcessesCommunicating Sequential Processes
by - Prentice Hall
CSP is a language for describing patterns of interaction. It is supported by an elegant mathematical theory, a set of proof tools, and an extensive literature. The book is an excellent introduction to the language, and also to the mathematical theory.
(10831 views)