503 search results - page 42 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
CAV
2010
Springer
15 years 1 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
LISA
2003
14 years 11 months ago
2003
This paper attempts to address the complexity of system administration by making the labor of applying software updates independent of the number of computers on which the softwar...
DSD
2009
IEEE
14 years 7 months ago
2009
IEEE
Several traditional VHDL fault injection mechanisms like mutants or saboteurs have been adapted to SystemC model descriptions. The main drawback of these approaches is the necessi...
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
DAGSTUHL
2009
14 years 11 months ago
2009
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...