Sciweavers

561 search results - page 48 / 113
» VSE: Controlling the Complexity in Formal Software Developme...
Sort
View
IEEECIT
2009
IEEE
16 years 24 days ago
Dynamic Software Product Lines for Service-Based Systems
—Ageing populations and the necessity to reduce environmental impact raise new challenges on our living buildings. Convergence of home control systems (air conditioning, light ma...
Paul Istoan, Grégory Nain, Gilles Perrouin,...
CIBSE
2008
ACM
15 years 8 months ago
Using Refinement Checking as System Testing
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
Cristiano Bertolini, Alexandre Mota
GECCO
2004
Springer
117views Optimization» more  GECCO 2004»
15 years 11 months ago
Evaluating Evolutionary Testability with Software-Measurements
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
Frank Lammermann, André Baresel, Joachim We...
ASE
2006
110views more  ASE 2006»
15 years 6 months ago
Runtime recovery and manipulation of software architecture of component-based systems
Recently, more attention is paid to the researches and practices on how to use software architecture in software maintenance and evolution to reduce their complexity and cost. The ...
Gang Huang, Hong Mei, Fuqing Yang
ESEM
2007
ACM
15 years 10 months ago
An Estimation Model for Test Execution Effort
It is important for test managers to be able to estimate the effort required to execute the test suites requested by development teams, as well to estimate its capacity for attend...
Eduardo Aranha, Paulo Borba