Publications
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 [ Slides from Presentation ] [ Proceedings ]
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 [ Link ]
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 [ Link ]
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 [ Link ]
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 [ Link ]
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. [ Link ]
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.
