| 2009 |
|---|
| 63 | EE | Peter B. Henderson:
Software engineering education (SEEd).
ACM SIGSOFT Software Engineering Notes 34(2): 3-4 (2009) |
| 2008 |
|---|
| 62 | EE | Peter B. Henderson:
Software Engineering Education: SEEd.
ACM SIGSOFT Software Engineering Notes 11(1): (2008) |
| 61 | EE | Peter B. Henderson:
Software Engineering Education: SEEd.
ACM SIGSOFT Software Engineering Notes 33(2): 6 (2008) |
| 60 | EE | Peter B. Henderson:
Software engineering education (SEEd).
ACM SIGSOFT Software Engineering Notes 33(3): 5 (2008) |
| 59 | EE | Peter B. Henderson:
Abstraction, model checking and software correctness.
SIGCSE Bulletin 40(2): 23-24 (2008) |
| 2007 |
|---|
| 58 | EE | Peter B. Henderson,
Thomas J. Cortina,
Jeannette M. Wing:
Computational thinking.
SIGCSE 2007: 195-196 |
| 57 | EE | Peter B. Henderson:
Software engineering education (SEEd).
ACM SIGSOFT Software Engineering Notes 32(1): 4 (2007) |
| 56 | EE | Peter B. Henderson:
Software engineering education: (SEEd).
ACM SIGSOFT Software Engineering Notes 32(3): 6-7 (2007) |
| 55 | EE | Peter B. Henderson:
Software engineering education: (SEEd).
ACM SIGSOFT Software Engineering Notes 32(5): 6 (2007) |
| 54 | EE | Peter B. Henderson:
Reflections on teaching discrete math for the first time.
SIGCSE Bulletin 39(2): 24 (2007) |
| 53 | EE | Peter B. Henderson:
Pre-college math concepts vs. skills.
SIGCSE Bulletin 39(4): 26-28 (2007) |
| 2006 |
|---|
| 52 | EE | Peter B. Henderson:
Software engineering education (SEEd).
ACM SIGSOFT Software Engineering Notes 31(2): 3 (2006) |
| 51 | EE | Peter B. Henderson:
Software engineering education (SEEd).
ACM SIGSOFT Software Engineering Notes 31(3): 5 (2006) |
| 50 | EE | Peter B. Henderson:
Software engineering education (SEEd).
ACM SIGSOFT Software Engineering Notes 31(4): 8 (2006) |
| 49 | EE | Peter B. Henderson:
Software Engineering Education (SEEd).
ACM SIGSOFT Software Engineering Notes 31(6): 9 (2006) |
| 48 | EE | Peter B. Henderson:
The Josephus Flavius' problem.
SIGCSE Bulletin 38(2): 17-20 (2006) |
| 47 | EE | 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) |
| 46 | EE | Peter B. Henderson,
Rachelle DeCoste,
Kevin L. Huggins:
Preparing to teach discrete math for the first time.
SIGCSE Bulletin 38(4): 20-21 (2006) |
| 2005 |
|---|
| 45 | EE | Wing Huen,
Ernest Ferguson,
Peter B. Henderson,
Clifton Kussmaul:
IT offshore outsourcing: impact on CS/IS curriculum.
SIGCSE 2005: 258-259 |
| 44 | EE | Peter B. Henderson:
Software Engineering Education (SEEd).
ACM SIGSOFT Software Engineering Notes 30(1): 8-9 (2005) |
| 43 | EE | Peter B. Henderson:
Software engineering education (SEEd).
ACM SIGSOFT Software Engineering Notes 30(2): 3 (2005) |
| 42 | EE | Peter B. Henderson:
Software Engineering Education (SEEd).
ACM SIGSOFT Software Engineering Notes 30(4): 6 (2005) |
| 41 | EE | Peter B. Henderson:
Software engineering education (SEEd).
ACM SIGSOFT Software Engineering Notes 30(6): 3-4 (2005) |
| 40 | | Peter B. Henderson:
The Role of Mathematics in Computer Science and Software Engineering Education.
Advances in Computers 65: 350-396 (2005) |
| 39 | EE | Peter B. Henderson:
Mathematics in the curricula.
SIGCSE Bulletin 37(2): 20-22 (2005) |
| 38 | EE | Peter B. Henderson:
One-minute column.
SIGCSE Bulletin 37(4): 24-26 (2005) |
| 2004 |
|---|
| 37 | EE | Peter B. Henderson:
Software engineering education (SEEd).
ACM SIGSOFT Software Engineering Notes 29(2): 6-8 (2004) |
| 36 | EE | Peter B. Henderson:
Software engineering education (SEEd).
ACM SIGSOFT Software Engineering Notes 29(3): 5-6 (2004) |
| 35 | EE | Peter B. Henderson:
Software engineering education (SEEd).
ACM SIGSOFT Software Engineering Notes 29(5): 12-13 (2004) |
| 34 | EE | Peter B. Henderson:
Modeling mania.
SIGCSE Bulletin 36(2): 23-24 (2004) |
| 33 | EE | Peter B. Henderson:
Penny piles.
SIGCSE Bulletin 36(4): 22-24 (2004) |
| 2003 |
|---|
| 32 | EE | Peter B. Henderson,
William Barker,
Susanna Epp,
William A. Marion:
Math educators, computer science educators: working together.
SIGCSE 2003: 236-237 |
| 31 | EE | Peter B. Henderson:
ISSAC: Indiana student software awards competition.
SIGCSE 2003: 332-335 |
| 30 | EE | Peter B. Henderson:
Software engineering education (SEEd).
ACM SIGSOFT Software Engineering Notes 28(2): 10-12 (2003) |
| 29 | EE | Peter B. Henderson:
Software engineering education (SEEd).
ACM SIGSOFT Software Engineering Notes 28(3): 11-12 (2003) |
| 28 | EE | Peter B. Henderson:
Software engineering education (SEEd).
ACM SIGSOFT Software Engineering Notes 28(4): 3-5 (2003) |
| 27 | EE | Peter B. Henderson:
Mathematical reasoning in software engineering education.
Commun. ACM 46(9): 45-50 (2003) |
| 26 | EE | 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) |
| 25 | EE | Peter B. Henderson:
Inductive reasoning.
SIGCSE Bulletin 35(2): 27-29 (2003) |
| 24 | EE | Peter B. Henderson:
More on inductive reasoning.
SIGCSE Bulletin 35(4): 23-25 (2003) |
| 2002 |
|---|
| 23 | EE | Peter B. Henderson,
Paul De Palma,
Vicki L. Almstrum,
Orit Hazzan,
Kim Potter Kihlstrom:
Women, mathematics and computer science.
SIGCSE 2002: 131-132 |
| 22 | EE | 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 |
| 21 | EE | Doug Baldwin,
Peter B. Henderson:
The Importance of Mathematics to the Software Practitioner.
IEEE Software 19(2): 110-112 (2002) |
| 20 | EE | Peter B. Henderson:
Making math interesting.
SIGCSE Bulletin 34(4): 26-28 (2002) |
| 2001 |
|---|
| 19 | EE | 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 |
| 18 | EE | Judith L. Gersting,
Peter B. Henderson,
Philip Machanick,
Yale N. Patt:
Programming early considered harmful.
SIGCSE 2001: 402-403 |
| 17 | EE | 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) |
| 2000 |
|---|
| 16 | EE | 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- |
| 15 | EE | 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 |
| 1994 |
|---|
| 14 | | 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 |
|---|
| 13 | EE | Peter B. Henderson:
Discrete mathematics as a precursor to programming.
SIGCSE 1990: 17-21 |
| 1989 |
|---|
| 12 | EE | Peter B. Henderson,
Francisco J. Romero:
Teaching recursion as a problem-solving tool using standard ML.
SIGCSE 1989: 27-31 |
| 1987 |
|---|
| 11 | | Cydney Minkowitz,
Peter B. Henderson:
A Formal Description of Object-Oriented Programming Using VDM.
VDM Europe 1987: 237-259 |
| 1986 |
|---|
| 10 | | Peter B. Henderson:
Data-Oriented Incremental Programming Environments.
Advanced Programming Environments 1986: 13-25 |
| 9 | EE | Peter B. Henderson:
Anatomy of an introductory computer science course.
SIGCSE 1986: 257-264 |
| 8 | | Peter B. Henderson:
Functional Programming, Formal Specification, and Rapid Prototyping.
IEEE Trans. Software Eng. 12(2): 241-250 (1986) |
| 1985 |
|---|
| 7 | | Peter B. Henderson,
Mark Weiser:
Continous Execution: The VisiProg Environment.
ICSE 1985: 68-74 |
| 1982 |
|---|
| 6 | | John Keohane,
John C. Cherniavsky,
Peter B. Henderson:
On Transforming Control Structures.
SIAM J. Comput. 11(2): 268-286 (1982) |
| 1981 |
|---|
| 5 | | Peter B. Henderson,
Roger B. Gimson:
Modularization of Large Programs.
Softw., Pract. Exper. 11(5): 497-520 (1981) |
| 1980 |
|---|
| 4 | EE | Peter B. Henderson,
Yechezkel Zalcstein:
Synchronization Problems Solvable by Generalized PV Systems.
J. ACM 27(1): 60-71 (1980) |
| 1979 |
|---|
| 3 | | 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 |
|---|
| 2 | | 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 |
|---|
| 1 | | Peter B. Henderson,
Yechezkel Zalcstein:
Characterization of the Synchronization Languages for PV Systems
FOCS 1976: 9-18 |
