Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Object-Oriented Behavioral Specifications -

Object-Oriented Behavioral Specifications

Haim Kilov, William Harvey (Herausgeber)

Buch | Softcover
316 Seiten
2013 | Softcover reprint of the original 1st ed. 1996
Springer-Verlag New York Inc.
978-1-4757-7040-7 (ISBN)
CHF 224,65 inkl. MwSt
  • Versand in 10-15 Tagen
  • Versandkostenfrei
  • Auch auf Rechnung
  • Artikel merken
Object-Oriented Behavioral Specifications encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a craft. The focus is on understanding customers' needs and on precise specification of understanding gained through analysis. Specifications must bridge any gaps in understanding about business rules among customers, Subject Matter Experts, and `computer people', must inform decisions about reuse of software and systems, and must enable review of semantics over time. Specifications need to describe semantics rather than syntax, and to do that in an abstract and precise manner, in order to create software systems that satisfy business rules.
The papers in this book show various ways of designing elegant and clear specifications which are reusable, lead to savings of intellectual effort, time, and money, and which contribute to the reliability of software and systems.
Object-Oriented Behavioral Specifications offers a fresh treatment of the object-oriented paradigm by examining the limitations of traditional OO methodologies and by describing the significance of competing trends in OO modeling. The book builds on four years of successful OOPSLA workshops (1991-1995) on behavior semantics.
This book deals with precise specifications of `what' is accomplished by the business and `what' is to be done by a system. The book includes descriptions of successful use of abstract and precise specification in industry. It draws on the experience of experts from industrial and academic settings and benefits from international participation. Collective behavior, neglected in some treatment of the OO paradigm, is addressed explicitly in this book. The book does not take `reuse' of specifications or software for granted, but furnishes a foundation for taking as rigorous an approach to reuse decisions as to precise specifications in original developments.

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.

Reihe/Serie The Springer International Series in Engineering and Computer Science ; 371
Zusatzinfo XIV, 316 p.
Verlagsort New York, NY
Sprache englisch
Maße 155 x 235 mm
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Informatik Software Entwicklung Objektorientierung
Informatik Theorie / Studium Algorithmen
Mathematik / Informatik Mathematik Finanz- / Wirtschaftsmathematik
ISBN-10 1-4757-7040-5 / 1475770405
ISBN-13 978-1-4757-7040-7 / 9781475770407
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
objektorientierte Entwicklung modularer Maschinen für die digitale …

von Thomas Schmertosch; Markus Krabbes; Christian Zinke-Wehlmann

Buch | Hardcover (2024)
Hanser (Verlag)
CHF 62,95
Entwicklung von GUIs für verschiedene Betriebssysteme

von Achim Lingott

Buch (2023)
Hanser, Carl (Verlag)
CHF 55,95
Principles and Practice Using C++

von Bjarne Stroustrup

Buch | Softcover (2024)
Addison Wesley (Verlag)
CHF 119,95