Publications

The following are my publications, listed in reverse chronological order (i.e., newest first). If you need information about the file formats, please check here.

Note: Many of these papers are copyright of the publishing organization and are posted here with their permission. Re-distribution of them for profit or commercial advantage is prohibited except with explicit permission of the copyright holder. Please refer to the relevant copyright notices.

  1. Shadi Alawneh and Dennis Peters, "Test Driven Development with Oracles and Formal Specifications" Proceedings of the 22nd IFIP International Conference on Testing Software and Systems, Nov. 2010.
    pdf
  2. Shadi Alawneh and Dennis Peters, "Specification-Based Test Oracles with Junit" Proceedings of the Canadian Conference on Electrical and Computer Engineering (CCECE), May 2010.
    pdf
  3. Dennis K. Peters, Mark Lawford, Baltasar Trancón y Widemann, "An IDE for software development using tabular expressions" Proceedings of the 2007 conference of the center for advanced studies on Collaborative research (CASCON), October 2007, Richmond Hill, Ontario Canada 2007, pp. 248 - 251.
    Get it from ACM.
  4. Dennis K. Peters, Mark Lawford, Baltasar Trancón y Widemann, "Software Specification Using Tabular Expressions and OMDoc" Proc. Calculemus/MKM 2007 Work in Progress, June 2007, RISC-Linz Report Series 07-06, Johannes Kepler University, A-4040 Linz, Austria. pp. 61-75.
    Get it from RISC.
  5. Jonathan S. Anstey, Dennis K. Peters and Chris Dawson "An Improved Feature Extraction Technique for High Volume Time Series Data" Proc. IASTED Int'l Conf. on Signal Processing, Pattern Recognition and Applications (SPPRA), Int'l Assoc. of Science and Technology for Development (IASTED), Innsbruck, Austria February 2007.
    .
  6. Jonathan S. Anstey, Dennis K. Peters and Chris Dawson "An Improved Feature Extraction Technique for High Volume Time Series Data" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2006.
    .
  7. Pouria Shaker and Dennis K. Peters "A Process for Design-level Detection of Concern Interactions in Aspect-Oriented Systems" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2006.
    .
  8. Pouria Shaker and Dennis K. Peters "Design-level Detection of Interactions in Aspect-Oriented Systems" Aspects, Dependencies, and Interactions Workshop, European Conference on Object-Oriented Programming, July 2006, Nantes France.
    abstract, pdf.
  9. Zhiwei An and Dennis K. Peters "Statecharts Reduction and Composition with Properties" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2005.
    abstract, pdf.
  10. Jonathan Anstey, Dennis K. Peters and Chris Dawson "Discovering Novelty in Time Series Data" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2005.
    abstract, pdf.
  11. David Bonnell, Joshua Swamidas, Dennis K. Peters and Cheng Li "Digital Domain Feature Detection in a Complex Dielectric Sensor" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2005.
    abstract, pdf.
  12. Jonathan Milley and Dennis K. Peters "Software Specification and Testing Using UML and OCL" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2005.
    abstract, pdf.
  13. Pouria Shaker and Dennis K. Peters "An Introduction to Aspect-Oriented Software Development" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2005.
    abstract, pdf.
  14. Naeim Semsarilar, Dennis K. Peters and Theodore S. Norvell, "Open XML Requirements Specifications, a Xylia based application" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2003.
    abstract, pdf.
  15. Zhiwei An and Dennis K. Peters, "On the Description of Communications Between Software Components with UML" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2003.
    abstract, pdf.
  16. Pouria Shaker, Theodore S. Norvell and Dennis K. Peters, "Edits in Xylia: Preserving the Validity of XML Documents" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2002.
    abstract, pdf.
  17. Yingzi Wang and Dennis K. Peters, "A Technique for Specifying Interface Modules for Real-time Systems" Proc. Canadian Conference on Electrical and Computer Engineering, IEEE Canada, May 2002.
    abstract, pdf.
  18. Dennis K. Peters and David Lorge Parnas, "Requirements-based Monitors for Real-Time Systems" IEEE Transactions on Software Engineering, vol. 28, no. 2, February 2002, pp. 146-158.
    abstract, gzipped postscript, pdf.
  19. Yingzi Wang and Dennis K. Peters, "Interface Module Specifications for Real-time Systems" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2001.
    abstract, pdf.
  20. Jonathan R. Milley, Theodore S. Norvell, and Dennis K. Peters, "The Xylia Toolkit, combining XML and Java" Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2001.
    abstract, pdf.
  21. D. K. Peters, "Are Computer Engineering Students Getting Enough Design?", Canadian Conference on Computer Engineering Education, IEEE, New Brunswick Section, University of New Brunswick, May 2001.
    abstract, gzipped postscript, pdf.
  22. D. K. Peters, "Requirements-based Monitors for Real-Time Systems", Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE, Newfoundland and Labrador Section, November 2000.
    abstract, gzipped postscript, pdf.
  23. D. K. Peters and D. L. Parnas, "Requirements-based Monitors for Real-Time Systems", Proc. 2000 Int'l Symp. on Software Testing and Analysis (ISSTA), © ACM August 2000, pp. 77-85.
    abstract gzipped postscript, pdf, .
  24. D. K. Peters, Deriving Real-Time Monitors from System Requirements Documentation, Ph.D. Thesis, McMaster University, Hamilton, ON, January 2000. 171 pages.
    abstract, gzipped postscript, pdf. Single-space version (145 pages): gzipped postscript, pdf.
  25. D. K. Peters, "Automated Testing of Real-Time Systems", Proc. Newfoundland Electrical and Computer Engineering Conference, IEEE Newfoundland and Labrador Section, November 1999.
    abstract, gzipped postscript, pdf.
  26. D. L. Parnas and D. K. Peters, "An Easily Extensible Toolset for Tabular Mathematical Expressions", Proc. Fifth Int'l Conf. Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science No. 1579, © Springer-Verlag, March 1999, pp. 345-359.
    abstract, gzipped postscript, pdf.
  27. M. von Mohrenschildt and D. K. Peters, "The Draw-Bot: A Project for Teaching Software Engineering", Proc. 1998 Frontiers in Education Conf. (FIE '98), November 1998, pp. 1022-1027.
    abstract, gzipped postscript, pdf.
  28. D. K. Peters and D. L. Parnas, "Using Test Oracles Generated from Program Documentation", IEEE Transactions on Software Engineering, vol. 24, no. 3, March 1998, pp. 161-173.
    abstract, gzipped postscript, pdf.
  29. D. K. Peters, "Deriving Real-time Monitors from System Requirements Documentation", Proc. Third IEEE Int'l Symp. on Requirements Engineering (RE '97) Doctoral Consortium , January 1997, pp. 89-92.
    abstract, gzipped postscript, pdf.
  30. D. K. Peters, "Shortest Path Algorithm: Formal Program Documentation", CRL Report No. 280, Telecommunications Research Institute of Ontario (TRIO), (draft) February 1996. 15 pgs.
    abstract, gzipped postscript, pdf.
  31. D. K. Peters, Generating a Test Oracle from Program Documentation, M.Eng. Thesis, Department of Electrical and Computer Engineering, McMaster University, Hamilton, ON, April 1995, 97 pgs.
    Also printed as CRL Report No. 302, Telecommunications Research Institute of Ontario (TRIO).
    abstract, gzipped postscript, pdf.
  32. D. K. Peters and D. L. Parnas, "Generating a Test Oracle from Program Documentation--work in progress", Proc. 1994 Int'l Symp. on Software Testing and Analysis (ISSTA), © ACM August 1994, pp. 58-65.
    abstract, gzipped postscript, pdf, Definitive copy in ACM Digital Library.

Supervised Theses

  1. Pouria Shaker, Detecting Concern Interactions in Aspect-Oriented Designs, M.Eng. thesis, Faculty of Engineering and Applied Science, Memorial University, February 2007.
    .
  2. Yingzi Wang, Relational Specification of Interface Modules for Real-Time Systems, M.Eng. thesis, Faculty of Engineering and Applied Science, Memorial University, May 2006.
    .
  3. Shadi Alawneh, Test-Driven Development with Oracles and Formal Specifications, M.Eng. thesis, Faculty of Engineering and Applied Science, Memorial University, June 2010.
    pdf
  4. Jonathan S. Anstey, Time Series Novelty Detection with Application to Production Sensor Systems, M.Eng. thesis, Faculty of Engineering and Applied Science, Memorial University, May 2011.
    abstract, pdf
Back to Dennis Peters' homepage

Last modified: Thu Feb 15 07:47:59 NST 2007 by Dennis Peters