
The Library
Interactive situation models for program comprehension
Tools
Beynon, Meurig and Sun, Pi-Hwa (1998) Interactive situation models for program comprehension. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-352.pdf - Other - Requires a PDF viewer. Download (1879Kb) | Preview |
Abstract
The complexity of the interactions between programmable components and human agents in modern computing applications motivates new approaches to program comprehension. Understanding the role of programs within a reactive system, for instance, involves not only input-output transformations, but also communication and stimulus-response issues. This paper examines the prospects for constructing novel computer-based interactive situation models to assist program comprehension. Such a model provides an environment within which the human interpreter can explore the data relationships and patterns of behaviour generated by a computer program with particular reference to its external real-world semantics. The proposed method of construction exploits principles based upon observation, agency and dependency ("Empirical Modelling") that have been developed at the University of Warwick. Connections between these principles and previous work on program comprehension are discussed. Some experimental studies in applying interactive situation models are reviewed, and conclusions about their potential future role in program comprehension and generation are drawn.
Item Type: | Report | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Library of Congress Subject Headings (LCSH): | Computer systems -- Simulation methods | ||||
Series Name: | Department of Computer Science research report | ||||
Publisher: | University of Warwick. Department of Computer Science | ||||
Official Date: | October 1998 | ||||
Dates: |
|
||||
Number: | Number 352 | ||||
Number of Pages: | 13 | ||||
DOI: | CS-RR-352 | ||||
Institution: | University of Warwick | ||||
Theses Department: | Department of Computer Science | ||||
Status: | Not Peer Reviewed | ||||
Publication Status: | Unpublished | ||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year