Sciweavers

CSMR
2005
IEEE
14 years 1 months ago
Evolution Doctor: A Framework to Control Software System Evolution
Real world software systems undergo, during their lifetime, to repeated maintenance activities. Due to the market pressure and to the need for having back the system operational i...
Massimiliano Di Penta
WCRE
2006
IEEE
14 years 1 months ago
Extracting Change-patterns from CVS Repositories
Often, the only sources of information about the evolution of software systems are the systems themselves and their histories. Version control repositories contain information on ...
Salah Bouktif, Yann-Gaël Guéhén...
WCRE
2006
IEEE
14 years 1 months ago
An Orchestrated Multi-view Software Architecture Reconstruction Environment
Most approaches in reverse engineering literature generate a single view of a software system that restricts the scope of the reconstruction process. We propose an orchestrated se...
Kamran Sartipi, Nima Dezhkam, Hossein Safyallah
KBSE
2006
IEEE
14 years 1 months ago
Effective Generation of Interface Robustness Properties for Static Analysis
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie
IWPC
2006
IEEE
14 years 1 months ago
Evolution Storyboards: Visualization of Software Structure Dynamics
Large software systems have a rich development history. Mining certain aspects of this rich history can reveal interesting insights into the system and its structure. Previous app...
Dirk Beyer, Ahmed E. Hassan
IWPC
2006
IEEE
14 years 1 months ago
Alborz: An Interactive Toolkit to Extract Static and Dynamic Views of a Software System
: Alborz is a multi-view, interactive, and wizard-based software architecture reconstruction and evaluation toolkit that takes advantage of the Eclipse plug-in technology to provid...
Kamran Sartipi, Lingdong Ye, Hossein Safyallah
CSMR
2006
IEEE
14 years 1 months ago
Scenario-Driven Dynamic Analysis for Comprehending Large Software Systems
Understanding large software systems is simplified when a combination of techniques for static and dynamic analysis is employed. Effective dynamic analysis requires that executio...
Maher Salah, Spiros Mancoridis, Giuliano Antoniol,...
PRIMA
2007
Springer
14 years 1 months ago
Supporting Requirements Analysis in Tropos: A Planning-Based Approach
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
Volha Bryl, Paolo Giorgini, John Mylopoulos
KIVS
2007
Springer
14 years 1 months ago
Semantic Integration of Identity Data Repositories
Abstract. With the continuously growing number of distributed and heterogeneous IT systems there is the need for structured and efficient identity management (IdM) processes. This ...
Christian Emig, Kim Langer, Jürgen Biermann, ...
FMICS
2007
Springer
14 years 1 months ago
Analysis of a Session-Layer Protocol in mCRL2
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
Marko C. J. D. van Eekelen, Stefan ten Hoedt, Ren&...