636 search results - page 7 / 128 » Computational Engineering and Science Program at the Univers... |
SIGCSE
2010
ACM
14 years 1 months ago
2010
ACM
While the discipline of computing has evolved significantly in the past 30 years, Computer Science curricula have not as readily adapted to these changes. In response, we have rec...
SIGCSE
2010
ACM
14 years 2 months ago
2010
ACM
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...
EMSOFT
2011
Springer
12 years 7 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
SIGCSE
2009
ACM
14 years 8 months ago
2009
ACM
This special session examines frameworks for the preparation of high school computer science (CS) teachers from the Israeli perspective. Specifically, several Israeli CS teacher p...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...