Modelling Systems: Practical Tools and Techniques in Software Development

4 avg rating
( 1 ratings by Goodreads )
 
9780521899116: Modelling Systems: Practical Tools and Techniques in Software Development
View all copies of this ISBN edition:
 
 

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.

Buy New View Book
List Price: US$ 103.00
US$ 10.04

Convert Currency

Shipping: US$ 5.58
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

John Fitzgerald;Peter Gorm Larsen
Published by Cambridge UP (2009)
ISBN 10: 0521899117 ISBN 13: 9780521899116
New Quantity Available: 1
Seller:
Postscript Books
(NEWTON ABBOT, DEVON, United Kingdom)
Rating
[?]

Book Description Cambridge UP, 2009. Condition: New. Seller Inventory # 223692

More information about this seller | Contact this seller

Buy New
US$ 10.04
Convert Currency

Add to Basket

Shipping: US$ 5.58
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

John Fitzgerald; Peter Gorm Larsen
Published by Cambridge University Press (2009)
ISBN 10: 0521899117 ISBN 13: 9780521899116
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2009. Condition: New. book. Seller Inventory # M0521899117

More information about this seller | Contact this seller

Buy New
US$ 28.00
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

3.

FITZGERALD, JOHN; LARSEN, PETER GORM
ISBN 10: 0521899117 ISBN 13: 9780521899116
New Quantity Available: 2
Seller:
firstbookstore
(New Delhi, India)
Rating
[?]

Book Description Condition: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Seller Inventory # AIND-59619

More information about this seller | Contact this seller

Buy New
US$ 33.78
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

4.

FITZGERALD, JOHN; LARSEN, PETER GORM
ISBN 10: 0521899117 ISBN 13: 9780521899116
New Quantity Available: 2
Seller:
Romtrade Corp.
(STERLING HEIGHTS, MI, U.S.A.)
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 fro the US or other locations in India depending on your location and availability. Seller Inventory # AUSBNEW-59619

More information about this seller | Contact this seller

Buy New
US$ 36.51
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

5.

John Fitzgerald, Peter Gorm Larsen
Published by Cambridge University Press (2009)
ISBN 10: 0521899117 ISBN 13: 9780521899116
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2009. Hardcover. Condition: New. 2. Seller Inventory # DADAX0521899117

More information about this seller | Contact this seller

Buy New
US$ 37.11
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

6.

John Fitzgerald
Published by Cambridge University Press (2009)
ISBN 10: 0521899117 ISBN 13: 9780521899116
New Quantity Available: > 20
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Cambridge University Press, 2009. HRD. Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Seller Inventory # FM-9780521899116

More information about this seller | Contact this seller

Buy New
US$ 64.98
Convert Currency

Add to Basket

Shipping: US$ 12.54
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

John Fitzgerald, Peter Gorm Larsen
Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 0521899117 ISBN 13: 9780521899116
New Hardcover Quantity Available: 10
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Hardback. Condition: New. 2nd Revised edition. Language: English . Brand New 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. Seller Inventory # AAA9780521899116

More information about this seller | Contact this seller

Buy New
US$ 77.63
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

John Fitzgerald, Peter Gorm Larsen
Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 0521899117 ISBN 13: 9780521899116
New Hardcover Quantity Available: 10
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Hardback. Condition: New. 2nd Revised edition. Language: English . Brand New 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. Seller Inventory # AAA9780521899116

More information about this seller | Contact this seller

Buy New
US$ 78.26
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

Fitzgerald, John
ISBN 10: 0521899117 ISBN 13: 9780521899116
New Quantity Available: 5
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description 2009. HRD. Condition: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Seller Inventory # IB-9780521899116

More information about this seller | Contact this seller

Buy New
US$ 86.89
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

10.

Fitzgerald, John/ Larsen, Peter Gorm
Published by Cambridge University Press (2009)
ISBN 10: 0521899117 ISBN 13: 9780521899116
New Hardcover Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Cambridge University Press, 2009. Hardcover. Condition: Brand New. 2nd edition. 288 pages. 9.75x7.00x0.75 inches. In Stock. Seller Inventory # __0521899117

More information about this seller | Contact this seller

Buy New
US$ 84.38
Convert Currency

Add to Basket

Shipping: US$ 8.35
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book