1338 search results - page 52 / 268 » Consistent Code Generation from UML Models |
101
click to vote
ISPDC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract. Grid architectures are execution environments that are known to be at the same time distributed, parallel, heterogeneous and dynamic. While current tools focus solutions ...
115
Voted
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
156
Voted
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
126
click to vote
DMS
2010
15 years 16 days ago
2010
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
111
click to vote
GG
2004
Springer
15 years 8 months ago
2004
Springer
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...