Dennis K. Peters
Associate Professor
B.Eng. (Memorial), M.Eng., Ph.D. (McMaster), P. Eng., SMIEEE
Chair,
Electrical
and Computer
Engineering
Faculty of Engineering and
Applied Science
also cross appointed to Dept. of Computer
Science, Faculty of Science
Office: EN-3061
E-mail:
dpeters at mun.ca
Phone: (709) 737-8929
Fax: (709) 737-4042
ECE Page |
Research |
Teaching |
Publications |
Professional Associations |
Personal
Research
My research is concerned with developing techniques and tools to facilitate the
production, analysis and use of documentation for computer system
behavioural requirements and design. Such documentation must be both
- clear enough to be read and understood, with a minimum of special training,
by both 'domain experts' and programmers, and
- complete and precise enough to allow thorough analysis, by manual or
automatic means.
Currently I am researching ways of using system requirements documentation
for real-time systems
to generate a 'monitor' that can determine if the behaviour of an
implemented system is consistent with the requirements. Such a monitor is
useful for both system testing and run-time supervision of safety critical
systems. For more details about my research, please see my
publications.
Future research topics include system and software design analysis and
specification of interface modules.
I did my graduate studies with the
Software Engineering Research Group, which has become the Software Quality Research Laboratory (SQRL),
at McMaster University.
Teaching
- Fall 2009
- ENGI 7893 Software Engineering
- Previous courses
Professional Associations
Given all that, you may be inclined to ask
"Are you a Software Engineer?"
Personal
If you get this far and still want something else to click on, try my
Geek's Photo Album.
Or try the nerd test:
I scored a bit higher than I'd guessed.
Faculty of Engineering & Applied Science
Memorial University of Newfoundland
St. John's, NL
Canada A1B 3X5
Last modified
$Date: 2009-09-10 22:14:58 -0230 (Thu, 10 Sep 2009) $
($Revision: 899 $) by
$Author: dpeters $