7209 search results - page 457 / 1442 » Software Engineering for Multi-Agent Systems |
158
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
101
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Component systems have become a wide-spread technology and found their place in several application domains. Each component system has its specifics and particularities that re...
127
Voted
ECMDAFA
2009
Springer
15 years 7 months ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...
127
Voted
SIGSOFT
2006
ACM
15 years 9 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
104
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
The suggestions made by current IDE's code completion features are based exclusively on static type system of the programming language. As a result, often proposals are made ...