Travelled to:
1 × Norway
Collaborated with:
N.Ubayashi J.Piao T.Tamai
Talks about:
refactor (1) contract (1) orient (1) aspect (1) verif (1) base (1)
Person: Suguru Shinotsuka
DBLP: Shinotsuka:Suguru
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.