default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGCSE Bulletin, Volume 41
Volume 41, Number 1, March 2009
- Sue Fitzgerald, Mark Guzdial, Gary Lewandowski, Steven A. Wolfman:
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
- T. S. E. Maibaum:
Formal methods versus engineering. 6-12
- 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
- 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
- Juan M. Gutiérrez Cárdenas, Ian Douglas Sanders:
Computer science education in Peru: a new kind of monster? 86-89 - Jesús Ibáñez Mártinez-Conde, Ana Sánchez Ortega:
Constructive reduction: understanding uncomputability through programming. 90-94 - Seth Bergmann:
Degenerate keys for RSA encryption. 95-98 - Matthew Nicolas Kreeger:
Security testing: mind the knowledge gap. 99-102 - Sujata Garera, Jorge Vasconcelos:
Challenges in teaching a graduate course in applied cryptography. 103-107 - Carol Edmondson:
Proglets for first-year programming in Java. 108-112 - Stephen Schaub:
Teaching CS1 with web applications and test-driven development. 113-117 - Abdul Sattar, Torben Lorenzen:
Teach Alice programming to non-majors. 118-121 - Jeffrey A. Stone, Darcy L. Medica, Leah Ann Fetsko:
Experiences with a CS1 for the health sciences. 122-126 - Timothy J. Rolfe:
The assignment problem: exploring parallelism. 127-131 - Yiu-chi Lai, Tak-wah Wong:
Developing creativity in computer lessons. 132-135 - John Santore, Torben Lorenzen:
Use writing class techniques to create software design documents. 136-137 - Philip W. L. Fong:
Reading a computer science research paper. 138-140
- Michal Armoni, Mordechai Ben-Ari:
The concept of nondeterminism: its development and implications for teaching. 141-160
Volume 41, Number 3, September 2009
- Patrick Brézillon, Ingrid Russell, Jean-Marc Labat:
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
- 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
- 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 E. 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 Jane 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 William 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
- Stephen Cooper, Christine Nickell, Victor P. Piotrowski Jr., Brenda Oldfield, Ali E. Abdallah, Matt Bishop, Bill Caelli, Melissa Dark, Elizabeth K. Hawthorne, Lance J. Hoffman, Lance C. Pérez, Charles P. 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, 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 Jr., 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-20 19:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
