Modelling Systems, 2/e : Practical Tools and Techniques in Software Development (Hardcover)

John Fitzgerald, Peter Gorm Larsen

  • 出版商: Cambridge
  • 出版日期: 2009-06-11
  • 售價: $2,760
  • 貴賓價: 9.5$2,622
  • 語言: 英文
  • 頁數: 304
  • 裝訂: Hardcover
  • ISBN: 0521899117
  • ISBN-13: 9780521899116
  • 相關分類: 軟體工程軟體架構
  • 立即出貨 (庫存=1)

商品描述

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.

商品描述(中文翻譯)

我們如何確保我們所建立的軟體能夠如預期地運作?這本書提供了一個洞察力,介紹了一些已建立的技術,幫助開發人員在軟體開發的早期設計階段通過構建軟體系統模型來克服複雜性。它使用了領先的形式方法之一,VDM(Vienna Development Method),並結合了形式主義的培訓、工業強度的工具支持以及來自真實工業應用的例子。這裡所教授的原則也適用於當前許多形式方法的新一代。第二版已更新,包括用於形式建模的高級在線工具支持,以及關於商業信息系統和固件設計等各個領域的最新實際應用報告。