Volume 41, Number 1, March 2009
Sue Fitzgerald, Mark Guzdial, Gary Lewandowski, Steven A. Wolfman (Eds.):
Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2009, Chattanooga, TN, USA, March 4-7, 2009.
ACM 2009, ISBN 978-1-60558-183-5
Contents 
Volume 41, Number 2, June 2009
Invited editorial
Special section on formal methods education and training -- formally reviewed papers
- Shaoying Liu, Kazuhiro Takahashi, Toshinori Hayashi, Toshihiro Nakayama:
Teaching formal methods in the context of software engineering.
17-23
- Raymond T. Boute:
Teaching and practicing computer science at the university level.
24-30
- Javier Blanco, Leticia Losano, Nazareno Aguirre, María Marta Novaira, Sonia Permigiani, Gastón Scilingo:
An introductory course on programming based on formal specification and program calculation.
31-37
- Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden:
Evolution of a course on model checking for practical applications.
38-44
- Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno:
Model checking education for software engineers in Japan.
45-50
- Dominique Méry:
A simple refinement-based method for constructing algorithms.
51-59
- Jim Davies, Jeremy Gibbons:
Formal methods for future interoperability.
60-64
Featured columns
- Don Gotterbarn:
Thinking professionally: professional computer ethics: "i didn't do it" is not good enough.
65-66
- C. Dianne Martin:
Taking the high road: ethics on the run: the principle of the ordinary person.
66-67
- Deepak Kumar:
Reflections: rebuilding history... again!
67-69
- Tony Clear:
Thinking ISsues: the three p's of capstone project performance.
69-70
- Heikki Topi:
IS education: accreditation of degree programs in information systems.
70-71
- Raymond Lister:
CS research: rules for sustaining the discourse -- engage!
72-74
- Henry MacKay Walker:
Classroom issues: course descriptions and public relations for computer science.
74-75
- Elizabeth K. Hawthorne:
Community college corner: exploring CAP-space: the next frontier in curricula, assessment and pedagogy.
76-77
- Judith Gal-Ezer:
Distance education: different models of course development: from traditional distance education to technology-based education.
77-78
- A. Joe Turner:
IFIP vibes: the seoul accord.
78-79
- Lisa C. Kaczmarczyk:
Percolations: get a clue: ditch the manual and take the users' cues.
79-80
- Owen L. Astrachan:
Out-of-the-box: cogito ergo hack.
80-81
- Peter B. Henderson:
Math CountS: SIGCSE 2009 and CS unplugged.
81-82
- David Ginat:
Colorful Challenges: chips game.
82-83
- Nick Parlante:
Nifty Assignments: too much inheritance.
83-84
Reviewed papers
Reprint
Volume 41, Number 3, September 2009
Patrick Brézillon, Ingrid Russell, Jean-Marc Labat (Eds.):
Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2009, Paris, France, July 6-9, 2009.
ACM 2009, ISBN 978-1-60558-381-5
Contents
Volume 41, Number 4, December 2009
Featured columns
- Don Gotterbarn:
Thinking professionally: When soon after is way too late: the deception of 'opt-out' systems.
6-8
- Deepak Kumar:
Reflections: Back to the future 100?
8-9
- Tony Clear:
Thinking issues: Strategies for answering examination questions: how do novice programmers build a theory of the program?
9-12
- Heikki Topi:
IS Education: The role of IS in computing education.
12-13
- Raymond Lister:
CS Research: Book burning, naturally occurring data, and the stages of pedagogic grief.
13-14
- Henry MacKay Walker:
Classroom issues: Grading and the allocation of points.
14-16
- Elizabeth K. Hawthorne:
Community college corner: Upcoming computing education summit for community colleges.
16-17
- Marian Petre:
Distance education: What our children can teach us about distance learning and learning programming.
17-18
- Lisa C. Kaczmarczyk:
Percolations: Mind alterations: the IDE and their conceptual development.
19-20
- Jeffrey Popyack:
Upsilon pi epsilon: New happenings.
20-21
- Peter B. Henderson:
Math counts: Arguments, proofs, and ...
21-22
- David Ginat:
Colorful challenges: The lengthy 0-1.
22-23
Reviewed papers
- Feng-Jen Yang:
Stopping a myth in artificial neural networks.
25-29
- William Mahoney, Jay Pedersen:
Teaching compiler code generation: simpler is better.
30-34
- David Ginat:
On the non-modular design of on-the-fly computations.
35-39
- Tom Goulding:
An encryption system in assembly language: a game-like project for novice programmers.
40-44
- Douglas Ensley:
A hands-on approach to proof and abstraction.
45-47
- Nelishia Pillay:
Learning difficulties experienced by students in a course on formal languages and automata theory.
48-52
- S. Maniccam:
Sorting and searching using lisp, functional programming, and recursion.
53-56
- Steven Minsker:
The classical/linear Hanoi hybrid problem: regular configurations.
57-61
- Stephen Cummins, Liz Burd, Andrew Hatch:
Tag based feedback for programming courses.
62-65
- Nicola Ritter, Tanya J. McGill, Nik Thompson:
Incremental submission of programming code using object-oriented classes.
66-70
- Alan G. Labouseur:
A browser-based operating systems project: JavaScript adventures in dinosaur slaying.
71-75
- Walter W. Milner:
A broken metaphor in Java.
76-77
- Timothy J. Rolfe:
The assignment problem: further exploring parallelism.
78-81
- John Santore, Torben Lorenzen, Robert Creed, David Murphy, Roger Orcutt:
The software engineering class builds a GUI for subversion.
82-84
- Grace Ngai, Winnie W. Y. Lau, Stephen C. F. Chan, Hong Va Leong:
On the implementation of self-assessment in an introductory programming course.
85-89
- James K. Huggins:
Engaging computer science students through cooperative education.
90-94
- Miguel-Ángel Sicilia:
How should transversal competence be introduced In computing education?
95-98
ITiCSE 2009 working group reports
- Stephen Cooper, Christine Nickell, Victor P. Piotrowski Jr., Brenda Oldfield, Ali Abdallah, Matt Bishop, Bill Caelli, Melissa Dark, Elizabeth K. Hawthorne, Lance J. Hoffman, Lance C. Pérez, Charles Pfleeger, Richard A. Raines, Corey D. Schou, Joel Brynielsson:
An exploration of the current state of information assurance education.
109-125
- Jürgen Börstler, Mark S. Hall, Marie Nordström, James H. Paterson, Kate Sanders, Carsten Schulte, Lynda Thomas:
An evaluation of object oriented example programs in introductory programming textbooks.
126-143
- Samuel Mann, Logan Muller, Janet Davis, Claudia Roda, Alison Young:
Computing and sustainability: evaluating resources for educators.
144-155
- Raymond Lister, Tony Clear, Beth Simon, Dennis J. Bouvier, Paul Carter, Anna Eckerdal, Jana Jacková, Mike Lopez, Robert McCartney, Phil Robbins, Otto Seppälä, Errol Thompson:
Naturally occurring data as research instrument: analyzing examination responses to study the novice programmer.
156-173
- Ursula Fuller, Joyce Currie Little, Bob Keim, Charles Riedesel, Diana Fitch, Su White:
Perspectives on developing and assessing professional values in computing.
174-194
- Charles L. Isbell, Lynn Andrea Stein, Robb Cutler, Jeffrey Forbes, Linda Fraser, John Impagliazzo, Viera K. Proulx, Steve Russ, Richard Thomas, Yan Xu:
(Re)defining computing curricula by (re)defining computing.
195-207
Last update Wed May 22 18:18:39 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
