1405 search results - page 128 / 281 » Software engineering for and with artists: a case study |
170
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
181
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
Problem frames provide a means of analyzing and decomposing problems. They emphasise the world outside of the computer, helping the developer to focus on the problem domain, inste...
170
click to vote
ICSEA
2007
IEEE
16 years 21 days ago
2007
IEEE
We investigate the trade off between investing effort in improving the features of a research environment that increases productivity and investing such effort in actually conduct...
177
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This poster paper investigates the potential of single and multiobjective genetic operators with an object-oriented conceptual design space. Using cohesion as an objective fitness...
182
click to vote
COMPSAC
2005
IEEE
16 years 1 days ago
2005
IEEE
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...