QSIC
2007
IEEE
13 years 10 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
QSIC
2007
IEEE
13 years 10 months ago
2007
IEEE
Recent research showed that the majority of compatibility-breaking changes in a component-based, object-oriented software system are refactorings [5]. The software updating proces...
QSIC
2007
IEEE
13 years 10 months ago
2007
IEEE
: Testing against natural language requirements is the standard approach for system and acceptance testing. This test is often performed by an independent test organization unfamil...
QSIC
2007
IEEE
13 years 10 months ago
2007
IEEE
QSIC
2007
IEEE
13 years 10 months ago
2007
IEEE
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in...