Sciweavers

41 search results - page 3 / 9
» kbse 2005
Sort
View
KBSE
2005
IEEE
13 years 11 months ago
Formal support for merging and negotiation
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
Shiva Nejati
KBSE
2005
IEEE
13 years 11 months ago
Constructing interaction test suites with greedy algorithms
Combinatorial approaches to testing are used in several fields, and have recently gained momentum in the field of software testing through software interaction testing. One-test...
Renée C. Bryce, Charles J. Colbourn
KBSE
2005
IEEE
13 years 11 months ago
NFRs-aware architectural evolution of component-based software
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
Chouki Tibermacine, Régis Fleurquin, Salah ...
KBSE
2005
IEEE
13 years 11 months ago
Process support to help novices design software faster and better
In earlier work we have argued that formal process definitions can be useful in improving our understanding and performance of software development processes. There has, however,...
Aaron G. Cass, Leon J. Osterweil
KBSE
2005
IEEE
13 years 11 months ago
On dynamic feature location
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...
Rainer Koschke, Jochen Quante