Sciweavers

504 search results - page 51 / 101
» Automatically documenting program changes
Sort
View
ER
2008
Springer
140views Database» more  ER 2008»
14 years 11 months ago
Managing the History of Metadata in Support for DB Archiving and Schema Evolution
Modern information systems, and web information systems in particular, are faced with frequent database schema changes, which generate the necessity to manage them and preserve the...
Carlo Curino, Hyun Jin Moon, Carlo Zaniolo
EMNLP
2008
14 years 11 months ago
Relative Rank Statistics for Dialog Analysis
We introduce the relative rank differential statistic which is a non-parametric approach to document and dialog analysis based on word frequency rank-statistics. We also present a...
Juan Huerta
ESOP
2006
Springer
15 years 1 months ago
A Verification Methodology for Model Fields
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
K. Rustan M. Leino, Peter Müller
MSR
2005
ACM
15 years 3 months ago
Recovering system specific rules from software repositories
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
Chadd C. Williams, Jeffrey K. Hollingsworth
ATAL
2004
Springer
15 years 3 months ago
QueryTracker: An Agent for Tracking Persistent Information Needs
Most people have long term information interests. Current Web search engines satisfy immediate information needs. Specific sites support tracking of long term interests. We prese...
Gabriel Somlo, Adele E. Howe