Department of Systems and Computer Engineering Ottawa, Canada
Dr. Raymond J.A. Buhr: Graduate Students
Completed by Thesis:
Steve Watson, M.Eng., (Systems Engineering), "3D Visualization of Software Architectures", January , 1997.
M. Locas, M.Eng., Hypergraphs for Use Case Maps, Fall, 1995.
S. Watson, M.Eng., 3D Visualization of Software Architectures, Fall, 1995.
D. Amyot, MCS, Formalization of Timethreads Using Lotos. (Co-supervised with L. Logrippo), 1994.
C. Cui, MCS, Fisheye Visualization Techniques for Large Software Designs, 1993.
R.S. Casselman, M.Eng., A Role-Based Architectural Model Applied to Object-Oriented Systems, 1993. Recipient of a Senate medal.
F. Bordeleau, MCS, Visual Descriptions, Formalisms, and the Design Process, October 1993, December 1993.
F. Pomerleau, M.Eng., Visualizing Designs of Object-Oriented Real-Time Programs, February 1993.
M. Vigder, Ph.D., Applying Formal Techniques to the Design of Concurrent Systems, June 1992.
L. Simon, M.Eng., An Object-Oriented Delta Approach to Telecommunications Service Specification, December 1989.
Current Students
Mohammed Elammari, Ph.D., (Computer Science), "A Methodology for Developing Agent-Based Systems".
Francis Bordeleau, Ph.D., (Systems Engineering), "From Use Case Maps to Message Sequence Charts to Cooperating State Machines: A Methodology and Some Formalisms".
Daniel Amyot, Ph.D., (co-supervision with Professor Logrippo), (Computer Science), Ottawa University, thesis topic under discussion but probably following the path pointed by his M.Sc. thesis, "Formalization of Timethreads Using Lotos).
Andrew Miga, M.Eng., (Systems Engineering), "Design and Implementation of a Use Case Map Tool".
Page