1804 search results - page 122 / 361 » Use Cases in Model-Driven Software Engineering |
112
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...
130
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Evolutionary structural testing is an approach to automatically generating test cases that achieve high structural code coverage. It typically uses genetic algorithms (GAs) to sea...
134
click to vote
CSMR
2008
IEEE
15 years 10 months ago
2008
IEEE
We present Build Analyzer, a tool that helps developers optimize the build performance of huge systems written in C. Due to complex C header dependencies, even small code changes ...
126
click to vote
SCAM
2007
IEEE
15 years 10 months ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
131
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Legacy systems are often business critical and are associated with high maintenance costs. In this paper, we present an overview of a method, Renaissance, which aims to manage the...