Sciweavers

320 search results - page 35 / 64
» End-User Software Engineering Position Paper
Sort
View
FOSSACS
2000
Springer
15 years 8 months ago
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
Kai Engelhardt, Ron van der Meyden, Yoram Moses
IWPC
1997
IEEE
15 years 8 months ago
Dynamic Program Slicing in Understanding of Program Execution
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of an original program with respect to a variable(s) of...
Bogdan Korel, Juergen Rilling
PERCOM
2006
ACM
16 years 4 months ago
Semantic Indexing for Recorded Educational Lecture Videos
In this paper, we present a general architecture and a new retrieval method for an educational system that is based on a knowledge base of existing recorded lectures. The extracti...
Stephan Repp, Christoph Meinel
KBSE
2009
IEEE
15 years 11 months ago
Automatically Recommending Triage Decisions for Pragmatic Reuse Tasks
—Planning a complex software modification task imposes a high cognitive burden on developers, who must juggle navigating the software, understanding what they see with respect t...
Reid Holmes, Tristan Ratchford, Martin P. Robillar...
STEP
2005
IEEE
15 years 10 months ago
Tool Support for Continuous Quality Assessment
Maintenance costs make up the bulk of the total life cycle costs of a software system. Besides organizational issues such as knowledge management and turnover, the longterm mainte...
Florian Deissenboeck, Markus Pizka, Tilman Seifert