1. Home
  2. E-Book
  3. Case Studies in Systematic Software Development

Case Studies in Systematic Software Development by Cliff B. Jones and Robert C. F. Shaw

Case Studies in Systematic Software Development

Case Studies in Systematic Software Development by Cliff B. Jones and Robert C. F. Shaw
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
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.
Computers & Internet Computer Science Software Engineering
Go To Read/Download Page
Home Page

More Free E-Books For Software Engineering

Similar Books For Software Engineering

1. Introduction to Software Engineering by
2. SOA eBook: Patterns, Mashups, Governance, Service Modeling, and More by
3. Jumpstart to Software Quality Assurance by Vishnuvarthanan Moorthy
4. Software Fault Tolerance by Michael R. Lyu
5. Software Product Line: Advanced Topic by Abdelrahman Osman Elfaki
6. Handbook of Software Reliability Engineering by Michael R. Lyu
7. The Elements of Computing Systems by Noam Nisan, Shimon Schocken
8. A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe by Antoni Niederlinski
9. Software Architecture by A. Bijlsma, B.J. Heeren, E.E. Roubtsova, S. Stuurman
10. Knowware: the third star after Hardware and Software by Ruqian Lu
11. Acceptance Test Engineering Guide by Grigori Melnik, Gerard Meszaros, Jon Bach
12. SOA Source Book by
13. The Grand Unified Theory of Software Engineering by Mathias Ekstedt
14. Software Foundations by Benjamin C. Pierce
15. Specifying Systems by Leslie Lamport
16. Introduction to Reverse Engineering Software by Mike Perry, Nasko Oskov
17. Advances in Human Computer Interaction by Shane Pinder
18. Practical Tips for Software-Intensive Student Projects by Damith C. Rajapakse
19. Software Engineering with Reusable Components by Johannes Sametinger
20. Software Engineering by Ivan Marsic
21. The New Software Engineering by Sue Conger
22. Recommended Approach to Software Development by Linda Landis, et al.
23. Function Points Analysis Training Course by David Longstreet
24. Case Studies in Systematic Software Development by Cliff B. Jones and Robert C. F. Shaw
25. Software Engineering for Internet Applications by Eve Andersson, Philip Greenspun, Andrew Grumet
26. Communicating Sequential Processes by C.A.R. Hoare
27. The Guide to the Software Engineering Body of Knowledge by P. Bourque, R. Dupuis, A. Abran, J. W. Moore, and L. L. Tripp

Free E-Books For Computers & Internet
Free E-Books For Computer Science
Free E-Books For Software Engineering



Categories