Authors:
Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 371)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (18 chapters)
-
Front Matter
-
Back Matter
About this book
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.
Authors and Affiliations
-
IBM T.J. Watson Research Center, USA
Haim Kilov
-
Institute for Information Management, Robert Morris College, USA
William Harvey
Bibliographic Information
Book Title: Object-Oriented Behavioral Specifications
Authors: Haim Kilov, William Harvey
Series Title: The Springer International Series in Engineering and Computer Science
DOI: https://doi.org/10.1007/b102296
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 1996
Hardcover ISBN: 978-0-7923-9778-6Published: 30 September 1996
Softcover ISBN: 978-1-4757-7040-7Published: 07 March 2013
eBook ISBN: 978-0-585-27524-6Published: 20 August 2007
Series ISSN: 0893-3405
Edition Number: 1
Number of Pages: XIV, 316
Topics: Software Engineering/Programming and Operating Systems, Computer Science, general, Data Structures and Information Theory, IT in Business, Programming Languages, Compilers, Interpreters