Sciweavers

2777 search results - page 421 / 556
» Understanding ontological engineering
Sort
View
127
Voted
KBSE
2005
IEEE
15 years 10 months ago
Automated path generation for software fault localization
Localizing the cause(s) of an observable error lies at the heart of program debugging. Fault localization often proceeds by comparing the failing program run with some “successf...
Tao Wang, Abhik Roychoudhury
131
Voted
SEFM
2005
IEEE
15 years 10 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
139
Voted
VISSOFT
2005
IEEE
15 years 10 months ago
Fractal Figures: Visualizing Development Effort for CVS Entities
Versioning systems such as CVS or Subversion exhibit a large potential to investigate the evolution of software systems. They are used to record the development steps of software ...
Marco D'Ambros, Michele Lanza, Harald Gall
WCRE
2005
IEEE
15 years 10 months ago
Source versus Object Code Extraction for Recovering Software Architecture
The architecture of many large software systems is rarely documented and if documented it is usually out of date. To support developers maintaining and evolving these systems, an ...
Ahmed E. Hassan, Zhen Ming Jiang, Richard C. Holt
ACMSE
2005
ACM
15 years 10 months ago
Image is everything: advancing HCI knowledge and interface design using the system image
As the field of human-computer interaction matures, the need for proven, dependable engineering processes for interface development becomes apparent. Our continuing work in develo...
Jason Chong Lee, Christa M. Chewar, D. Scott McCri...