2007 |
7 | EE | J. Carter,
William B. Gardner:
Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming.
SEW 2007: 41-52 |
2006 |
6 | EE | J. Carter,
William B. Gardner:
A Formal CSP Framework for Message-Passing HPC Programming.
CCECE 2006: 1466-1470 |
2005 |
5 | | William B. Gardner:
CSP++: How Faithful to CSPm?
CPA 2005: 129-146 |
4 | EE | Stephen Doxsee,
William B. Gardner:
Synthesis of C++ Software from Verifiable CSPm Specifications.
ECBS 2005: 193-201 |
3 | EE | Stephen Doxsee,
William B. Gardner:
Synthesis of C++ software for automated teller from CSPm specifications.
SAC 2005: 1565-1566 |
2 | EE | William B. Gardner:
Converging CSP specifications and C++ programming via selective formalism.
ACM Trans. Embedded Comput. Syst. 4(2): 302-330 (2005) |
2003 |
1 | EE | William B. Gardner:
Bridging CSP and C++ with Selective Formalism and Executable Specifications.
MEMOCODE 2003: 237- |