1252 search results - page 83 / 251 » Complex Systems and Agent-Oriented Software Engineering |
129
click to vote
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
140
Voted
WICSA
2001
15 years 4 months ago
2001
During the past decade, object-orientation (OO) has become the dominant software development methodology, accompanied by a number of modeling notations, programming languages, and...
126
Voted
CBSE
2006
Springer
15 years 7 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
134
Voted
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...
129
Voted
SOQUA
2007
15 years 4 months ago
2007
The impossibility of statically determining the behavior of complex systems that interact at runtime with heterogeneous devices and remote entities, may lead to unexpected system ...