2403 search results - page 273 / 481 » Using the WinWin Spiral Model: A Case Study |
190
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
155
click to vote
ALT
1998
Springer
15 years 10 months ago
1998
Springer
Learning from positive examples occurs very frequently in natural learning. The PAC learning model of Valiant takes many features of natural learning into account, but in most case...
174
click to vote
CCE
2008
15 years 6 months ago
2008
Chemical supply chain networks provide large opportunities for cost reductions through the redesign of the flow of material from producer to customer. In this paper we present a m...
174
click to vote
ECWEB
2007
Springer
16 years 21 days ago
2007
Springer
Service matchmaking is the process of finding appropriate services for a given set of requirements. We present a novel service matchmaking approach based on the internal process o...
174
click to vote
JUCS
2008
15 years 6 months ago
2008
: The mining of generic software components from legacy systems can be used as an auxiliary technique to revitalize systems. This paper presents a software maintenance approach tha...