Sinossi
This graduate-level text provides a one semester introduction to program specification. Readers are assumed to have a working knowledge of software engineering and basic discrete mathematics, but otherwise this may be their first encounter with formal specification. It is based on graduate courses and courses offered to professionals working in the software industry. The authors emphasize the need for formal abstraction in specification and the advantages it confers upon the software process. In addition, the book covers all three major specification languages: Larch, VDM, and Z. Consequently, readers will be able to select a formal method that best suits their needs and application. The first part of the book discusses specification in general and the abstraction process. Next come chapters on the mathematical tools required. Thirdly, the authors devote a chapter each to the main formal methods with a significant example of the use of each discussed.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
The Role of Specifications.- Specification Activities.- Specification Qualities.- Abstraction.- Formal Systems.- Logic.- Set Theory and Relations.- Algebraic Specifications.- Vienna Development Method.- The Z Notation.- Larch.
Product Description
Book by Alagar VS Periyasamy K
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Specification of Software Systems
Immagini fornite dal venditore
Specification of Software Systems (Texts in Computer Science)
Da: Jonathan Grobe Books, Deep River, IA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. Condizione sovraccoperta: No Dust Jacket. Exlibrary with usual library markings. ; 422 pages. Codice articolo 281298
Compra usato
EUR 16,00
Spese di spedizione:
EUR 4,31
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Specification of Software Systems
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Codice articolo 39896175-75
Compra usato
EUR 20,35
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Specification of Software Systems
Da: Better World Books: West, Reno, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Codice articolo 39896175-75
Compra usato
EUR 20,35
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Specification of Software Systems (Texts in Computer Science)
Da: Goodwill, Brooklyn Park, MN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. Stains on outside cover inside the book. Cover Case has some rubbing and edgewear. Access codes, CD's, slipcovers and other accessories may not be included. Codice articolo 2Y6ZRZ000QRK_ns
Compra usato
EUR 30,66
Spese di spedizione:
EUR 3,44
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Specification of Software Systems
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 422 1st Edition. Codice articolo 26467786
Compra nuovo
EUR 32,37
Spese di spedizione:
EUR 3,44
In U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Specification of Software Systems
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 422. Codice articolo 7380117
Compra nuovo
EUR 29,56
Spese di spedizione:
EUR 7,38
Da: Regno Unito a: U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Specification of Software Systems (Texts in Computer Science)
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1000grams, ISBN:9780387984308. Codice articolo 8862149
Compra usato
EUR 22,71
Spese di spedizione:
EUR 14,69
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Specification of Software Systems (Texts in Computer Science)
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Codice articolo Z1-U-012-02213
Compra usato
EUR 25,55
Spese di spedizione:
EUR 12,08
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Specification of Software Systems
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 422. Codice articolo 18467776
Compra nuovo
EUR 32,72
Spese di spedizione:
EUR 9,95
Da: Germania a: U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Specification of Software Systems (Texts in Computer Science)
Da: The Book Spot, Sioux Falls, MN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. Codice articolo Abebooks5046
Compra nuovo
EUR 52,43
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili