Ninth OOPSLA workshop on behavioral semantics (poster session)
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Behavioral Specifications of Businesses and Systems
Behavioral Specifications of Businesses and Systems
Object-Oriented Behavioral Specifications
Object-Oriented Behavioral Specifications
Mechanisms for communication between business and IT experts
Computer Standards & Interfaces
Enriching Java Enterprise interfaces with formal sequential contracts
Proceedings of the Third Workshop on Behavioural Modelling
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
Hi-index | 0.00 |
The goal of this workshop is to foster precise and explicit OO specifications of business and system semantics, independently of any (possible) realization. As a result of lip service to these ideas, the systems we build or buy are all too often not what they are supposed to be. Doing better than that requires both a clear understanding of the semantics of the problems together with their business and technological environments, and abstract, precise and explicit specifications of that semantics. The specific theme this year is on serving the customer.