Items related to Modelling Systems: Practical Tools and Techniques in...
Synopsis
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$ 58.24
Shipping:
FREE
Within U.S.A.
Other Popular Editions of the Same Title
Top Search Results from the AbeBooks Marketplace
Stock Image
Modelling Systems: Practical Tools and Techniques in Software Development
Published by
Cambridge University Press, 2009
ISBN 10: 0521899117
ISBN 13: 9780521899116
Used
Hardcover
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR007264372
Quantity: 2 available
Stock Image
Modelling Systems: Practical Tools and Techniques in Software Development
Published by
Cambridge University Press, 2009
ISBN 10: 0521899117
ISBN 13: 9780521899116
Used
Hardcover
Seller: Powell's Bookstores Chicago, ABAA, Chicago, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Used - Very Good. 2009. 2nd Edition. Hardcover. Very Good. Seller Inventory # DD0042075
Quantity: 1 available
Stock Image
Modelling Systems: Practical Tools and Techniques in Software Development
Published by
Cambridge University Press, 2009
ISBN 10: 0521899117
ISBN 13: 9780521899116
Used
Hardcover
Seller: AMM Books, Gillingham, KENT, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Unread. In stock ready to dispatch from the UK. Seller Inventory # mon0000218772
Quantity: 18 available
Stock Image
Modelling Systems: Practical Tools and Techniques in Software Development
Published by
Cambridge University Press, 2009
ISBN 10: 0521899117
ISBN 13: 9780521899116
Used
Hardcover
Seller: Bestsellersuk, Hereford, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Bumped and scratched cover. Book is warped. No.1 BESTSELLERS - great prices, friendly customer service â" all orders are dispatched next working day. Seller Inventory # mon0000698402
Quantity: 1 available
Stock Image
Modelling Systems: Practical Tools and Techniques in Software Development
Published by
Cambridge University Press, 2009
ISBN 10: 0521899117
ISBN 13: 9780521899116
Used
Hardcover
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 1.41. Seller Inventory # 0521899117-2-3
Quantity: 1 available
Stock Image
Modelling Systems: Practical Tools and Techniques in Software Development
Published by
Cambridge University Press, 2009
ISBN 10: 0521899117
ISBN 13: 9780521899116
Used
Hardcover
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting. 1.41. Seller Inventory # 0521899117-2-4
Quantity: 1 available
Stock Image
Modelling Systems: Practical Tools and Techniques in Software Development
Published by
Cambridge University Press, 2009
ISBN 10: 0521899117
ISBN 13: 9780521899116
Used
Hardcover
Seller: Book Deals, Tucson, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: Fine. Like New condition. Great condition, but not exactly fully crisp. The book may have been opened and read, but there are no defects to the book, jacket or pages. 1.41. Seller Inventory # 353-0521899117-lkn
Quantity: 1 available
Stock Image
Modelling Systems Second Ed.
Published by
Cambridge Press, Cambridge, 2009
ISBN 10: 0521899117
ISBN 13: 9780521899116
Used
Hardcover
Seller: Tall Stories BA, Stoneyford, Ireland
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good. Second. as new unused. Seller Inventory # 71611
Quantity: 1 available
Stock Image
Modelling Systems
Published by
Cambridge University Press, 2009
ISBN 10: 0521899117
ISBN 13: 9780521899116
New
Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABTR-233359
Quantity: 2 available
Stock Image
Modelling Systems
Published by
Cambridge University Press, 2009
ISBN 10: 0521899117
ISBN 13: 9780521899116
New
Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Excellent Customer Service. Seller Inventory # ABEJUNE24-108565
Quantity: 1 available