Peter B. Henderson

Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 38(2): 9-10 (2013)

Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 37(1): 10-11 (2012)

Mark A. Ardis, Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 37(2): 8-10 (2012)

Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 37(3): 8-9 (2012)

Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd): is software engineering ready for MOOCs? ACM SIGSOFT Software Engineering Notes 37(5): 14 (2012)

Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 37(6): 8-9 (2012)

Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 36(1): 6-7 (2011)

Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 36(2): 8-9 (2011)

Mark A. Ardis, Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 36(3): 7-8 (2011)

Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 36(4): 6-7 (2011)

Mark A. Ardis, Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 36(6): 7-8 (2011)

Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 35(1): 4-5 (2010)

Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 35(4): 6-7 (2010)

Mark A. Ardis, Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 35(6): 7-8 (2010)

Peter B. Henderson: Ubiquitous Computational Thinking. IEEE Computer 42(10): 100-102 (2009)

Peter B. Henderson: Math CountS: SIGCSE 2009 and CS unplugged. SIGCSE Bulletin 41(2): 81-82 (2009)

Peter B. Henderson: Math counts: Arguments, proofs, and ... SIGCSE Bulletin 41(4): 21-22 (2009)

Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 34(2): 3-4 (2009)

Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 34(3): 4-5 (2009)

Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 34(4): 8 (2009)

Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 34(5): 7 (2009)

Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 34(6): 5-8 (2009)

Peter B. Henderson: Abstraction, model checking and software correctness. SIGCSE Bulletin 40(2): 23-24 (2008)

Peter B. Henderson: Math counts: software correctness and a SIGCSE 2008 BoF. SIGCSE Bulletin 40(4): 27-28 (2008)

Peter B. Henderson: Software Engineering Education: SEEd. ACM SIGSOFT Software Engineering Notes 11(1) (2008)

Peter B. Henderson: Software Engineering Education: SEEd. ACM SIGSOFT Software Engineering Notes 33(2): 6 (2008)

Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 33(3): 5 (2008)

Peter B. Henderson: Reflections on teaching discrete math for the first time. SIGCSE Bulletin 39(2): 24 (2007)

Peter B. Henderson: Pre-college math concepts vs. skills. SIGCSE Bulletin 39(4): 26-28 (2007)

Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 32(1): 4 (2007)

Peter B. Henderson: Software engineering education: (SEEd). ACM SIGSOFT Software Engineering Notes 32(3): 6-7 (2007)

Peter B. Henderson: Software engineering education: (SEEd). ACM SIGSOFT Software Engineering Notes 32(5): 6 (2007)

Peter B. Henderson, Thomas J. Cortina, Jeannette M. Wing: Computational thinking. SIGCSE 2007: 195-196

Peter B. Henderson: The Josephus Flavius' problem. SIGCSE Bulletin 38(2): 17-20 (2006)

Peter B. Henderson, Rachelle DeCoste, Kevin L. Huggins: Preparing to teach discrete math for the first time. SIGCSE Bulletin 38(4): 20-21 (2006)

Vicki L. Almstrum, Peter B. Henderson, Valerie J. Harvey, Cinda Heeren, William A. Marion, Charles Riedesel, Leen-Kiat Soh, Allison Elliott Tew: Concept inventories in computer science for the topic discrete mathematics. SIGCSE Bulletin 38(4): 132-145 (2006)

Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 31(2): 3 (2006)

Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 31(3): 5 (2006)

Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 31(4): 8 (2006)

Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 31(6): 9 (2006)

Peter B. Henderson: The Role of Mathematics in Computer Science and Software Engineering Education. Advances in Computers 65: 350-396 (2005)

Peter B. Henderson: Mathematics in the curricula. SIGCSE Bulletin 37(2): 20-22 (2005)

Peter B. Henderson: One-minute column. SIGCSE Bulletin 37(4): 24-26 (2005)

Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 30(1): 8-9 (2005)

Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 30(2): 3 (2005)

Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 30(4): 6 (2005)

Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 30(6): 3-4 (2005)

Wing Huen, Ernest Ferguson, Peter B. Henderson, Clifton Kussmaul: IT offshore outsourcing: impact on CS/IS curriculum. SIGCSE 2005: 258-259

Peter B. Henderson: Modeling mania. SIGCSE Bulletin 36(2): 23-24 (2004)

Peter B. Henderson: Penny piles. SIGCSE Bulletin 36(4): 22-24 (2004)

Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 29(2): 6-8 (2004)

Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 29(3): 5-6 (2004)

Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 29(5): 12-13 (2004)

Peter B. Henderson: Mathematical reasoning in software engineering education. Commun. ACM 46(9): 45-50 (2003)

Peter B. Henderson: Inductive reasoning. SIGCSE Bulletin 35(2): 27-29 (2003)

Peter B. Henderson, Lewis E. Hitchner, Jane Fritz, Bill Marion, Christelle Scharff, John Hamer, Charles Riedesel: Materials development in support of mathematical thinking. SIGCSE Bulletin 35(2): 185-190 (2003)

Peter B. Henderson: More on inductive reasoning. SIGCSE Bulletin 35(4): 23-25 (2003)

Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 28(2): 10-12 (2003)

Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 28(3): 11-12 (2003)

Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 28(4): 3-5 (2003)

Peter B. Henderson, William Barker, Susanna S. Epp, William A. Marion: Math educators, computer science educators: working together. SIGCSE 2003: 236-237

Peter B. Henderson: ISSAC: Indiana student software awards competition. SIGCSE 2003: 332-335

Peter B. Henderson: Making math interesting. SIGCSE Bulletin 34(4): 26-28 (2002)

Doug Baldwin, Peter B. Henderson: The Importance of Mathematics to the Software Practitioner. IEEE Software 19(2): 110-112 (2002)

Bruce S. Elenbogen, John E. Laird, Richard J. Enbody, Chris McDonald, Peter B. Henderson, Richard Nau, Steven L. Tanimoto: Mathematics preparation for undergraduate degrees in computer science. SIGCSE 2002: 98-99

Peter B. Henderson, Paul De Palma, Vicki L. Almstrum, Orit Hazzan, Kim Potter Kihlstrom: Women, mathematics and computer science. SIGCSE 2002: 131-132

Peter B. Henderson, Doug Baldwin, Venu Dasigi, Marcel Dupras, Jane Fritz, David Ginat, Don Goelman, John Hamer, Lewis E. Hitchner, Will Lloyd, Bill Marion, Charles Riedesel, Henry MacKay Walker: Striving for mathematical thinking. SIGCSE Bulletin 33(4): 114-124 (2001)

Samuel A. Rebelsky, Peter B. Henderson, Amruth N. Kumar, Frederick N. Springsteel: Why I do declare!: declarative programming in the undergraduate curriculum. SIGCSE 2001: 398-399

Judith L. Gersting, Peter B. Henderson, Philip Machanick, Yale N. Patt: Programming early considered harmful. SIGCSE 2001: 402-403

Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson: Teaching Formal Methods Early in the Software Engineering Curriculum (panel). CSEE&T 2000: 55-

D. S. Tomer, Doug Baldwin, Carl H. Smith, Peter B. Henderson, Venu Vadisigi: CS1 and CS2 (panel session): foundations of computer science and discrete mathematics. SIGCSE 2000: 397-398

Neil Berrington, David De Roure, R. Mark Greenwood, Peter B. Henderson: Distribution and Change: Investigating Two Challenges for Process Enactment Systems. EWSPT 1994: 152-162

Peter B. Henderson: Discrete mathematics as a precursor to programming. SIGCSE 1990: 17-21

Peter B. Henderson, Francisco J. Romero: Teaching recursion as a problem-solving tool using standard ML. SIGCSE 1989: 27-31

Peter B. Henderson (Ed.): Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Boston, Massachusetts, USA, November 28-30, 1988. ACM 1989, isbn 0-89791-290-X

Cydney Minkowitz, Peter B. Henderson: A Formal Description of Object-Oriented Programming Using VDM. VDM Europe 1987: 237-259

Peter B. Henderson: Functional Programming, Formal Specification, and Rapid Prototyping. IEEE Trans. Software Eng. 12(2): 241-250 (1986)

Peter B. Henderson: Data-Oriented Incremental Programming Environments. Advanced Programming Environments 1986: 13-25

Peter B. Henderson: Anatomy of an introductory computer science course. SIGCSE 1986: 257-264

Peter B. Henderson (Ed.): SESPSDE'86: ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, CA, USA, December 9-11, 1986. ACM 1986, isbn 0-89791-212-8

Peter B. Henderson, Mark Weiser: Continous Execution: The VisiProg Environment. ICSE 1985: 68-74

William E. Riddle, Peter B. Henderson (Eds.): Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, Pennsylvania, USA, April 23-25, 1984. ACM 1984, isbn 0-89791-131-8

John Keohane, John C. Cherniavsky, Peter B. Henderson: On Transforming Control Structures. SIAM J. Comput. 11(2): 268-286 (1982)

Peter B. Henderson, Roger B. Gimson: Modularization of Large Programs. Softw., Pract. Exper. 11(5): 497-520 (1981)

Peter B. Henderson, Yechezkel Zalcstein: Synchronization Problems Solvable by Generalized PV Systems. J. ACM 27(1): 60-71 (1980)

John C. Cherniavsky, John Keohane, Peter B. Henderson: A Note Concerning Top Down Program Development and Restricted Exit Control Structures. Inf. Process. Lett. 9(1): 8-12 (1979)

Peter B. Henderson, Yechezkel Zalcstein: A Graph-Theoretic Characterization of the PV_chunk Class of Synchronizing Primitives. SIAM J. Comput. 6(1): 88-108 (1977)

Peter B. Henderson, Yechezkel Zalcstein: Characterization of the Synchronization Languages for PV Systems. FOCS 1976: 9-18