Software Abstractions: Logic, Language, and Analysis (MIT Press)

Daniel Jackson

  • 出版商: MIT
  • 出版日期: 2016-02-12
  • 定價: $1,290
  • 售價: 8.0$1,032
  • 語言: 英文
  • 頁數: 376
  • 裝訂: Paperback
  • ISBN: 0262528908
  • ISBN-13: 9780262528900

立即出貨(限量) (庫存=1)



In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach -- which Jackson calls "lightweight formal methods" or "agile modeling" -- takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback. Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. This revised edition updates the text, examples, and appendixes to be fully compatible with Alloy 4.