1494 search results - page 38 / 299 » Monitored Software Components - A Novel Software Engineering... |
AMAST
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
ASWEC
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper proposes an approach of defining systemslevel security properties of component-based composite systems. It argues that the security properties of a composite system ca...
CBSE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Software systems should evolve in order to respond to changing client requirements and their evolving environments. But unfortunately, the evolution of legacy application...
ISORC
2009
IEEE
15 years 4 months ago
2009
IEEE
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...