Software Abstractions, Daniel Jackson, Programmiersprache

Software Abstractions

Logic, Language, and Anlysis

Daniel Jackson

2011, 2nd edition, XVIII, 354 Seiten, 58 Schwarz-Weiß-Abbildungen, Maße: 15,9 x 23,9 cm, Gebunden, Englisch

MIT Press

ISBN-10: 0262017156
ISBN-13: 9780262017152

Produkt-Beschreibung zu: Software Abstractions

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 the latest version of Alloy (Alloy 4).

nach oben

Bei diesem Artikel ist eine Lieferung in die Filiale nicht möglich!

Klappentext zu: Software Abstractions

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 the latest version of Alloy (Alloy 4).

nach oben

Rezension zu: Software Abstractions

"Those who have to learn and use the modern generation of formal methods -- streamlined, lightweight, and highly automated -- will welcome the appearance of the second edition of Daniel Jackson's book on the Alloy language and its analysor. Jackson's writing, like his language design, is full of good taste, and he makes an intelligent and compelling argument for the construction of automated software abstractions as the central activity in software development. Every serious software engineer should ...

mehr ...

nach oben

Autoren-Porträt von Daniel Jackson:

Daniel Jackson is Professor in the Department of Electrical Engineering and Computer Science and leads the Software Design Group at the Computer Science and Artificial Intelligence Lab at MIT.

Wollen Sie über Neuerscheinungen des Autors per E-Mail informiert werden?
Melden Sie sich beim Autorenalarm an.

nach oben