degrees

University of Guelph - Ph.D. Computer Science (ABD)

1. •Thesis (in progress) : Mise en Scene: A Scenario-based Approach for the Specification of Systems via Integrated Formalism.
   

University of Guelph - MSc Computer Science

1. •Thesis : Mise en Scene: A Scenario-based Approach to Generating CSP System Traces
   

Acadia University - Bachelor of Computer Science (BCS)

1. •Project : Forest : A C++ Tree Template Library
   

Experience

Graduate teaching assistant, university of guelph, guelph, ON — 2004 - Present

Supported undergraduate courses in Introductory Programming, Data Structures, Discrete Mathematics, Software Engineering, Computer Security, Distributed Systems and Operating Systems.

graduate research assistant, University of guelph, Guelph, ON — 2004 - present

Duties related to the study and application of requirements gathering and formal methods for software engineering.

Visiting Scholar, Information Systems Div., NASA GSFC, Greenbelt, MD — summer 2005

Worked prototyping the R2D2C software engineering tool and performing requirements gathering for joint research efforts.

software developer, Nuance communications, ottawa, ON  — 2002/01 - 2003/01

Contributed to the Vocalizer 2 product--adding audio support to the existing text-to-speech server.  Duties included porting, adding support for SSML and VXML tags, programming necessary network / file support for embedded audio in a variety of formats.  Developed and maintained Vocalizer 2 java tools.

academic achievements

publications (refereed)

Mise en Scene : A Scenario-Based Medium Supporting Formal Software Development

Carter, J.D (2008)

Proceedings of The Sixth NASA Langley Formal Methods Workshop. Proceedings of The Sixth NASA Langley Formal Methods Workshop. NASA/CP-2008-215309: 66

Converting scenarios to CSP traces with Mise en Scene for requirements-based programming

Carter, J.D., and Gardner, W.B.  (2008)

Innovations in Systems and Software Engineering, Vol. 4 No. 1, April 2008: 45-70

Mise en Scene :  Converting Scenarios to CSP Traces in Support of Requirements-Based Programming

Carter, J.D., and Gardner, W.B.  (2007)

Proceedings of IEEE Software Engineering Workshop (SEW) 31: 41-50

A Formal CSP Framework for Message-Passing HPC Programming

Carter, J.D., and Gardner, W.B. (2006)

Proceedings of IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) 2006: 944-948

Rapid Prototyping of Embedded Software Using Selective Formalism

Carter, J.D., Xu, M. and Gardner, W.B.  (2005)

Proceedings of 16th IEEE International Workshop on Rapid System Prototyping (RSP) : 99-104

publications (non-refereed)

Mise en Scene : Scenario to CSP Trace Conversion for the Requirements-to-Design-to-Code Project

Carter, J.D., Gardner, W.B., Rash, J.L. and Hinchey, M.G. (2007)

NASA Technical Memorandum NASA/TM-2007-214155 20 pp.

Rapid Prototyping of Embedded Software Using Selective Formalism

Carter, J.D., Gardner, W.B., Rash, J.L. and Hinchey, M.G. (2007)

Society of Manufacturing Engineers, Technical Paper No. TP06PUB28 8 pp.     

talks & presentations

Pilot: HPC Programming for Beginners, Lehigh University, bethlehem, PA  — 2009/10/05

Poster presentation at CES/HPC workshop.

Inside the Pilot Library for MPI, University of Waterloo, Waterloo, ON  — 2009/05/21

Poster presentation with talk at SHARCFEST 2009 Research Day.

Tempering HPC with Formalism : MPI + CSP, York University, Toronto, ON  — 2006/10/18

Invited talk at SHARCNET fall workshop.

awards

OGS — 2009/05 - 2010/05

While attending University of Guelph (PhD)

OGSST — 2009/01 - 2009/05

While attending University of Guelph (PhD)

OGSST — 2007/01 - 2007/05

While attending University of Guelph (PhD)

OGSST — 2006/01 - 2006/05

While attending University of Guelph (MSc)