3706 search results - page 193 / 742 » The Transformational Approach to Program Development |
125
click to vote
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we present our approach to a visual refactoring tool, the Type Access Analyzer (TAA), which uses program analysis to detect code smells and for suggesting and perfo...
107
click to vote
ECRTS
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
137
click to vote
ZUM
1994
Springer
15 years 7 months ago
1994
Springer
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
226
Voted
POPL
2005
ACM
16 years 3 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
113
click to vote
ICML
2003
IEEE
16 years 3 months ago
2003
IEEE
We propose a general framework for support vector machines (SVM) based on the principle of multi-objective optimization. The learning of SVMs is formulated as a multiobjective pro...