Sciweavers

3667 search results - page 184 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
124
Voted
PLDI
2003
ACM
15 years 8 months ago
A static analyzer for large safety-critical software
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
Bruno Blanchet, Patrick Cousot, Radhia Cousot, J&e...
CE
2004
128views more  CE 2004»
15 years 3 months ago
The role of educational software as a support for teaching and learning conversations
: Much recent educational research focuses on teaching and learning within classroom conversations. This raises the question of the role of ICT as a support for such conversations....
Rupert Wegerif
142
Voted
BMCBI
2004
174views more  BMCBI 2004»
15 years 3 months ago
SeeGH - A software tool for visualization of whole genome array comparative genomic hybridization data
Background: Array comparative genomic hybridization (CGH) is a technique which detects copy number differences in DNA segments. Complete sequencing of the human genome and the dev...
Bryan Chi, Ronald J. deLeeuw, Bradley P. Coe, Calu...
130
Voted
IWPC
2003
IEEE
15 years 8 months ago
Observing and Measuring Cognitive Support: Steps Toward Systematic Tool Evaluation and Engineering
A key desideratum for many software comprehension tools is to reduce the mental burdens of software engineers. That is, the tools should support cognition. This key benefit is di...
Andrew Walenstein
130
Voted
HICSS
2008
IEEE
145views Biometrics» more  HICSS 2008»
15 years 10 months ago
Leadership Roles and Communication Issues in Partially Distributed Emergency Response Software Development Teams: A Pilot Study
Emergencies often require interorganizational and/or international coordination for effective planning and response. Therefore, planning and response teams are often configured as...
Linda Plotnick, Rosalie J. Ocker, Starr Roxanne Hi...