Sciweavers

320 search results - page 35 / 64
» End-User Software Engineering Position Paper
Sort
View
FOSSACS
2000
Springer
13 years 11 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
13 years 11 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
14 years 7 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
14 years 2 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
14 years 1 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