Sciweavers

6274 search results - page 115 / 1255
» Proofs, Programs, Processes
Sort
View
ISSTA
2000
ACM
15 years 7 months ago
Classification schemes to aid in the analysis of real-time systems
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
Paul Z. Kolano, Richard A. Kemmerer
89
Voted
ETRA
2006
ACM
92views Biometrics» more  ETRA 2006»
15 years 8 months ago
An eye-tracking methodology for characterizing program comprehension processes
Roman Bednarik, Markku Tukiainen
SIGCSE
2005
ACM
114views Education» more  SIGCSE 2005»
15 years 8 months ago
Revealing the programming process
Jens Bennedsen, Michael E. Caspersen