772 search results - page 31 / 155 » From Graph Transformation to Software Engineering and Back |
126
Voted
ICSM
2009
IEEE
15 years 10 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 ...
134
Voted
AMAST
2004
Springer
15 years 9 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...
137
Voted
ADAEUROPE
2010
Springer
15 years 1 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...
160
Voted
ICST
2010
IEEE
15 years 1 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...
116
Voted
UIST
1994
ACM
15 years 7 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...