Editors:
Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 523)
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 (20 chapters)
-
Front Matter
About this book
Behavioral Specifications of Businesses and Systems emphasizes simplicity and elegance in specifications without concentrating on particular methodologies, languages or tools. It shows how to handle complexity, and, specifically, how to succeed in understanding and specifying businesses and systems based upon precise and abstract concepts. It promotes reuse of such concepts, and of constructs based on them, without taking reuse for granted.
Behavioral Specifications of Businesses and Systems is the second volume of papers based on a series of workshops held alongside ACM's annual conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA) and European Conference on Object-Oriented Programming (ECOOP). The first volume, Object-Oriented Behavioral Specifications, edited by Haim Kilov and William Harvey, was published by Kluwer Academic Publishers in 1996.
Editors and Affiliations
-
Genesis Development Corporation, USA
Haim Kilov
-
Technische Universität München, Germany
Bernhard Rumpe
-
IBM T J Watson Research Center, USA
Ian Simmonds
Bibliographic Information
Book Title: Behavioral Specifications of Businesses and Systems
Editors: Haim Kilov, Bernhard Rumpe, Ian Simmonds
Series Title: The Springer International Series in Engineering and Computer Science
DOI: https://doi.org/10.1007/978-1-4615-5229-1
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 1999
Hardcover ISBN: 978-0-7923-8629-2Published: 31 October 1999
Softcover ISBN: 978-1-4613-7383-4Published: 16 November 2012
eBook ISBN: 978-1-4615-5229-1Published: 09 March 2013
Series ISSN: 0893-3405
Edition Number: 1
Number of Pages: XII, 315
Number of Illustrations: 150 b/w illustrations
Topics: Programming Languages, Compilers, Interpreters, Data Structures and Information Theory, Software Engineering/Programming and Operating Systems, IT in Business