Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
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
![Loading indicator](/images/ajax-loader-bar.gif)
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
0521162605
|
zzzz
Libraries near you:
WorldCat
|
3
Modelling systems: practical tools and techniques in software development
1998, Cambridge University Press
in English
0521626056 9780521626057
|
aaaa
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
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?November 19, 2022 | Edited by ImportBot | import existing book |
December 25, 2021 | Edited by ImportBot | import existing book |
July 7, 2020 | Edited by ImportBot | import existing book |
July 22, 2019 | Edited by MARC Bot | remove fake subjects |
December 9, 2009 | Created by WorkBot | add works page |