Dennis de Champeaux

Dennis de Champeaux: Software engineering considered harmful. Commun. ACM 45(11): 102-104 (2002)

Dennis de Champeaux, Simon Horner, Granville Miller: OO process and metrics for effort estimation. OOPS Messenger 6(4): 138-142 (1995)

Arthur Allen, Dennis de Champeaux: Extending the Statechart Formalism: Event Scheduling & Disposition. OOPSLA 1995: 1-16

Steven Craig Bilow, Doug Lea, Karl Freburger, Dennis de Champeaux: Processes and metrics for object-oriented software development. OOPS Messenger 5(2): 95-98 (1994)

Dennis de Champeaux, Hermann Kaindl, Joachim Laubsch, Albert Schappert: Artificial intelligence for object-oriented software engineering. OOPS Messenger 5(4): 127-130 (1994)

Dennis de Champeaux, Douglas Lea, Penelope Faure: Object-oriented system development. Addison-Wesley 1993, isbn 978-0-201-56355-9, pp. I-XVIII, 1-532

Dennis de Champeaux: The OO software development process (abstract). OOPS Messenger 4(2): 61-62 (1993)

Dennis de Champeaux: The OOA process. OOPS Messenger 4(2): 71-74 (1993)

Dennis de Champeaux, Andrew J. Baer, Brian Bernsen, Alan R. Korncoff, Timothy D. Korson, Daniel S. Tkach: Strategies for Object-Oriented Technology Transfer (Panel). OOPSLA 1993: 437-447

Richard C. Holt, Dennis de Champeaux: A framework for using formal methods in object-oriented software development. OOPS Messenger 3(2): 9-10 (1992)

John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, Richard C. Holt: The Geneva convention on the treatment of object aliasing. OOPS Messenger 3(2): 11-16 (1992)

Dennis de Champeaux: Formal techniques for object oriented software development. OOPS Messenger 3(4): 49-54 (1992)

John Burnham, Dennis de Champeaux: Object oriented (domain) analysis. OOPS Messenger 3(4): 83-90 (1992)

Dennis de Champeaux, Doug Lea, Penelope Faure: The Process of Object-Oriented Design. OOPSLA 1992: 45-62

Dennis de Champeaux, Al Anderson, Ed Feldhousen: Case Study of Object-Oriented Software Development. OOPSLA 1992: 377-391

Dennis de Champeaux, Robert Balzer, Dave Bulman, Kathleen Culver-Lozo, Ivar Jacobson, Stephen J. Mellor: The OO Software Development Process (Panel). OOPSLA 1992: 484-489

Mohamed Fayad, Dennis de Champeaux: Object-Oriented Experiences. TRI-Ada Tutorials (1) 1992: 380-496

Dennis de Champeaux: Object-Oriented Analysis and Top-Down Software Development. ECOOP 1991: 360-376

Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes: Formal Techniques for OO Software Development (Panel). OOPSLA 1991: 166-170

Dennis de Champeaux, Larry L. Constantine, Ivar Jacobson, Stephen J. Mellor, Paul Ward, Edward Yourdon: Structured Analysis and Object Oriented Analysis (Panel). OOPSLA/ECOOP 1990: 135-139

Dennis de Champeaux: Subproblem finder and instance checker, two cooperating modules for theorem provers. J. ACM 33(4): 633-657 (1986)

Dennis de Champeaux: About the Paterson-Wegman Linear Unification Algorithm. J. Comput. Syst. Sci. 32(1): 79-90 (1986)

Dennis de Champeaux: Bidirectional Heuristic Search Again. J. ACM 30(1): 22-32 (1983)

Dennis de Champeaux, E. van Dijk: Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product Space. ECAI 1982: 180-182

Dennis de Champeaux, Jos de Bruin: Symbolic Evaluation of LISP Functions with Side Effects for Verification. IJCAI 1981: 519-524

Dennis de Champeaux: Sub-problem Finder and Instance Checker: Two Cooperating Preprocessors for Theorem Provers. IJCAI 1979: 191-196

Dennis de Champeaux: Substad: For Fast Substitution in LISP, with an Application on Unification. Inf. Process. Lett. 7(1): 58-62 (1978)

Dennis de Champeaux: A Theorem Prover Dating a Semantic Network. AISB/GI (ECAI) 1978: 82-92

Dennis de Champeaux, Lenie Sint: An Optimality Theorem for a Bi-Directional Heuristic Search Algorithm. Comput. J. 20(2): 148-150 (1977)

Dennis de Champeaux, Lenie Sint: An Improved Bidirectional Heuristic Search Algorithm. J. ACM 24(2): 177-191 (1977)

Dennis de Champeaux: Solutions and Their Problems. International Computing Symposium 1977: 119-127

Dennis de Champeaux, Lenie Sint: An Improved Di-Directional Heuristic Search Algorithm. IJCAI 1975: 309-314