3554 search results - page 223 / 711 » Estimating software based on use case points |
155
click to vote
CAV
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
114
click to vote
JCP
2008
15 years 5 months ago
2008
Implantable pacemaker is a battery operated real time embedded system, which includes software/hardware codesign strategy. As it is placed within the heart by surgery, battery life...
135
click to vote
SPLC
2007
15 years 6 months ago
2007
Besides ordinary applications, also infrastructure software such as operating systems or database management systems is being developed as a software product line. With proper too...
169
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Cellular metabolism is one of the most investigated system of biological interactions. While the topological nature of individual reactions and pathways in the network...
152
click to vote
CSMR
2008
IEEE
15 years 12 months ago
2008
IEEE
To understand the evolution of software researchers have developed a plethora of tools to parse, model, and analyze the history of systems. Despite their usefulness, a common down...