Sciweavers

30267 search results - page 29 / 6054
» Process Modelling Languages
Sort
View
IFIP
2004
Springer
15 years 7 months ago
New-HOPLA: A Higher-order Process Language with Name Generation
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
Glynn Winskel, Francesco Zappa Nardelli
MODELS
2009
Springer
15 years 8 months ago
Meta-model Pruning
Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc J...
MODELS
2009
Springer
15 years 8 months ago
Traceability-Based Change Awareness
Jonas Helming, Maximilian Koegel, Helmut Naughton,...