John D. Carter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2005–2016
Best venue rank
National
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | IRI | BHive: Towards Behaviour-Driven Development Supported by B-Method. | John D. Carter, William B. Gardner |
| 2015 | HPCC | Supporting Selective Formalism in CSP++ with Process-Specific Storage. | William B. Gardner, Alicia Gumtie, John D. Carter |
| 2014 | SC | Using the pilot library to teach message-passing programming. | William B. Gardner, John D. Carter |
| 2010 | PPoPP | The pilot library for novice MPI programmers. | John D. Carter, William B. Gardner, Gary Grwal |
| 2007 | SEW | Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming. | John D. Carter, William B. Gardner |
| 2005 | RSP | Rapid Prototyping of Embedded Software Using Selective Formalism. | John D. Carter, Ming Xu, William B. Gardner |