47 search results - page 3 / 10 » The end-to-end use of source code examples: An exploratory s... |
STTT
2010
13 years 5 months ago
2010
This article proposes a case study to evaluate the suitability of graph transformation tools for program refactoring. In order to qualify for this purpose, a graph transformation s...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We study network error correction with unequal link capacities. Previous results on network error correction assume unit link capacities. We consider network error correction codes...
ICSM
2007
IEEE
14 years 1 months ago
2007
IEEE
Studying the release-time activities of a software project — that is, activities that occur around the time of a major or minor release — can provide insights into both the de...
TSE
2002
13 years 7 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...