3792 search results - page 390 / 759 » Techniques for Trusted Software Engineering |
191
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
As a framework evolves, changes in its Application Programming Interface (API) can break client programs that extend the framework. Repairing a client program can be a challenging...
161
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Code examples play an important role to explain the usage of Application Programming Interfaces (APIs), but most API documents do not provide sufficient code examples. For exam...
169
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
175
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
175
click to vote
ICSR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Design pattern formalization is aimed at encouraging the use of design patterns during the design phase. Many approaches focuses on providing solutions with a graphical n...