FASE
2000
Springer
13 years 8 months ago
2000
Springer
g higher levels of abstraction with automated downward transformations has always been the way to go, as long as the engineers who do the actual work are th the abstractions. A dev...