Sciweavers

1943 search results - page 41 / 389
» Software and higher education
Sort
View
POPL
2010
ACM
14 years 5 months ago
Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno
SIGCSE
2006
ACM
130views Education» more  SIGCSE 2006»
14 years 1 months ago
Can graduating students design software systems?
This paper examines software designs produced by students nearing completion of their Computer Science degrees. The results of this multi-national, multi-institutional experiment ...
Anna Eckerdal, Robert McCartney, Jan Erik Mostr&ou...
CORR
2007
Springer
88views Education» more  CORR 2007»
13 years 7 months ago
A software for learning Information Theory basics with emphasis on Entropy of Spanish
In this paper, an educational software aimed to help learning Information Theory basics in a practical way is reported. The software, called IT-tutor-UV, can produce entropy analy...
Fabio G. Guerrero, Lucio A. Perez
TSE
2012
11 years 10 months ago
Does Software Process Improvement Reduce the Severity of Defects? A Longitudinal Field Study
— As firms increasingly rely on information systems to perform critical functions the consequences of software defects can be catastrophic. Although the software engineering lite...
Donald E. Harter, Chris F. Kemerer, Sandra Slaught...
SIGCSE
2009
ACM
127views Education» more  SIGCSE 2009»
14 years 8 days ago
Acm education board and masters level programs
This special session will proved information about the status of work related to Masters programs in Computing. Specifically, the session will describe work completed in the follo...
Gordon Davies, Lillian N. Cassel, Arthur B. Pyster...