772 search results - page 31 / 155 » From Graph Transformation to Software Engineering and Back |
106
Voted
ICSM
2009
IEEE
15 years 8 months ago
2009
IEEE
Program call graph representation can be used to support many tasks in compiler optimization, program comprehension, and software maintenance. During software evolution, the call ...
116
Voted
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
122
click to vote
ADAEUROPE
2010
Springer
14 years 12 months ago
2010
Springer
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
140
click to vote
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
UIST
1994
ACM
15 years 6 months ago
1994
ACM
We propose a new evolutionary method of extracting user preferences from examples shown to an automatic graph layout system. Using stochastic methods such as simulated annealing a...