‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Specification of Software Systems

Linksbuch Neu neu Rechtsbuch

Alagar, V. S.; Periyasamy, K.

Specification of Software Systems (Gebundene Ausgabe)

Reihe: Texts in Computer Science

SPRINGER VERLAG GMBH, Springer London, März 2011

2011 - 646 S. - Sprache: Englisch - 242x164x50 mm

ISBN: 0857292765 EAN: 9780857292766

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface; covers Object-Z, B-Method, and Calculus of Communicating Systems; offers material that can be taught with tool-supported laboratory projects.

Preis: 85,49 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 85,49 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Informatik

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control



Extensively revised and updated, with a considerable amount of new content included to cater to the growing needs of students and researchersProvides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further readingContains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the preface


Part I: Specification FundamentalsThe Role of SpecificationSpecification ActivitiesSpecification QualitiesAbstractionPart II: Formalism FundamentalsFormal SystemsAutomataExtended Finite State MachineClassification of Formal Specification MethodsPart III: LogicPropositional LogicPredicate LogicTemporal LogicPart IV: Mathematical Abstractions for Model-based SpecificationsSet Theory and RelationsPart V: Property-oriented SpecificationsAlgebraic SpecificationLarchCalculus of Communicating SystemsPart VI: Model-based SpecificationsVienna Development MethodThe Z NotationThe Object-Z Specification LanguageThe B-Method

Über den Autor

Dr. V.S. Alagar is Professor Emeritus at the Department of Computer Science and Software Engineering of Concordia University, Montreal, Canada.Dr. K. Periyasamy is a full Professor at the Department of Computer Science of the University of Wisconsin-La Crosse, USA.


From the reviews of the second edition:"It covers a lot of material, and various subsets of the book may be used - as proposed by the authors - for different course offerings, from undergraduate to advanced graduate levels, as well as a reference for practitioners ... . Bibliographical notes (usually very good) and exercises are included at the end of each chapter. ... Summing up, this is a good and useful book on a very important topic ... ." (Haim Kilov, Zentralblatt MATH, Vol. 1243, 2012)"This software engineering book introduces software specifications. It presents basic mathematics typically used in formal methods and describes various existing formal specification languages and methods. It also demonstrates how to write specifications using examples taken from real-life software systems. ... Each chapter has exercises, bibliographic notes, and a list of references. ... Courses that cover software specifications can use either specific chapters or the complete text. The book can also serve as a reference on software specifications." (Maulik A. Dave, ACM Computing Reviews, February, 2012)

ISBN 0-857292-76-5, ISBN 0-85-729276-5, ISBN 0-85729-276-5, ISBN 0-857-29276-5, ISBN 0-8572-9276-5

ISBN 978-0-857292-76-6, ISBN 978-0-85-729276-6, ISBN 978-0-85729-276-6, ISBN 978-0-857-29276-6, ISBN 978-0-8572-9276-6

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE von Tonetta, Stefano (Herausgeber); Schoitsch, Erwin (Herausgeber); Bitsch, Friedemann (Herausgeber)
74,89 EUR

Words and Graphs von Kitaev, Sergey; Lozin, Vadim
129,99 EUR

Multidetector-Row Computed Tomography: Scanning and Contrast Protocols von Marchal, G. (Herausgeber); Vogl, T. J. (Herausgeber); Heiken, J. P. (Herausgeber)
184,50 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.