Software Abstractions: Logic, Language, and Analysis

Valutazione media 3,84
( su 32 valutazioni fornite da GoodReads )
 
9780262017152: Software Abstractions: Logic, Language, and Analysis

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). The designer can use automated analysis not only to correct errors but also to make models that are more precise and elegant. This approach, Jackson says, can rescue designers from "the tarpit of implementation technologies" and return them to thinking deeply about underlying concepts. Software Abstractions introduces the key elements: a logic, which provides the building blocks of the language; a language, which adds a small amount of syntax to the logic for structuring descriptions; and an analysis, a form of constraint solving that offers both simulation (generating sample states and executions) and checking (finding counterexamples to claimed properties).

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

Edizione Internazionale
Edizione Internazionale

1.

Jackson
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi Soft cover Quantità: > 20
Edizione Internazionale
Da
University Bookstore
(DELHI, DELHI, India)
Valutazione libreria
[?]

Descrizione libro 2012. Soft cover. Condizione libro: New. This book is BRAND NEW Soft cover International edition with black and white printing. ISBN number & cover page may be different but contents identical to the US edition word by word. Book is in English language. Codice libro della libreria UN-PH-IN-778

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 11,23
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 14,50
Da: India a: Italia
Destinazione, tempi e costi

2.

Daniel Jackson
Editore: MIT Press (2011)
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi Quantità: 18
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press, 2011. HRD. Condizione libro: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Codice libro della libreria WM-9780262017152

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 29,66
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 11,56
Da: Regno Unito a: Italia
Destinazione, tempi e costi

3.

Daniel Jackson
Editore: MIT Press Ltd, United States (2012)
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi Rilegato Quantità: 10
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 2012. Hardback. Condizione libro: New. 2nd Revised edition. 231 x 152 mm. Language: English . Brand New Book. 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. Codice libro della libreria AAH9780262017152

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 43,66
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: Italia
Destinazione, tempi e costi

4.

Daniel Jackson
Editore: MIT Press Ltd, United States (2012)
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi Rilegato Quantità: 10
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 2012. Hardback. Condizione libro: New. 2nd Revised edition. 231 x 152 mm. Language: English . Brand New Book. 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. Codice libro della libreria AAH9780262017152

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 43,68
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: Italia
Destinazione, tempi e costi

5.

JACKSON
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi Rilegato Quantità: 1
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro 2011. Hardback. Condizione libro: NEW. 9780262017152 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE01142884

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 47,58
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,25
Da: Regno Unito a: Italia
Destinazione, tempi e costi

6.

Jackson, Daniel
Editore: The MIT Press
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi Rilegato Quantità: 3
Da
Movie Mars
(Indian Trail, NC, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press. Hardcover. Condizione libro: New. 0262017156 Brand New Book. Ships from the United States. 30 Day Satisfaction Guarantee!. Codice libro della libreria 15840532

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 49,09
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 8,75
Da: U.S.A. a: Italia
Destinazione, tempi e costi

7.

Jackson, Daniel
Editore: MIT Press
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi Quantità: > 20
Da
INDOO
(Avenel, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro MIT Press. Condizione libro: New. Brand New. Codice libro della libreria 0262017156

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 43,53
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 16,57
Da: U.S.A. a: Italia
Destinazione, tempi e costi

8.

Jackson, Daniel
Editore: The MIT Press (2012)
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi Rilegato Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 2012. Hardcover. Condizione libro: New. book. Codice libro della libreria 0262017156

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 49,09
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 11,05
Da: U.S.A. a: Italia
Destinazione, tempi e costi

9.

Daniel Jackson
Editore: MIT Press Ltd 2011-12-30, Cambridge, Mass. (2011)
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi Rilegato Quantità: 1
Da
Blackwell's
(Oxford, OX, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd 2011-12-30, Cambridge, Mass., 2011. hardback. Condizione libro: New. Codice libro della libreria 9780262017152

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 54,77
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 5,55
Da: Regno Unito a: Italia
Destinazione, tempi e costi

10.

Daniel Jackson
Editore: The MIT Press (2012)
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 2012. Hardcover. Condizione libro: New. revised edition. Codice libro della libreria DADAX0262017156

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 53,17
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 12,89
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro