Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications).
Haim KilovBernhard RumpePublished in: ECOOP Workshops (1998)
Keyphrases
- object oriented
- specification language
- programming language
- control flow
- conceptual models
- operational semantics
- decision making
- information systems
- formal semantics
- formal language
- business process models
- electronic commerce
- data mining
- business intelligence
- software engineering
- business processes
- logic programming
- delay insensitive
- object oriented databases
- business rules
- knowledge management
- business process
- data model
- attribute grammars
- formal specification
- high level
- conceptual modeling
- class diagram
- conceptual model
- business models
- query language
- database schema
- database
- semantic constraints
- test cases
- relational databases
- case study
- object oriented modeling