ASWEC
2005
IEEE
14 years 1 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...
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machine...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
While aspect-oriented modeling has been recognized as a useful means of improving the modularity of software design, the de facto standard modeling language UML lacks first-class...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Testing a large-scale, real-life commercial software application is a very challenging task due to the constant changes in the software, the involvement of multiple programmers an...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents our aspect-oriented system specialized for debugging named Bugdel. Bugdel is a plug-in module for Eclipse, which is an integrated development environment. Unli...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
We describe the “STSC” prototype tool that supports the statistical testing of software components. The tool supports a wide range of operational profiles and test oracles for...