Sciweavers

1086 search results - page 10 / 218
» A Probabilistic Model for Software Projects
Sort
View
FSTTCS
2006
Springer
13 years 11 months ago
On Reduction Criteria for Probabilistic Reward Models
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
Marcus Größer, Gethin Norman, Christel ...
UML
2005
Springer
14 years 1 months ago
Modeling Turnpike: A Model-Driven Framework for Domain-Specific Software Development
This paper overviews the Modeling Turnpike (mTurnpike) project, which investigates a generic model-driven development framework that supports various domain-specific solutions (i.e...
Hiroshi Wada, Jun Suzuki
FOSSACS
2005
Springer
14 years 1 months ago
Model Checking Durational Probabilistic Systems
François Laroussinie, Jeremy Sproston
ICSE
2003
IEEE-ACM
14 years 8 months ago
Understanding and Predicting Effort in Software Projects
We set out to answer a question we were asked by software project management: how much effort remains to be spent on a specific software project and how will that effort be distri...
Audris Mockus, David M. Weiss, Ping Zhang