Login / Signup
Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models.
Radoslaw Klimek
Published in:
J. Log. Algebraic Methods Program. (2019)
Keyphrases
</>
control flow
high level
reactive systems
computer systems
software systems
petri net
statistical models
user interface
prior knowledge
source code
finite state machines
architectural models
data sets
modeling language
software architecture
experimental data
process model
software development
web services