Search alternatives:
"execution" » "executive"
Cover Image
Read Now

1
Published 2024
Springer Nature Switzerland
Table of Contents: “... Enforcement of Executable BPMN Processes -- Integrating Look-ahead Design-time and Run-time Control-synthesis...”
Cover Image
Read Now

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...: Specification, Refinement and Realisation -- Refinement-Preserving Co-evolution -- Algebraic Specifications...”
Cover Image
Read Now

3
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Refinement in UML-B -- Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects...”