9 search results - page 1 / 2 » Systematically deriving domain-specific transformation langu... |
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
CC
2009
Springer
13 years 2 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
PLDI
2011
ACM
12 years 7 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...
GI
2009
Springer
13 years 2 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
AISC
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The same methodology is used to develop 3 different applications. We begin by using a very expressive, appropriate Domain Specific Language, to write down precise problem...