1039 search results - page 87 / 208 » Methods as knowledge enablers in software development organi... |
TPHOL
1998
IEEE
15 years 2 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
BIRD
2007
Springer
15 years 4 months ago
2007
Springer
The coiled-coil protein domain is a widespread structural motif known to be involved in a wealth of key interactions in cells and organisms. Coiled-coil recognition and prediction ...
TCIAIG
2010
14 years 4 months ago
2010
In this paper, we overview the 2009 Simulated Car Racing Championship--an event comprising three competitions held in association with the 2009 IEEE Congress on Evolutionary Comput...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Developers express the meaning of the domain ideas in specifically selected identifiers and comments that form the target implemented code. Software maintenance requires ...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
It is well documented that software product cost estimates are notoriously inaccurate across the software industry. Creating accurate cost estimates for software product developme...