• SMART manual in Japanese
• On implementations of SMART in Japanese
• Quck introduction to TDD of models by demo
  1. How to write testcases (pdf) Demo
  2. Errors and failures guides model construction (pdf) Demo
  3. Trace of testcase execution helps to understand interactions (pdf) Demo
  4. Change summary is useful to analyse behaviours (pdf) Demo