ICSE
2011
IEEE-ACM
12 years 8 months ago
2011
IEEE-ACM
—Dynamic reconfiguration – the ability to hot swap a component, or to introduce a new component into the system – is essential to supporting evolutionary change in long-live ...
ICSE
2011
IEEE-ACM
12 years 8 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
ICSE
2011
IEEE-ACM
12 years 8 months ago
2011
IEEE-ACM
Successful software systems continuously change their requirements and thus code. When this happens, some existing tests get broken because they no longer reflect the intended be...
ICSE
2011
IEEE-ACM
12 years 8 months ago
2011
IEEE-ACM
We present the first IDE augmented with static detection of inconsistent paths for simplifying the development and debugging of any application involving XPath expressions. Categ...
ICSE
2011
IEEE-ACM
12 years 8 months ago
2011
IEEE-ACM
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...