772 search results - page 66 / 155 » From Graph Transformation to Software Engineering and Back |
115
click to vote
ICMT
2009
Springer
15 years 8 months ago
2009
Springer
Model transformations are an essential part of Model Driven Engineering and are in many ways similar to traditional software artifacts. Therefore it is necessary to define and eva...
132
click to vote
SCAM
2003
IEEE
15 years 9 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
115
click to vote
WCRE
1993
IEEE
15 years 8 months ago
1993
IEEE
Recognizing commonly used data structures and algorithms is a key activity in reverse engineering. Systems developed to automate this recognition process have been isolated, stand...
126
click to vote
ICFEM
2009
Springer
15 years 8 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...
145
click to vote
WSDM
2009
ACM
15 years 10 months ago
2009
ACM
The ranking function used by search engines to order results is learned from labeled training data. Each training point is a (query, URL) pair that is labeled by a human judge who...