Klaus-Dieter Schewe
No biography available.
Works (10)
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Transactions on Large-Scale Data- and Knowledge-Centered Systems X
A Rigorous Semantics for BPMN 2.0 Process Diagrams
Conceptual Modeling Er 2007 26th International Conference On Conceptual Modeling Auckland New Zealand November 59 2007 Proceedings
Semantics in Data and Knowledge Bases
Semantics in Data and Knowledge Bases
Correct Software in Web Applications and Web Services
ABZ 2014 : The Landing Gear Case Study
Foundations of information and knowledge systems
Semantics in databases