Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Item added to bagSorry, there was a problem getting your bag informationItem cannot be purchased with the existing contents of your bagItem unavailable online
✕

was added to your bag.

Please try again.

Sorry, this item cannot be purchased in the same transaction as the existing items in your bag.

Please complete the purchase of the items currently in your bag and then add this item in a separate transaction or visit Shopping Help.

Sorry, this product is not currently available to buy online. Please visit Shopping Help.

View bag and checkout
Remove item
✕

Are you sure you want to remove from your bag?

Recommended product

Popular links

Popular links

Modelling Systems

All titles
Modelling Systems

Modelling Systems

Practical Tools and Techniques in Software Development
2nd Edition
John Fitzgerald , University of Newcastle upon Tyne
Peter Gorm Larsen , Engineering College of Ã…rhus, Denmark
June 2009
Available
Hardback
9780521899116

Looking for an inspection copy?

This title is not currently available for inspection.

£53.99
GBP
Hardback
USD
eBook
    Description

    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.

    • A gentle, structured approach with real-world case studies
    • Class tested in universities and industrial courses
    • Software tools now available online, together with teaching materials, exercises, solutions and more

    Product details

    September 2009
    Adobe eBook Reader
    9780511577598
    0 pages
    0kg
    14 b/w illus. 20 tables 55 exercises
    This ISBN is for an eBook version which is distributed on our behalf by a third party.

    Often bought together

    Formal Methods for Distributed Processing
    Formal Methods for Distributed Processing

    : Paperback

    A Survey of Object-Oriented Approaches

    Software Modeling and Design
    Software Modeling and Design

    : Hardback

    UML, Use Cases, Patterns, and Software Architectures

    Foundations of Component-Based Systems
    Foundations of Component-Based Systems

    : Paperback

    Foundations of Component-Based Systems
    Foundations of Component-Based Systems

    : Hardback

    Often bought together

    This title is available for institutional purchase via Cambridge Core

    Learn more
    cambridge core banner

    Related Journals

    ReCALL
    ReCALL

    : Journal

    ReCALL is the journal of the European Association for Computer Assisted Language Learning (EUROCALL). It seeks to fulfil the stated aims of EUROCALL as a whole, and more particularly to promote the use of foreign languages within Europe and beyond, providing an international focus for the promulgation of innovative research in the area of computer-assisted language learning and technology-enhanced language learning in education and training.Typical subjects for submissions include theoretical debate on second language acquisition and development in technology-rich learning environments and their influence on design; practical applications at developmental stage; evaluative studies of the use of technology in the teaching and learning process; assessment of the potential of technological advances in the delivery of language learning materials and enactment of language learning activities; exploitation of on-line information systems; and discussions of policy and strategy at institutional and discipline levels. Survey papers are welcome provided that they are timely, up-to-date and well-structured.

    Related Journals

    Also by this Author

    Contents

    Table of Contents

    • Foreword to the first edition
    • Preface
    • 1. Introduction
    • 2. Constructing a model
    • 3. VDMTools Lite
    • 4. Describing system properties using logical expressions
    • 5. The elements of a formal model
    • 6. Sets
    • 7. Sequences
    • 8. Mappings
    • 9. Recursive structures
    • 10. Validating models
    • 11. State-based modelling
    • 12. Large-scale modelling
    • 13. Using VDM in practice
    • A. Language guide
    • B. Solutions to exercises
    • Bibliography
    • Subject index
    • Definitions index.
      • Show more
    Courses
    Resources
    Additional Information
    About the authors
      Authors
    • John Fitzgerald , University of Newcastle upon Tyne

      John Fitzgerald is a Reader in Computing Science at the University of Newcastle upon Tyne.

    • Peter Gorm Larsen , Engineering College of Ã…rhus, Denmark

      Peter Gorm Larsen is a Professor of Computer Technology and Embedded Systems at the Engineering College of Aarhus (IHA), Denmark. He also works as an independent consultant.

    Accessibility

    Browse by related subject

     
    ✕

    Sorry, this item cannot be purchased in the same transaction as the existing items in your cart.

    Please complete the purchase of the items currently in your cart and then add this item in a separate transaction or contact

    Customer Services