Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:B.A.Malloy J.F.Power
Talks about:invari (2) applic (2) valid (2) tempor (1) aspect (1) class (1) autom (1) weav (1)
Person: Tanton H. Gibbs
DBLP: Gibbs:Tanton_H=
Contributed to:
2003
2002Wrote 2 papers:
- CSMR-2003-GibbsM #aspect-oriented #c++ #invariant #validation #weaving
- Weaving Aspects into C++ Applications for Validation of Temporal Invariants (THG, BAM), pp. 249–258.
- ASE-2002-GibbsMP #automation #c++ #invariant #validation
- Automated Validation of Class Invariants in C++ Applications (THG, BAM, JFP), p. 205–?.