Sciweavers

3667 search results - page 184 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
PLDI
2003
ACM
15 years 11 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 6 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
BMCBI
2004
174views more  BMCBI 2004»
15 years 6 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...
IWPC
2003
IEEE
15 years 11 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
HICSS
2008
IEEE
145views Biometrics» more  HICSS 2008»
16 years 25 days 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...