Title: Modelling Systems: Practical Tools and Techniques in Software Development
Publisher: Cambridge University Press
Publication Date: 1998
Language: English
ISBN 10: 0521626056
ISBN 13: 9780521626057
Binding: Hardcover
Condition: As New

About this title

Synopsis

Software is pervasive, error-prone, expensive to develop and, as an engineering medium, extraordinarily seductive. Some of the major challenges in software development lie not so much in the details of design but in gaining confidence that the software under development will actually meet its requirements. 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. The analysis and testing of models allows feedback before an expensive commitment is made to detailed design and coding. Aimed at software developers in industry and university students on software engineering courses, the text provides a remarkable new introduction to modelling using a leading technology: ISO Standard VDM-SL. The text breaks new ground by combining training in modelling techniques with commercial-strength tool support on a PC Windows platform. Teaching is done by example with modelling techniques being introduced through a series of studies derived from industrial applications. At each stage the main components of the modelling technology are introduced as they are needed. The tool included with the book allows readers to check their understanding by developing their own models, validating them by syntax- and type-checking, execution and testing. The authors, who are leading authorities on the use of modelling techniques in software development, have based the book on successful material from industrial and university training courses given in North America, Europe and Asia.

Book Description

This book provides a remarkable new introduction to software modelling using VDM. Based on the new ISO Standard version of the VDM Specification Language, it breaks new ground by combining training with tool support suitable for a PC Windows platform. This allows the reader to develop software models, check their syntax- and type-correctness and to execute and test them.

"About this title" may belong to another edition of this title.

Store Description

Bookstore opened 1979.Four floors of books, posters and records. Answering machine other hours, I am the only person with access to this machine.e-mail any time.If you find a book listed that you wish to pick up at open shop, call or e-mail first, because listed books are not kept at shop.

Visit Seller's Storefront

Seller's business information

Bookstore Brengelman
OH, U.S.A.

Sale & Shipping Terms

Terms of Sale

check, money order. expect sale completion within seven days. return within ten days. postage and handling: $4 first book, $2 each additional bookpost(assuming US address). priority mail available, additional charge will be given on request. non-US address, there is no longer international book surface.

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.