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: Scientific Programming and Computer ArchitectureScientific Programming and Computer Architecture
by - 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.
(4158 views)
Book cover: SOA eBook: Patterns, Mashups, Governance, Service Modeling, and MoreSOA eBook: Patterns, Mashups, Governance, Service Modeling, and More
- Pearson e ducation, Inc.
This volume is a collection of chapters from eight popular books, comprehensive tutorials that teach fundamental and advanced SOA design principles, supplemented with detailed case studies and technologies used to implement SOAs in the real world.
(6707 views)
Book cover: The Guide to the Software Engineering Body of KnowledgeThe Guide to the Software Engineering Body of Knowledge
by - 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.
(17014 views)
Book cover: SOA Source BookSOA Source Book
- Van Haren Publishing
The SOA Source Book will help enterprise architects to use SOA effectively. It explains: What SOA is; How to evaluate SOA features in business terms; How to model SOA; How to use The Open Group Architecture Framework for SOA; SOA governance.
(11312 views)