1011 search results - page 58 / 203 » Exception Analysis for Java |
KBSE
2006
IEEE
14 years 4 months ago
2006
IEEE
Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This paper presents a new, fully automated patter...
ECOOP
2005
Springer
14 years 3 months ago
2005
Springer
Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in ...
UML
2005
Springer
14 years 3 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
ISSRE
2002
IEEE
14 years 3 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
SAC
2006
ACM
13 years 10 months ago
2006
ACM
In this paper we introduce a new view on roles in Object Oriented programming languages, based on an ontological analysis of roles. A role is always associated with an object inst...