3799 search results - page 390 / 760 » An Engineering Approach to Formal Methods |
191
click to vote
ICSE
2007
IEEE-ACM
16 years 29 days ago
2007
IEEE-ACM
We propose an approach to build a changeability assessment model for source code entities. Based on this model, we will assess the changeability of evolving software systems. The ...
170
click to vote
XPU
2004
Springer
16 years 4 days ago
2004
Springer
Refactoring is a key element of many agile software development methods. While most developers associate small design changes with the term refactoring (as described by Martin Fowl...
169
Voted
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Documentation generation is the process of creating the ocumentation at different levels of abstraction from the source code for a legacy system. The main goal is to help the stak...
192
click to vote
EDBTW
2004
Springer
15 years 10 months ago
2004
Springer
Research on recommender systems has primarily addressed centralized scenarios and largely ignored open, decentralized systems where remote information distribution prevails. Absenc...
160
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
We consider the problem of querying XML documents which are not valid with respect to given DTDs. We propose a framework for measuring the invalidity of XML documents and compactly...