Object-Oriented Behavioral Specifications

Name: Object-Oriented Behavioral Specifications
Price: 296.98 AUD
Availability: OutOfStock
ISBN: 9781475770407

Haim Kilov, William Harvey

$370.95 $296.98

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We will update you on expected arrival time to us. If this delay is too long, please let us know within 2 business days and we can give you options regarding cancelling or adjusting your order. More details on cancelling your order can be found in our Terms of Trade.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Springer-Verlag New York Inc.
07 March 2013

Algorithms & data structures; Object-oriented programming (OOP); Programming & scripting languages: general; Software Engineering

Series: The Springer International Series in Engineering and Computer Science

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.

Edited by: Haim Kilov, William Harvey
Imprint: Springer-Verlag New York Inc.
Country of Publication: United States
Edition: Softcover reprint of the original 1st ed. 1996
Volume: 371
Dimensions: Height: 235mm, Width: 155mm, Spine: 18mm
Weight: 516g
ISBN: 9781475770407
ISBN 10: 1475770405
Series: The Springer International Series in Engineering and Computer Science
Pages: 316
Publication Date: 07 March 2013
Audience: Professional and scholarly , Undergraduate
Format: Paperback
Publisher's Status: Active

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.