772 search results - page 3 / 155 » From Graph Transformation to Software Engineering and Back |
EMSOFT
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than...
GPCE
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
PEPM
2010
ACM
14 years 1 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speci�...
GG
2004
Springer
13 years 10 months ago
2004
Springer
