1926 search results - page 274 / 386 » Modeling and Model Checking Software Product Lines |
131
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
194
click to vote
PROMISE
2010
14 years 11 months ago
2010
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...
134
Voted
MSR
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we propose to apply artifact mining in a global development environment to support measurement based process management and improvement, such as SEI/CMMI’s GQ(I)M...
129
click to vote
IIWAS
2008
15 years 5 months ago
2008
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...
115
click to vote
ISPW
2006
IEEE
15 years 10 months ago
2006
IEEE
Workflows emphasize the partial order of activities, and the flow of data between activities. In contrast, cooperative processes emphasize the sharing of artefact, and its gradual ...