Sciweavers

1288 search results - page 1 / 258
» Integrating formal models into the programming languages cou...
Sort
View
SIGCSE
2002
ACM
142views Education» more  SIGCSE 2002»
13 years 4 months ago
Integrating formal models into the programming languages course
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
Allen B. Tucker, Robert E. Noonan
ACMSE
2007
ACM
13 years 9 months ago
Integrating BlackBerry wireless devices into computer programming and literacy courses
In this paper we describe our experience in integrating the RIM's BlackBerry handheld wireless device into programming and literacy courses at the University of Guelph and th...
Qusay H. Mahmoud, Allan Dyer
JITE
2006
72views more  JITE 2006»
13 years 5 months ago
A Formal Language Selection Process for Introductory Programming Courses
Kevin R. Parker, Joseph T. Chao, Thomas A. Ottaway...
IFIP
2010
Springer
12 years 12 months ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi
SIGCSE
2005
ACM
163views Education» more  SIGCSE 2005»
13 years 10 months ago
Using SeSFJava in teaching introductory network courses
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
Tamer Elsharnouby, A. Udaya Shankar