Travelled to:1 × Germany
5 × USA
Collaborated with:D.Jackson S.Jha ∅ J.Duhl
Talks about:specif (3) softwar (2) design (2) relat (2) check (2) counterexampl (1) comparison (1) benchmark (1) isomorph (1) interact (1)
Person: Craig Damon
DBLP: Damon:Craig
Contributed to:
1997
1996
1996
1996
1996
1988Wrote 6 papers:
- ICSE-1997-Damon #analysis #design #interactive #named
- Nitpick: A Tool for Interactive Design Analysis (CD), pp. 596–597.
- FSE-1996-DamonJJ #diagrams #relational #specification
- Checking Relational Specifications With Binary Decision Diagrams (CD, DJ, SJ), pp. 70–80.
- ISSTA-1996-JacksonD #design #detection
- Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector (DJ, CD), pp. 239–249.
- POPL-1996-JacksonJD #performance #specification
- Faster Checking of Software Specifications by Eliminating Isomorphs (DJ, SJ, CD), pp. 79–90.
- TACAS-1996-DamonJ #performance #specification
- Efficient Search as a Means of Executing Specifications (CD, DJ), pp. 70–86.
- OOPSLA-1988-DuhlD #benchmark #comparison #database #metric #performance #relational #using
- A Performance Comparison of Object and Relational Databases Using the Sun Benchmark (JD, CD), pp. 153–163.