Sinossi
This book makes the mathematical basis of formal methods accessible both to the student and to the professional. It is motivated in the later chapters by examples and exercises. Throughout, the premise is that mathematics is as essential to design and construction in software engineering as it is to other engineering disciplines. The exercises range from simple drills, intended to provide familiarity with concepts and notation, to advanced material. The first four chapters of the book are devoted to foundations, with an introduction to formal systems, then the propositional and predicate calculi, concluding with a chapter on theories in general. The second part of the book builds upon the foundations by covering in detail the theory of sets, relations, functions, and sequences. The mathematical data types then presented are powerful enough to describe many aspects of software systems, and small case studies are included as examples of their use in the modelling of software: a configuration manager, a storage allocator, and a simple backing store interface. The concrete syntax of the Z notation has been adopted. The third part of the book presents two detailed case studies in the use of mathematics in software engineering. The first is the specification of the behaviour of a telephone exchange, and the second illustrates the importance of the development of a mathematical theory in gaining an understanding of a system. Both case studies stress the roles of modelling and of proof in the construction of specifications. The final part describes the algebraic approach to specification and then summarizes and compares the various formal techniques.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Formal systems; propositional logic and calculus; predicate logic and calculus; theories; set theory; relations; functions; sequences; case study: a telephone exchange; case study: a mathematical theory; algebraic specifications.
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 Software Engineering Mathematics
Foto dell'editore
Software Engineering Mathematics
Da: AwesomeBooks, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Software Engineering Mathematics This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Codice articolo 7719-9780273026730
Compra usato
EUR 3,48
Spedizione EUR 5,78
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Software Engineering Mathematics
Da: Bahamut Media, Reading, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Codice articolo 6545-9780273026730
Compra usato
EUR 4,20
Spedizione EUR 8,08
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Software Engineering Mathematics
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0273026739I4N10
Compra usato
EUR 14,37
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Software Engineering Mathematics
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. The book has been read but remains in clean condition. All pages are intact and the cover is intact. Some minor wear to the spine. Codice articolo GOR003186417
Compra usato
EUR 9,49
Spedizione EUR 6,48
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Software Engineering Mathematics
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo GOR004086278
Compra usato
EUR 9,49
Spedizione EUR 6,48
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 3 disponibili
Foto dell'editore
Software Engineering Mathematics
Da: medimops, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Codice articolo M00273026739-G
Compra usato
EUR 6,22
Spedizione EUR 10,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Software Engineering Mathematics
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 soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780273026730. Codice articolo 9556115
Compra usato
EUR 2,99
Spedizione EUR 15,74
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Software Engineering Mathematics
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 soft covers. Clean from markings In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780273026730. Codice articolo 9516295
Compra usato
EUR 2,99
Spedizione EUR 15,74
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Software Engineering Mathematics
Da: PAPER CAVALIER UK, London, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block. Codice articolo 9780273026730-3
Compra usato
EUR 14,31
Spedizione EUR 6,95
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Software Engineering Mathematics
Da: Greener Books, London, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Used; Very Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books. Codice articolo 5134342
Compra usato
EUR 4,16
Spedizione EUR 18,51
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili