772 search results - page 77 / 155 » From Graph Transformation to Software Engineering and Back |
119
click to vote
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
142
click to vote
IUI
2009
ACM
15 years 11 months ago
2009
ACM
Intelligent desktop assistants could provide more help for users if they could learn models of the users’ workflows. However, discovering desktop workflows is difficult becau...
120
click to vote
PEPM
2009
ACM
16 years 28 days ago
2009
ACM
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...
157
click to vote
ICS
2000
Tsinghua U.
15 years 7 months ago
2000
Tsinghua U.
From a software engineering perspective, the Java programming language provides an attractive platform for writing numerically intensive applications. A major drawback hampering i...
135
click to vote
CGO
2006
IEEE
15 years 10 months ago
2006
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Algorithms have been proposed that automatically group similar portions of a program...