2403 search results - page 348 / 481 » Using the WinWin Spiral Model: A Case Study |
159
click to vote
ENTCS
2008
15 years 5 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
150
click to vote
AICOM
2002
15 years 5 months ago
2002
The computational potential of artificial living systems can be studied without knowing the algorithms that govern their behavior. Modeling single organisms by means of socalled c...
162
click to vote
ESEM
2010
ACM
15 years 3 months ago
2010
ACM
Functional Size Measures are often used for effort estimation. However, these measures do not take into account the amount and complexity of elaboration required, concentrating in...
150
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
We consider a near future scenario in which users of a Web 2.0 application, such as a social network, contribute to the application not only data, but also rules which automatical...
162
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Empirical studies of software defects rely on links between bug databases and program code repositories. This linkage is typically based on bug-fixes identified in developer-enter...