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
Introduction to Software Engineering- Wikibooks
The problems to solve in software engineering are so complex or large, that a single developer cannot solve them anymore. This book is an introduction to the art of software engineering. It is intended as a textbook for an undergraduate level course.
(14389 views)
The Grand Unified Theory of Software Engineeringby Mathias Ekstedt - Industrial Info Systems
This book is the result of innumerable longwinded, oftentimes unnecessarily complicated, discussions between the authors on the nature of software engineering, machines, minds, design, software, engineering, organizations and more.
(15268 views)
The New Software Engineeringby Sue Conger - Global Text Project
The book discusses software engineer's project related knowledge and theoretical background. It covers project planning, project life cycles, methodologies, technologies, techniques, tools, languages, testing, databases, and CASE.
(24038 views)
The Guide to the Software Engineering Body of Knowledgeby P. Bourque, R. Dupuis, A. Abran, J. W. Moore, and L. L. Tripp - IEEE
The purpose of this guide is to provide a consensually validated characterization of the bounds of the software engineering discipline and to provide a topical access to the Body of Knowledge supporting that discipline.
(21306 views)