Modelling systems

Modelling systems

by Fitzgerald

1998
Join Readfeed freeFind clubs reading this
Rate this book:

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

1 readers worldwide want to read this book

Start a club free
About
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.

Discuss Modelling systems with other readers

Join or start a book club for Modelling systems on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Modelling systems?

Sign up free on Readfeed, then browse public clubs or start your own club with Modelling systems as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Modelling systems with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Modelling systems with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.