Items related to Modelling Systems: Practical Tools and Techniques in...
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 modeling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.
"synopsis" may belong to another edition of this title.
Book Description:
An introduction to software modelling using VDM (Vienna Development Method) that combines training in the formalism with industry-strength tool support and examples derived from commercial applications. This updated second edition includes advanced online tool support for formal modelling, online teaching support material, and up-to-date reports on real commercial applications.
About the Author:
John Fitzgerald is a Reader in Computing Science at the University of Newcastle upon Tyne.
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date2009
- ISBN 10 0521899117
- ISBN 13 9780521899116
- BindingHardcover
- Edition number2
- Number of pages304
Buy New
Learn more about this copy
US$ 57.87
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Modelling Systems
Published by
Cambridge University Press
(2009)
ISBN 10: 0521899117
ISBN 13: 9780521899116
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Condition: Brand New. New. US edition. Excellent Customer Service. Seller Inventory # ABEOCT23-88767
Buy New
US$ 57.87
Convert currency
Stock Image
Modelling Systems
Published by
Cambridge University Press
(2009)
ISBN 10: 0521899117
ISBN 13: 9780521899116
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Seller Inventory # ABTR-228926
Buy New
US$ 57.87
Convert currency
Stock Image
Modelling Systems
Published by
Cambridge University Press
(2009)
ISBN 10: 0521899117
ISBN 13: 9780521899116
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Seller Inventory # ABTR-233359
Buy New
US$ 57.87
Convert currency
Stock Image
Modelling Systems
Published by
Cambridge University Press
(2009)
ISBN 10: 0521899117
ISBN 13: 9780521899116
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. Seller Inventory # ABRR-233359
Buy New
US$ 60.23
Convert currency
Stock Image
Modelling Systems
Published by
Cambridge University Press
(2009)
ISBN 10: 0521899117
ISBN 13: 9780521899116
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. Seller Inventory # ABRR-228926
Buy New
US$ 60.23
Convert currency
Stock Image
Modelling Systems: Practical Tools and Techniques in Software Development
Published by
Cambridge University Press
(2009)
ISBN 10: 0521899117
ISBN 13: 9780521899116
New
Hardcover
Quantity: 7
Seller:
Rating
Book Description Hardcover. Condition: New. In stock ready to dispatch from the UK. Seller Inventory # mon0000218773
Buy New
US$ 47.53
Convert currency
Stock Image
Modelling Systems: Practical Tools and Techniques in Software Development
Published by
Cambridge University Press
(2009)
ISBN 10: 0521899117
ISBN 13: 9780521899116
New
Hardcover
Quantity: 4
Seller:
Rating
Book Description Hardcover. Condition: New. Same day/next day dispatch (Monday-Friday). Seller Inventory # mar0000050263
Buy New
US$ 46.59
Convert currency
Stock Image
The Constitutional Systems of the Australian States and Territories
Published by
Cambridge University Press
(2009)
ISBN 10: 0521899117
ISBN 13: 9780521899116
New
Quantity: 9
Seller:
Rating
Book Description HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FM-9780521899116
Buy New
US$ 70.21
Convert currency
Stock Image
MODELLING SYSTEMS
Published by
Cambridge University Press
(2009)
ISBN 10: 0521899117
ISBN 13: 9780521899116
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Seller Inventory # ABTR-24366
Buy New
US$ 71.55
Convert currency
Stock Image
MODELLING SYSTEMS
Published by
Cambridge University Press
(2009)
ISBN 10: 0521899117
ISBN 13: 9780521899116
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. Seller Inventory # ABRR-24366
Buy New
US$ 74.46
Convert currency