fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Periyasamy / Alagar

Specification of Software Systems

Medium: Buch
ISBN: 978-0-85729-276-6
Verlag: Springer
Erscheinungstermin: 28.03.2011
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken

Leseprobe Vorwort
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

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.

Produkteigenschaften

  • Artikelnummer: 9780857292766
  • Medium: Buch
  • ISBN: 978-0-85729-276-6
  • Verlag: Springer
  • Erscheinungstermin: 28.03.2011
  • Sprache(n): Englisch
  • Auflage: 2. Auflage 2011
  • Serie: Texts in Computer Science
  • Produktform: Gebunden
  • Gewicht: 1224 g
  • Seiten: 646
  • Format (B x H x T): 165 x 246 x 40 mm
  • Ausgabetyp: Kein, Unbekannt
  • Vorauflage: 978-0-387-98430-8

Themen

Autoren/Hrsg.

Autoren

Part I: Specification Fundamentals.- The Role of Specification.- Specification Activities.- Specification Qualities.- Abstraction.-Part II: Formalism Fundamentals.- Formal Systems.- Automata.- Extended Finite State Machine.- Classification of Formal Specification Methods.-Part III: Logic.- Propositional Logic.- Predicate Logic.- Temporal Logic.- Part IV: Mathematical Abstractions for Model-based Specifications.- Set Theory and Relations.- Part V: Property-oriented Specifications.- Algebraic Specification.- Larch.- Calculus of Communicating Systems.- Part VI: Model-based Specifications.- Vienna Development Method.- The Z Notation.- The Object-Z Specification Language.- The B-Method.