Addendum to the 1997 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (Addendum)
Proceedings of the 20th international conference on Software engineering
Formal specification of CORBA services: experience and lessons learned
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Formal Specification and Prototyping of CORBA Systems
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Discovering, Displaying and Agreeing Semantics in an Environment of Conflicts
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Petri Net Based Behavioural Specification of CORBA Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management
11th OOPSLA workshop on behavioral semantics: serving the customer
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
Hi-index | 0.00 |
From the Publisher:Object-Oriented Behavioral Specifications encourages the builders of complex information systems to accelerate the 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. The papers in this book show various ways of designing elegant and clear specifications which are reusable, leading to savings of intellectual effort, time, and money, and which contribute to the reliability ofS software and systems.