Search the dblp DataBase
Peter B. Henderson :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Ann E. Kelley Sobel , Hossein Saiedian , Allan M. Stavely , Peter B. Henderson Teaching Formal Methods Early in the Software Engineering Curriculum (panel). [Citation Graph (0, 0)][DBLP ] CSEE&T, 2000, pp:55-0 [Conf ] Neil Berrington , David De Roure , R. Mark Greenwood , Peter B. Henderson Distribution and Change: Investigating Two Challenges for Process Enactment Systems. [Citation Graph (0, 0)][DBLP ] EWSPT, 1994, pp:152-162 [Conf ] Cydney Minkowitz , Peter B. Henderson A Formal Description of Object-Oriented Programming Using VDM. [Citation Graph (0, 0)][DBLP ] VDM Europe, 1987, pp:237-259 [Conf ] Peter B. Henderson , Yechezkel Zalcstein Characterization of the Synchronization Languages for PV Systems [Citation Graph (0, 0)][DBLP ] FOCS, 1976, pp:9-18 [Conf ] Peter B. Henderson , Mark Weiser Continous Execution: The VisiProg Environment. [Citation Graph (0, 0)][DBLP ] ICSE, 1985, pp:68-74 [Conf ] Peter B. Henderson Data-Oriented Incremental Programming Environments. [Citation Graph (0, 0)][DBLP ] Advanced Programming Environments, 1986, pp:13-25 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] SIGCSE, 2002, pp:98-99 [Conf ] Judith L. Gersting , Peter B. Henderson , Philip Machanick , Yale N. Patt Programming early considered harmful. [Citation Graph (0, 0)][DBLP ] SIGCSE, 2001, pp:402-403 [Conf ] Peter B. Henderson ISSAC: Indiana student software awards competition. [Citation Graph (0, 0)][DBLP ] SIGCSE, 2003, pp:332-335 [Conf ] Peter B. Henderson Anatomy of an introductory computer science course. [Citation Graph (0, 0)][DBLP ] SIGCSE, 1986, pp:257-264 [Conf ] Peter B. Henderson Discrete mathematics as a precursor to programming. [Citation Graph (0, 0)][DBLP ] SIGCSE, 1990, pp:17-21 [Conf ] Peter B. Henderson , William Barker , Susanna Epp , William A. Marion Math educators, computer science educators: working together. [Citation Graph (0, 0)][DBLP ] SIGCSE, 2003, pp:236-237 [Conf ] Peter B. Henderson , Paul De Palma , Vicki L. Almstrum , Orit Hazzan , Kim Potter Kihlstrom Women, mathematics and computer science. [Citation Graph (0, 0)][DBLP ] SIGCSE, 2002, pp:131-132 [Conf ] Peter B. Henderson , Francisco J. Romero Teaching recursion as a problem-solving tool using standard ML. [Citation Graph (0, 0)][DBLP ] SIGCSE, 1989, pp:27-31 [Conf ] Wing Huen , Ernest Ferguson , Peter B. Henderson , Clifton Kussmaul IT offshore outsourcing: impact on CS/IS curriculum. [Citation Graph (0, 0)][DBLP ] SIGCSE, 2005, pp:258-259 [Conf ] Samuel A. Rebelsky , Peter B. Henderson , Amruth N. Kumar , Frederick N. Springsteel Why I do declare!: declarative programming in the undergraduate curriculum. [Citation Graph (0, 0)][DBLP ] SIGCSE, 2001, pp:398-399 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] SIGCSE, 2000, pp:397-398 [Conf ] Peter B. Henderson , Thomas J. Cortina , Jeannette M. Wing Computational thinking. [Citation Graph (0, 0)][DBLP ] SIGCSE, 2007, pp:195-196 [Conf ] Peter B. Henderson The Role of Mathematics in Computer Science and Software Engineering Education. [Citation Graph (0, 0)][DBLP ] Advances in Computers, 2005, v:65, n:, pp:350-396 [Journal ] Peter B. Henderson Mathematical reasoning in software engineering education. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 2003, v:46, n:9, pp:45-50 [Journal ] John C. Cherniavsky , John Keohane , Peter B. Henderson A Note Concerning Top Down Program Development and Restricted Exit Control Structures. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1979, v:9, n:1, pp:8-12 [Journal ] Peter B. Henderson , Yechezkel Zalcstein Synchronization Problems Solvable by Generalized PV Systems. [Citation Graph (0, 0)][DBLP ] J. ACM, 1980, v:27, n:1, pp:60-71 [Journal ] Peter B. Henderson , Yechezkel Zalcstein A Graph-Theoretic Characterization of the PV_chunk Class of Synchronizing Primitives. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1977, v:6, n:1, pp:88-108 [Journal ] John Keohane , John C. Cherniavsky , Peter B. Henderson On Transforming Control Structures. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1982, v:11, n:2, pp:268-286 [Journal ] Doug Baldwin , Peter B. Henderson The Importance of Mathematics to the Software Practitioner. [Citation Graph (0, 0)][DBLP ] IEEE Software, 2002, v:19, n:2, pp:110-112 [Journal ] Peter B. Henderson , Roger B. Gimson Modularization of Large Programs. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1981, v:11, n:5, pp:497-520 [Journal ] Peter B. Henderson Functional Programming, Formal Specification, and Rapid Prototyping. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1986, v:12, n:2, pp:241-250 [Journal ] Ubiquitous Computational Thinking. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.301secs