979 search results - page 56 / 196 » Automated Environment Generation for Software Model Checking |
SPLC
2007
13 years 10 months ago
2007
Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and implementing this kind of systems is a difficult opera...
HOTSWUP
2009
ACM
14 years 1 months ago
2009
ACM
Year after year, the frequency of updated releases of software continues to increase. Without an automated install process, the result is either that a system installs software wi...
HICSS
1997
IEEE
14 years 1 months ago
1997
IEEE
We describe an environment to produce traces representing significant workloads for a shared-bus shared-memory multiprocessor used as a general-purpose multitasking machine, wher...
ACMSE
2010
ACM
13 years 6 months ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...