Software Abstractions: Logic, Language, and Analysis

Valutazione media 3,83
( su 24 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, Daniel
Editore: PHI
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi PB Quantità: 20
Edizione Internazionale
Da
CBR
(WHITE PLAINS, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro PHI. PB. Condizione libro: Brand New. International Edition. International Edition, Cover & ISBN may be different from US edition, PAPERBACK. Book Condition: New. Brand New,Softcover,No Access code & No context dvd, But Contents are same as US Edition. Printed in English Language, Prompt shipping by USPS/,UPS/,DHL/,FedEx. Exceptional customer Service, Satisfaction Guaranteed. We may ship the books from Asian regions for inventory purpose. "Special Note" We do provide service on APO BOX & PO BOX addresses only in usa. Codice libro della libreria Aadi4369

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 11,62
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,75
In U.S.A.
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

2.

Jackson, Daniel
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,44
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,00
Da: India a: U.S.A.
Destinazione, tempi e costi

3.

Jackson, Daniel
Editore: MIT Press Ltd, United States (2012)
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi Rilegato Quantità: 1
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 LIB9780262017152

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 33,88
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

Jackson, Daniel
Editore: MIT Press Ltd, United States (2012)
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi Rilegato Quantità: 1
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 LIB9780262017152

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 34,45
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Jackson, Daniel
Editore: MIT Press (2011)
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi Quantità: 20
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 26,71
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,74
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

Jackson, Daniel
Editore: MIT Press Ltd
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi Rilegato Quantità: > 20
Da
THE SAINT BOOKSTORE
(Southport, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd. Hardback. Condizione libro: new. BRAND NEW, Software Abstractions: Logic, Language, and Analysis (2nd Revised edition), Daniel Jackson, 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 B9780262017152

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 36,48
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,09
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

Jackson, Daniel
Editore: MIT Press (2011)
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi Rilegato Quantità: 1
Da
English-Book-Service Mannheim
(Mannheim, Germania)
Valutazione libreria
[?]

Descrizione libro MIT Press, 2011. Condizione libro: New. Codice libro della libreria L9780262017152

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 40,10
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

8.

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

Descrizione libro The MIT Press, 2012. Condizione libro: New. Brand New, Unread Copy in Perfect Condition. A+ Customer Service!. Codice libro della libreria ABE_book_new_0262017156

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 44,85
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

9.

Jackson, Daniel
Editore: The MIT Press Dez 2011 (2011)
ISBN 10: 0262017156 ISBN 13: 9780262017152
Nuovi Quantità: 1
Valutazione libreria
[?]

Descrizione libro The MIT Press Dez 2011, 2011. Buch. Condizione libro: Neu. 239x159x25 mm. Neuware - 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). 354 pp. Englisch. Codice libro della libreria 9780262017152

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 35,99
Convertire valuta

Aggiungere al carrello

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

10.

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 44,32
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,28
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro