8 citations · 17 across the 6 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011
Towards reduction of Paradigm coordination models
Suzana Andova, Luuk Groenewegen, Erik de Vink
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistentl…
cs.SE2011★ 8 cited
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models
Suzana Andova, Mark van den Brand, Luc Engelen
A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of t…