424 search results - page 71 / 85 » ASPECS: an agent-oriented software process for engineering c... |
MSR
2005
ACM
14 years 1 months ago
2005
ACM
This paper introduces a collaborative project OSSmole which collects, shares, and stores comparable data and analyses of free, libre and open source software (FLOSS) development f...
MKWI
2008
13 years 9 months ago
2008
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...
SIGSOFT
2006
ACM
14 years 8 months ago
2006
ACM
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
KBSE
2003
IEEE
14 years 26 days ago
2003
IEEE
Test designers widely believe that the overall effectiveness and cost of software testing depends largely on the type and number of test cases executed on the software. In this pa...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...