Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications).
Haim KilovBernhard RumpePublished in: CoRR (2014)
Keyphrases
- specification language
- object oriented
- programming language
- operational semantics
- conceptual models
- information systems
- business intelligence
- data mining
- object oriented databases
- business process models
- formal language
- query language
- electronic commerce
- business process
- control flow
- business rules
- business models
- formal semantics
- business processes
- logic programming
- attribute grammars
- semantic information
- decision making
- delay insensitive
- conceptual modeling
- high level
- database
- design methodology
- relational databases