504 search results - page 3 / 101 » Automatically documenting program changes |
IJCNN
2000
IEEE
13 years 10 months ago
2000
IEEE
COLING
2010
13 years 1 months ago
2010
Document keywords are associated to documents as summarized versions of the documents' content. Considering that the number of documents is quickly growing every day, the ava...
IFM
2010
Springer
13 years 4 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
JLP
2007
13 years 6 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
JUCS
2008
13 years 6 months ago
2008
: Proxima is a generic structure editor suitable for a wide range of structured document types. It allows edit operations on the document structure as well as on its screen represe...