1886 search results - page 157 / 378 » Modeling and Enacting Software Processes Using VRPML |
138
Voted
ISPW
2009
IEEE
15 years 11 months ago
2009
IEEE
: Software qualities are in many cases tacit and hard to measure. Thus, there is a potential risk that they get lower priority than deadlines, cost and functionality. This paper pr...
110
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
SEESAW combines AI search tools, a Monte Carlo simulator, and some software process models. We show here that, when selecting technologies for a software project, SEESAW out-perfo...
151
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
DigitalAssets Discoverer is a tool that implements a group of indicators for automatic identification of software components that can be reused in the development of new applicati...
156
Voted
AMAST
1995
Springer
15 years 8 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
156
Voted
EUROMICRO
2007
IEEE
15 years 6 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...