21319 search results - page 3919 / 4264 » An Approach for Method Reengineering |
170
click to vote
TLDI
2005
ACM
16 years 8 days ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
193
click to vote
WOSP
2005
ACM
16 years 8 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
306
click to vote
AADEBUG
2005
Springer
16 years 8 days ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
155
click to vote
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
This paper addresses the question of factoring a logic into families of (generally simpler) components, estimating the top– down perspective, splitting, versus the bottom–up, s...
202
click to vote
ER
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...