Sciweavers

4438 search results - page 375 / 888
» The Case for Collaborative Programming
Sort
View
ISSTA
2012
ACM
13 years 9 months ago
Detecting inconsistencies via universal reachability analysis
Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumption...
Aaron Tomb, Cormac Flanagan
SIGSOFT
2001
ACM
16 years 7 months ago
An empirical study on the utility of formal routines to transfer knowledge and experience
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
Reidar Conradi, Tore Dybå
CP
2009
Springer
16 years 7 months ago
Generating Optimal Stowage Plans for Container Vessel Bays
Millions of containers are stowed every week with goods worth billions of dollars, but container vessel stowage is an all but neglected combinatorial optimization problem. In this ...
Alberto Delgado, Christian Schulte, Rune Mø...
CHI
2009
ACM
16 years 7 months ago
Musink: composing music through augmented drawing
We focus on the creative use of paper in the music composition process, particularly the interaction between paper and end-user programming. When expressing musical ideas, compose...
Theophanis Tsandilas, Catherine Letondal, Wendy E....
SIGCSE
2010
ACM
175views Education» more  SIGCSE 2010»
16 years 1 months ago
Compatibility of partnered students in computer science education
This paper details the results of an investigation into the compatibility of partnered computer science students. The study involved approximately 290 students at the University o...
Joshua Sennett, Mark Sherriff