1804 search results - page 169 / 361 » Use Cases in Model-Driven Software Engineering |
132
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Software projects often rely on third-party libraries made accessible through Application Programming Interfaces (APIs). We have observed many cases where APIs are used in ways ...
117
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
Developers write and execute ad-hoc tests as they implement software. While these tests reflect important insights of the developers (e.g., which parts of the software need testi...
152
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Many architecture–based software reliability models were proposed in the past. Regardless of the accuracy of these models, if a considerable uncertainty exists in the estimates ...
146
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
155
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Basic retiming is an algorithm originally developed for hardware optimization. Software pipelining is a technique proposed to increase instruction-level parallelism for parallel p...