Check nearby libraries
Buy this book
How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.
Check nearby libraries
Buy this book
Previews available in: English
Showing 3 featured editions. View all 3 editions?
Edition | Availability |
---|---|
1 |
zzzz
Libraries near you:
WorldCat
|
2
Modelling systems: practical tools and techniques in software development
1998, Cambridge University Press
in English
0521626056 9780521626057
|
aaaa
Libraries near you:
WorldCat
|
3
Modelling systems: practical tools and techniques in software development
1998, Cambridge University Press
in English
0521162605
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references (p. 262-263) and indexes.
System requirements for accompanying computer disc: Windows '95; Windows NT 4.0 on IBM compatible computers.
Classifications
External Links
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 1, 2008
- 10 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
December 25, 2021 | Edited by ImportBot | import existing book |
November 28, 2020 | Edited by MARC Bot | import existing book |
July 7, 2020 | Edited by ImportBot | import existing book |
March 25, 2019 | Edited by ImportBot | import existing book |
April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |