Travelled to:
1 × Norway
Collaborated with:
N.Ubayashi S.Shinotsuka T.Tamai
Talks about:
refactor (1) contract (1) orient (1) aspect (1) verif (1) base (1)
Person: Jinji Piao
DBLP: Piao:Jinji
Contributed to:
Wrote 1 papers:
- ICST-2008-UbayashiPST #aspect-oriented #contract #refactoring #verification
- Contract-Based Verification for Aspect-Oriented Refactoring (NU, JP, SS, TT), pp. 180–189.