3425 search results - page 287 / 685 » A Model Driven Approach for Software Systems Reliability |
133
click to vote
WSC
2001
15 years 5 months ago
2001
Hybrid agent-based simulation is required to provide a mechanism for analyzing large-scale complex systems, such as the National Airspace System (NAS). The dynamic behavior of man...
128
click to vote
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
Software systems have to be changed continuously and evolutionarily throughout the whole time of their development and usage. Meanwhile, the software systems have to remain flexi...
135
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
137
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
125
click to vote
IWSSD
2000
IEEE
15 years 9 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...