J. Carter

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

3 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

2 EE J. Carter, William B. Gardner: A Formal CSP Framework for Message-Passing HPC Programming. CCECE 2006: 1466-1470

1999

1 J. Carter: Incorporating standards and guidelines in an approach that balances usability concerns for developers and end users. Interacting with Computers 12(2): 179-206 (1999)

2007
3	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
2	EE	J. Carter, William B. Gardner: A Formal CSP Framework for Message-Passing HPC Programming. CCECE 2006: 1466-1470
1999
1		J. Carter: Incorporating standards and guidelines in an approach that balances usability concerns for developers and end users. Interacting with Computers 12(2): 179-206 (1999)

Coauthor Index

1 William B. Gardner [2] [3]