Sciweavers

1952 search results - page 127 / 391
» Integrating Pair Programming into a Software Development Pro...
Sort
View
VL
2006
IEEE
16 years 10 days ago
Using Visual Momentum to Explain Disorientation in the Eclipse IDE
We report on a field study about how software developers experience disorientation when using the Eclipse Java integrated development environment. We analyzed the data using the ...
Brian de Alwis, Gail C. Murphy
SIGSOFT
2010
ACM
15 years 4 months ago
Basset: a tool for systematic testing of actor programs
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
Steven Lauterburg, Rajesh K. Karmani, Darko Marino...
KBSE
2005
IEEE
15 years 12 months ago
A threat-driven approach to modeling and verifying secure software
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
Dianxiang Xu, Kendall E. Nygard
MICCAI
2000
Springer
15 years 10 months ago
Needs Assessment for Computer-Integrated Surgery Systems
The needs of surgeons for computer-assisted systems cannot be satisfied unless their requirements and expectations are known. We determined surgeons' needs for computer-aided ...
Sarah Graham, Russell H. Taylor, Michael W. Vannie...
ENTCS
2006
176views more  ENTCS 2006»
15 years 6 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...