Sciweavers

218 search results - page 36 / 44
» Teaching Evidence-Based Software Engineering to University S...
Sort
View
96
Voted
ACE
2004
221views Education» more  ACE 2004»
15 years 1 months ago
Personal Software Process in the Database Course
This paper describes the integration of the Personal Software Process (PSP) into an introductory database course in an MIS curriculum. PSP is a highly disciplined, process-based a...
William I. Bullers Jr.
ICASSP
2009
IEEE
15 years 7 months ago
Small-group learning projects to make signal processing more appealing: From speech processing to OFDMA synchronization
Whereas lecturing is the most widely used mode of instruction, we have explored small-group learning projects to make signal processing more appealing at the University and in Eng...
G. Ferre, Audrey Giremus, Eric Grivel
74
Voted
KBSE
1999
IEEE
15 years 4 months ago
An ML Editor Based on Proofs-As-Programs
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
Jon Whittle, Alan Bundy, Richard J. Boulton, Helen...
93
Voted
FM
2008
Springer
135views Formal Methods» more  FM 2008»
15 years 1 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman
89
Voted
ITICSE
2004
ACM
15 years 5 months ago
Design and evolution of an undergraduate course on web application development
Web technologies have become essential in the computing curricula. However, teaching a Web development course to computing students is challenging because of large bodies of knowl...
Kwok-Bun Yue, Wei Ding 0003