• Produktbild: Object-Oriented Behavioral Specifications
  • Produktbild: Object-Oriented Behavioral Specifications
Band 371

Object-Oriented Behavioral Specifications

146,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.03.2013

Abbildungen

XIV, 316 p.

Herausgeber

Haim Kilov + weitere

Verlag

Springer Us

Seitenzahl

316

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

511 g

Auflage

Softcover reprint of the original 1st edition 1996

Sprache

Englisch

ISBN

978-1-4757-7040-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.03.2013

Abbildungen

XIV, 316 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

316

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

511 g

Auflage

Softcover reprint of the original 1st edition 1996

Sprache

Englisch

ISBN

978-1-4757-7040-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Object-Oriented Behavioral Specifications
  • Produktbild: Object-Oriented Behavioral Specifications
  • Exactness and Clarity in a Component-Based Specification Language.- A Formal Basis for Specifying Object Behaviour.- Information Refraction.- A Pragmatic Approach to Formal Specification.- Anecdotes About Making a Specification Simpler.- Invariants in the Trenches.- Fundamentals of Object-Oriented Specification and Modeling of Collective Behaviors.- An Overview of Larch/C++: Behavioral Specifications for C++ Modules.- Structural Active-Object Systems Fundamentals.- Organizational Culture: An Object-Oriented Framework.- Specifying and Reasoning about Business Rules in a Semantic Network.- Dynamic and Multiple Classification.- Specifying Business Policy Using Agent-Contract Meta-Constructs.- Architectural Specifications: Modeling and Structuring Behavior Through Rules.- The Search for the Linking Invariant: Behavioral Modeling Versus Modeling Behavior.- Automata Describing Object Behavior.- Enterprise Modeling with USE Cases.- Formal Object-Oriented Method — Foom.