Software Abstractions: Logic, Language, and Analysis (MIT Press)
Daniel Jackson
- 出版商: MIT
- 出版日期: 2016-02-12
- 售價: $1,560
- 貴賓價: 9.5 折 $1,482
- 語言: 英文
- 頁數: 376
- 裝訂: Paperback
- ISBN: 0262528908
- ISBN-13: 9780262528900
海外代購書籍(需單獨結帳)
買這商品的人也買了...
-
$990$891 -
$1,362Fundamentals of Data Structures in C, 2/e (Paperback)
-
$1,200$948 -
$580$493 -
$980$833 -
$1,188Java Cookbook, 3/e (Paperback)
-
$580$458 -
$620$484 -
$699$552 -
$1,680CCNA Routing and Switching 200-125 Official Cert Guide Library
-
$580$458 -
$1,810$1,720 -
$680$578 -
$580$458 -
$2,100$1,995 -
$590$460 -
$390$308 -
$480$379 -
$260$205 -
$620$490 -
$403Keras 快速上手:基於 Python 的深度學習實戰
-
$480$379 -
$580$458 -
$520$411 -
$680$537
相關主題
商品描述
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.
商品描述(中文翻譯)
在《軟體抽象》一書中,丹尼爾·傑克遜介紹了一種軟體設計方法,該方法借鑒了傳統的形式方法,但利用自動化工具盡早發現缺陷。這種方法,傑克遜稱之為「輕量級形式方法」或「敏捷建模」,從形式規範中借鑒了一個基於簡單而堅固概念的精確和表達性符號,但將基於定理證明的傳統分析替換為完全自動化的分析,以便設計師能夠立即獲得反饋。傑克遜開發了一種名為Alloy的語言,以簡潔明瞭的方式捕捉軟體抽象的本質,並使用最小的數學概念工具。此修訂版更新了文本、示例和附錄,以與Alloy 4完全兼容。