3 search results - page 1 / 1 » 06191 Abstracts Collection -- Rigorous Methods for Software ... |
DAGSTUHL
2007
13 years 6 months ago
2007
DAGSTUHL
2007
13 years 6 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
FM
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...