Dr.
Daniel Hoffman
last updated December
3, 1997
| |
Dr.
Daniel Hoffman
last updated December
3, 1997
|
| formalWARE
project
formalWARE
formalWARE
|
Dr. Daniel Hoffman in an Associate
Professor of Computer Science at the University of Victoria. He received
the B.A. degree in mathematics from the State University of New York, Binghamton,
in 1974, and the M.S. and Ph.D. degrees in Computer Science in 1981 and
1984, from the University of North Carolina, Chapel Hill. From 1974 to
1979 he worked as a commercial programmer/analyst.
His research area is Software Engineering, emphasizing the industrial application of software documentation, inspection, and testing. Hoffman has published more than 30 technical papers in refereed journals and conferences, and has co-authored the book "Software Design, Automated Testing, and Maintenance" (International Thomson Computer Press, 1995). Dr. Hoffman has taught Software Engineering in academia and industry for more than ten years. He spent the 1992-93 year on leave at Tandem Computers, Inc. In the context of the FormalWare project,
he has had interactions with research and engineering staff at both Hughes
and MDA. Samples of software used in ATM (air traffic management) systems
have been provided by both Hughes and MDA to Dr. Hoffman for use in the
evaluation of his approach to automated software component testing.
Recent Publications:D. Hoffman and P. Strooper, "ClassBench: a framework for automated class testing", Software--Practice and Experience, Vol. 27 (5), May 1997.D. Hoffman and P. Strooper, "The testgraph methodology", Journal of Object Oriented Programming, Nov/Dec, 1995. A. Jackson and D. Hoffman, "Inspecting
Module Interface Specifications", Journal of Software Testing, Verification,
and Reliability, vol 4, 1994.
Further Information:For more information on Hoffman's research, see his home page at http://www.csr.uvic.ca/~dhoffman
. |
