Login / Signup
Reusing a Declarative Specification to Check the Conformance of Different CIGs.
María Adela Grando
Wil M. P. van der Aalst
Ronny Mans
Published in:
Business Process Management Workshops (2) (2011)
Keyphrases
</>
high level
protocol specification
knowledge representation
formal specification
specification language
attribute grammars
decision making
case study
natural language
evolutionary algorithm
programming language
software development
domain independent