Object-Oriented Behavioral Specifications

Overview

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 ...

See more details below
Paperback (Softcover reprint of the original 1st ed. 1996)
$200.48
BN.com price
(Save 12%)$229.00 List Price
Other sellers (Paperback)
  • All (6) from $168.78   
  • New (6) from $168.78   
Sending request ...

Overview

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.

Read More Show Less

Product Details

Table of Contents

Preface. 1. Exactness and Clarity in a Component-based Specification Language; D. Bryan. 2. A Formal Basis for Specifying Object Behaviour; A. Bryant, A. Evans. 3. Information Refraction; B. Harvey, et al. 4. A Pragmatic Approach to Formal Specification; M. Heisel. 5. Anecdotes on Making a Specification Simpler; I. Houston. 6. Invariants in the Trenches; H. Kilov, et al. 7. Fundamentals of Object-Oriented Specification and Modeling of Collective Behaviors; R. Kurki-Suonio. 8. An Overview of Larch/C++: Behavioral Specifications for C++ Modules; G.T. Leavens. 9. Structural Active-Object Systems Fundamentals; T. Minoura. 10. Organizational Culture: An Object-Oriented Framework; J. Morabito, A. Bhate. 11. Specifying and Reasoning About Business Rules in a Semantic Network; L. Morgenstern. 12. Dynamic and Multiple Classification; J.J. Odell. 13. Specifying Business Policy Using Agent-Contract Meta-Constructs; J. Palmer. 14. Architectural Specifications: Modeling and Structuring Behavior Through Rules; C. Paredes, et al. 15. The Search for the Linking Invariant: Behavioral Modeling Versus Modeling Behavior; D. Redberg. 16. Automata Describing Object Behavior; B. Rumpe, C. Klein. 17. Enterprise Modeling with Use Cases; J. Stanford. 18. Formal Object-Oriented Method - FOOM; P. Swatman. Index.

Read More Show Less

Customer Reviews

Be the first to write a review
( 0 )
Rating Distribution

5 Star

(0)

4 Star

(0)

3 Star

(0)

2 Star

(0)

1 Star

(0)

Your Rating:

Your Name: Create a Pen Name or

Barnes & Noble.com Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & Noble.com that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & Noble.com does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at BN.com or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation

Reminder:

  • - By submitting a review, you grant to Barnes & Noble.com and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Noble.com Terms of Use.
  • - Barnes & Noble.com reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & Noble.com also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on BN.com. It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

 
Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously

    If you find inappropriate content, please report it to Barnes & Noble
    Why is this product inappropriate?
    Comments (optional)