Sciweavers

SEKE
2010
Springer
13 years 2 months ago
Architecture-centric development and evolution processes for component-based software
Abstract--Component-based development focuses on compose and composition: abstract components (as wished) must be searched for and matched to existing component (as found). This se...
Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Va...
SEKE
2010
Springer
13 years 2 months ago
Towards an Automation of Software Evolution Good Practices
It is well known that software evolution is an inescapable activity in the software lifecycle. In order to prevent the negative effects of this activity (decreased quality, increa...
Chouki Tibermacine, Soraya Sakhraoui, Vincent Le G...
SEKE
2010
Springer
13 years 2 months ago
Specification patterns can be formal and still easy
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
Fernando Asteasuain, Víctor A. Braberman
SEKE
2010
Springer
13 years 2 months ago
MMWA-ae: boosting knowledge from Multimodal Interface Design, Reuse and Usability Evaluation
The technological progress designing new devices and the scientific growth in the field of Human-Computer Interaction are enabling new interaction modalities to move from resear...
Americo Talarico Neto, Renata Pontin M. Fortes, Ra...
SEKE
2010
Springer
13 years 2 months ago
Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
Thomas Moser, Gregor Dürr, Stefan Biffl
SEKE
2010
Springer
13 years 2 months ago
A Project Monitoring Cockpit Based On Integrating Data Sources in Open Source Software Development
— Many open source software (OSS) development projects use tools and models that come from heterogeneous sources. A project manager, who wants to analyze indicators for the state...
Stefan Biffl, Wikan Danar Sunindyo, Thomas Moser
SEKE
2010
Springer
13 years 2 months ago
A Multi-State Bayesian Network for Shill Verification in Online Auctions
Online auction systems have made remarkable progress in recent years. However, one of the most severe and persistent problems in such systems is shilling behavior, which is a type ...
Ankit Goel, Haiping Xu, Sol M. Shatz
SEKE
2010
Springer
13 years 2 months ago
Introducing Automated Environment Configuration Testing in an Industrial Setting
— This paper presents an automated environment configuration testing strategy developed as part of an action research project to deal with issues of staging environment instabili...
Caryna Pinheiro, Vahid Garousi, Frank Maurer, Jona...
SEKE
2010
Springer
13 years 2 months ago
Distributed and Adaptive Execution of Condor DAGMan Workflows
— Large-scale applications, in the form of workflows, may require the coordinated usage of resources spreading across multiple administrative domains. Scalable solutions need a d...
Selim Kalayci, Gargi Dasgupta, Liana Fong, Onyeka ...
SEKE
2010
Springer
13 years 2 months ago
Runtime Constraint Checking Approaches for OCL, A Critical Comparison
Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar...