Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Peter B. Henderson
2010 – today
- 2013
[j68]Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 38(2): 9-10 (2013)- [j67]Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 38(3): 5-6 (2013)
- 2012
- [j66]Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 37(1): 10-11 (2012)
- [j65]Mark A. Ardis, Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 37(2): 8-10 (2012)
- [j64]Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 37(3): 8-9 (2012)
- [j63]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)
- [j62]Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 37(6): 8-9 (2012)
- 2011
- [j61]Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 36(1): 6-7 (2011)
- [j60]Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 36(2): 8-9 (2011)
- [j59]Mark A. Ardis, Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 36(3): 7-8 (2011)
- [j58]Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 36(4): 6-7 (2011)
- [j57]Mark A. Ardis, Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 36(6): 7-8 (2011)
- 2010
- [j56]Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 35(1): 4-5 (2010)
- [j55]Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 35(4): 6-7 (2010)
- [j54]Mark A. Ardis, Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 35(6): 7-8 (2010)
2000 – 2009
- 2009
- [j53]
- [j52]
- [j51]
- [j50]Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 34(2): 3-4 (2009)
- [j49]Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 34(3): 4-5 (2009)
- [j48]Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 34(4): 8 (2009)
- [j47]Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 34(5): 7 (2009)
- [j46]Mark A. Ardis, Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 34(6): 5-8 (2009)
- 2008
- [j45]Peter B. Henderson: Abstraction, model checking and software correctness. SIGCSE Bulletin 40(2): 23-24 (2008)
- [j44]Peter B. Henderson: Math counts: software correctness and a SIGCSE 2008 BoF. SIGCSE Bulletin 40(4): 27-28 (2008)
- [j43]Peter B. Henderson: Software Engineering Education: SEEd. ACM SIGSOFT Software Engineering Notes 11(1) (2008)
- [j42]Peter B. Henderson: Software Engineering Education: SEEd. ACM SIGSOFT Software Engineering Notes 33(2): 6 (2008)
- [j41]Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 33(3): 5 (2008)
- 2007
- [j40]Peter B. Henderson: Reflections on teaching discrete math for the first time. SIGCSE Bulletin 39(2): 24 (2007)
- [j39]
- [j38]Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 32(1): 4 (2007)
- [j37]Peter B. Henderson: Software engineering education: (SEEd). ACM SIGSOFT Software Engineering Notes 32(3): 6-7 (2007)
- [j36]Peter B. Henderson: Software engineering education: (SEEd). ACM SIGSOFT Software Engineering Notes 32(5): 6 (2007)
- [c18]Peter B. Henderson, Thomas J. Cortina, Jeannette M. Wing: Computational thinking. SIGCSE 2007: 195-196
- 2006
- [j35]
- [j34]Peter B. Henderson, Rachelle DeCoste, Kevin L. Huggins: Preparing to teach discrete math for the first time. SIGCSE Bulletin 38(4): 20-21 (2006)
- [j33]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)
- [j32]Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 31(2): 3 (2006)
- [j31]Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 31(3): 5 (2006)
- [j30]Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 31(4): 8 (2006)
- [j29]Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 31(6): 9 (2006)
- 2005
- [j28]Peter B. Henderson: The Role of Mathematics in Computer Science and Software Engineering Education. Advances in Computers 65: 350-396 (2005)
- [j27]
- [j26]
- [j25]Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 30(1): 8-9 (2005)
- [j24]Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 30(2): 3 (2005)
- [j23]Peter B. Henderson: Software Engineering Education (SEEd). ACM SIGSOFT Software Engineering Notes 30(4): 6 (2005)
- [j22]Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 30(6): 3-4 (2005)
- [c17]Wing Huen, Ernest Ferguson, Peter B. Henderson, Clifton Kussmaul: IT offshore outsourcing: impact on CS/IS curriculum. SIGCSE 2005: 258-259
- 2004
- [j21]
- [j20]
- [j19]Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 29(2): 6-8 (2004)
- [j18]Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 29(3): 5-6 (2004)
- [j17]Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 29(5): 12-13 (2004)
- 2003
- [j16]Peter B. Henderson: Mathematical reasoning in software engineering education. Commun. ACM 46(9): 45-50 (2003)
- [j15]
- [j14]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)
- [j13]
- [j12]Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 28(2): 10-12 (2003)
- [j11]Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 28(3): 11-12 (2003)
- [j10]Peter B. Henderson: Software engineering education (SEEd). ACM SIGSOFT Software Engineering Notes 28(4): 3-5 (2003)
- [c16]Peter B. Henderson, William Barker, Susanna S. Epp, William A. Marion: Math educators, computer science educators: working together. SIGCSE 2003: 236-237
- [c15]
- 2002
- [j9]
- [j8]Doug Baldwin, Peter B. Henderson: The Importance of Mathematics to the Software Practitioner. IEEE Software 19(2): 110-112 (2002)
- [c14]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
- [c13]Peter B. Henderson, Paul De Palma, Vicki L. Almstrum, Orit Hazzan, Kim Potter Kihlstrom: Women, mathematics and computer science. SIGCSE 2002: 131-132
- 2001
- [j7]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)
- [c12]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
- [c11]Judith L. Gersting, Peter B. Henderson, Philip Machanick, Yale N. Patt: Programming early considered harmful. SIGCSE 2001: 402-403
- 2000
- [c10]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-
- [c9]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
1990 – 1999
- 1994
- [c8]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
- 1990
- [c7]
1980 – 1989
- 1989
- [c6]Peter B. Henderson, Francisco J. Romero: Teaching recursion as a problem-solving tool using standard ML. SIGCSE 1989: 27-31
- [e3]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
- 1987
- [c5]Cydney Minkowitz, Peter B. Henderson: A Formal Description of Object-Oriented Programming Using VDM. VDM Europe 1987: 237-259
- 1986
- [j6]Peter B. Henderson: Functional Programming, Formal Specification, and Rapid Prototyping. IEEE Trans. Software Eng. 12(2): 241-250 (1986)
- [c4]Peter B. Henderson: Data-Oriented Incremental Programming Environments. Advanced Programming Environments 1986: 13-25
- [c3]
- [e2]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
- 1985
- [c2]
- 1984
- [e1]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
- 1982
- [j5]John Keohane, John C. Cherniavsky, Peter B. Henderson: On Transforming Control Structures. SIAM J. Comput. 11(2): 268-286 (1982)
- 1981
- [j4]Peter B. Henderson, Roger B. Gimson: Modularization of Large Programs. Softw., Pract. Exper. 11(5): 497-520 (1981)
- 1980
- [j3]Peter B. Henderson, Yechezkel Zalcstein: Synchronization Problems Solvable by Generalized PV Systems. J. ACM 27(1): 60-71 (1980)
1970 – 1979
- 1979
- [j2]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)
- 1977
- [j1]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)
- 1976
- [c1]Peter B. Henderson, Yechezkel Zalcstein: Characterization of the Synchronization Languages for PV Systems. FOCS 1976: 9-18
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-06 02:00 CEST by the dblp team