Search the dblp DataBase
Dennis de Champeaux :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Dennis de Champeaux , Doug Lea , Penelope Faure The Process of Object-Oriented Design. [Citation Graph (1, 0)][DBLP ] OOPSLA, 1992, pp:45-62 [Conf ] Dennis de Champeaux Bidirectional Heuristic Search Again [Citation Graph (1, 0)][DBLP ] J. ACM, 1983, v:30, n:1, pp:22-32 [Journal ] Dennis de Champeaux A Theorem Prover Dating a Semantic Network. [Citation Graph (0, 0)][DBLP ] AISB/GI (ECAI), 1978, pp:82-92 [Conf ] Dennis de Champeaux , E. van Dijk Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product Space. [Citation Graph (0, 0)][DBLP ] ECAI, 1982, pp:180-182 [Conf ] Dennis de Champeaux Object-Oriented Analysis and Top-Down Software Development. [Citation Graph (0, 0)][DBLP ] ECOOP, 1991, pp:360-376 [Conf ] Dennis de Champeaux Solutions and Their Problems. [Citation Graph (0, 0)][DBLP ] International Computing Symposium, 1977, pp:119-127 [Conf ] Dennis de Champeaux , Jos de Bruin Symbolic Evaluation of LISP Functions with Side Effects for Verification. [Citation Graph (0, 0)][DBLP ] IJCAI, 1981, pp:519-524 [Conf ] Dennis de Champeaux , Lenie Sint An Improved Di-Directional Heuristic Search Algorithm. [Citation Graph (0, 0)][DBLP ] IJCAI, 1975, pp:309-314 [Conf ] Arthur Allen , Dennis de Champeaux Extending the Statechart Formalism: Event Scheduling & Disposition. [Citation Graph (0, 0)][DBLP ] OOPSLA, 1995, pp:1-16 [Conf ] Dennis de Champeaux , Pierre America , Derek Coleman , Roger Duke , Doug Lea , Gary T. Leavens , Fiona Hayes Formal Techniques for OO Software Development (Panel). [Citation Graph (0, 0)][DBLP ] OOPSLA, 1991, pp:166-170 [Conf ] Dennis de Champeaux , Al Anderson , Ed Feldhousen Case Study of Object-Oriented Software Development. [Citation Graph (0, 0)][DBLP ] OOPSLA, 1992, pp:377-391 [Conf ] Dennis de Champeaux , Robert Balzer , Dave Bulman , Kathleen Culver-Lozo , Ivar Jacobson , Stephen J. Mellor The OO Software Development Process (Panel). [Citation Graph (0, 0)][DBLP ] OOPSLA, 1992, pp:484-489 [Conf ] Dennis de Champeaux , Andrew J. Baer , Brian Bernsen , Alan R. Korncoff , Timothy D. Korson , Daniel S. Tkach Strategies for Object-Oriented Technology Transfer (Panel). [Citation Graph (0, 0)][DBLP ] OOPSLA, 1993, pp:437-447 [Conf ] Dennis de Champeaux , Larry L. Constantine , Ivar Jacobson , Stephen J. Mellor , Paul Ward , Edward Yourdon Structured Analysis and Object Oriented Analysis (Panel). [Citation Graph (0, 0)][DBLP ] OOPSLA/ECOOP, 1990, pp:135-139 [Conf ] Mohamed Fayad , Dennis de Champeaux Object-Oriented Experiences. [Citation Graph (0, 0)][DBLP ] TRI-Ada Tutorials (1), 1992, pp:380-496 [Conf ] Dennis de Champeaux Software engineering considered harmful. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 2002, v:45, n:11, pp:102-104 [Journal ] Dennis de Champeaux , Lenie Sint An Optimality Theorem for a Bi-Directional Heuristic Search Algorithm. [Citation Graph (0, 0)][DBLP ] Comput. J., 1977, v:20, n:2, pp:148-150 [Journal ] Dennis de Champeaux Substad: For Fast Substitution in LISP, with an Application on Unification. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1978, v:7, n:1, pp:58-62 [Journal ] Dennis de Champeaux Subproblem finder and instance checker, two cooperating modules for theorem provers. [Citation Graph (0, 0)][DBLP ] J. ACM, 1986, v:33, n:4, pp:633-657 [Journal ] Dennis de Champeaux , Lenie Sint An Improved Bidirectional Heuristic Search Algorithm. [Citation Graph (0, 0)][DBLP ] J. ACM, 1977, v:24, n:2, pp:177-191 [Journal ] Dennis de Champeaux About the Paterson-Wegman Linear Unification Algorithm. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1986, v:32, n:1, pp:79-90 [Journal ] Steven Craig Bilow , Doug Lea , Karl Freburger , Dennis de Champeaux Processes and metrics for object-oriented software development. [Citation Graph (0, 0)][DBLP ] OOPS Messenger, 1994, v:5, n:2, pp:95-98 [Journal ] John Burnham , Dennis de Champeaux Object oriented (domain) analysis. [Citation Graph (0, 0)][DBLP ] OOPS Messenger, 1992, v:3, n:4, pp:83-90 [Journal ] Dennis de Champeaux Formal techniques for object oriented software development. [Citation Graph (0, 0)][DBLP ] OOPS Messenger, 1992, v:3, n:4, pp:49-54 [Journal ] Dennis de Champeaux The OO software development process (abstract). [Citation Graph (0, 0)][DBLP ] OOPS Messenger, 1993, v:4, n:2, pp:61-62 [Journal ] Dennis de Champeaux The OOA process. [Citation Graph (0, 0)][DBLP ] OOPS Messenger, 1993, v:4, n:2, pp:71-74 [Journal ] Dennis de Champeaux , Simon Horner , Granville Miller OO process and metrics for effort estimation. [Citation Graph (0, 0)][DBLP ] OOPS Messenger, 1995, v:6, n:4, pp:138-142 [Journal ] Dennis de Champeaux , Hermann Kaindl , Joachim Laubsch , Albert Schappert Artificial intelligence for object-oriented software engineering. [Citation Graph (0, 0)][DBLP ] OOPS Messenger, 1994, v:5, n:4, pp:127-130 [Journal ] John Hogg , Doug Lea , Alan Wills , Dennis de Champeaux , Richard C. Holt The Geneva convention on the treatment of object aliasing. [Citation Graph (0, 0)][DBLP ] OOPS Messenger, 1992, v:3, n:2, pp:11-16 [Journal ] Richard C. Holt , Dennis de Champeaux A framework for using formal methods in object-oriented software development. [Citation Graph (0, 0)][DBLP ] OOPS Messenger, 1992, v:3, n:2, pp:9-10 [Journal ] Search in 0.018secs, Finished in 0.019secs