Sciweavers

2613 search results - page 214 / 523
» Active Software Artifacts
Sort
View
ISSRE
2003
IEEE
15 years 11 months ago
Anomalies as Precursors of Field Failures
Reproducing and learning from failures in deployed software is costly and difficult. Those activities can be facilitated, however, if the circumstances leading to a failure are p...
Sebastian G. Elbaum, Satya Kanduri, Anneliese Amsc...
ICSE
2000
IEEE-ACM
15 years 10 months ago
Formal specification: a roadmap
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...
Axel van Lamsweerde
ICSE
2011
IEEE-ACM
14 years 10 months ago
Mental models and parallel program maintenance
Parallel programs are difficult to write, test, and debug. This thesis explores how programmers build mental models about parallel programs, and demonstrates, through user evaluat...
Caitlin Sadowski
ICSE
2012
IEEE-ACM
13 years 9 months ago
What make long term contributors: Willingness and opportunity in OSS community
—To survive and succeed, software projects need to attract and retain contributors. We model the individual’s chances to become a valuable contributor through her capacity, wil...
Minghui Zhou, Audris Mockus
MICCAI
2003
Springer
16 years 7 months ago
Displacement Correction Scheme for MR-Guided Interstitial Laser Therapy
Abstract. MR guided interstitial laser therapy can be used to monitor the extent of tumor tissue coagulation during thermal treatment based on a temperature map. In a non-stationar...
S. Suprijanto, M. W. Vogel, Frans Vos, Henri A. Vr...