Sciweavers

SCP
2010
123views more  SCP 2010»
13 years 5 months ago
Slicing for architectural analysis
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
Nuno F. Rodrigues, Luís Soares Barbosa
SCP
2010
163views more  SCP 2010»
13 years 5 months ago
Compact and efficient strings for Java
In several Java VMs, strings consist of two separate objects: metadata such as the string length are stored in the actual string object, while the string characters are stored in ...
Christian Häubl, Christian Wimmer, Hanspeter ...
SCP
2010
174views more  SCP 2010»
13 years 5 months ago
Aspects of availability: Enforcing timed properties to prevent denial of service
We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the ...
Pascal Fradet, Stéphane Hong Tuan Ha
SCP
2010
189views more  SCP 2010»
13 years 5 months ago
Distributed and Collaborative Software Evolution Analysis with Churrasco
Analyzing the evolution of large and long-lived software systems is a complex problem that requires extensive tool support due to the amount and complexity of the data that needs ...
Marco D'Ambros, Michele Lanza
SCP
2010
92views more  SCP 2010»
13 years 9 months ago
Robustness testing for software components
Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisse...
SCP
2010
88views more  SCP 2010»
13 years 9 months ago
Type-directed weaving of aspects for polymorphically typed functional languages
Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Kh...
SCP
2010
78views more  SCP 2010»
13 years 9 months ago
Scoping strategies for distributed aspects
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires a proper means for scoping aspects. Scoping issues are particularly crucial in a distri...
Éric Tanter, Johan Fabry, Rémi Douen...
SCP
2010
155views more  SCP 2010»
13 years 9 months ago
Type inference and strong static type checking for Promela
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
Alastair F. Donaldson, Simon J. Gay
SCP
2010
126views more  SCP 2010»
13 years 9 months ago
Component simulation-based substitutivity managing QoS and composition issues
Several scientic bottlenecks have been identied in existing component-based approaches. em, we focus on the identication of a relevant abstraction for the component expression ...
Pierre-Cyrille Héam, Olga Kouchnarenko, J&e...