ViennaDoc: An Animatable and Testable Specification Documentation Tool.

Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen

Browse the full FM paper archive.