Sciweavers

4074 search results - page 330 / 815
» Abstract Graph Transformation
Sort
View
IWPC
1997
IEEE
15 years 11 months ago
Using Knowledge Representation to Understand Interactive Systems
System migration presents a myriad of challenges in software maintenance. The user interfaces of interactive systems can undergo significant change during migration. Program unde...
Melody M. Moore, Spencer Rugaber
FASE
2000
Springer
15 years 10 months ago
From Play-In Scenarios to Code: An Achievable Dream
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...
David Harel
SAS
2000
Springer
15 years 10 months ago
Flattening Is an Improvement
d Abstract) James Riely1 and Jan Prins2 1 DePaul University 2 University of North Carolina at Chapel Hill Abstract. Flattening is a program transformation that eliminates nested pa...
James Riely, Jan Prins
ENTCS
2008
118views more  ENTCS 2008»
15 years 6 months ago
Barbed Model-Driven Software Development: A Case Study
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
Carlo Montangero, Laura Semini
LISP
2007
112views more  LISP 2007»
15 years 6 months ago
The next 700 Krivine machines
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
Rémi Douence, Pascal Fradet