Akiyoshi Sato

Publication Activity (10 Years)

Years Active: 1992-1997
Publications (10 Years): 0

Publications

Joseph A. Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato
Distributed Cooperative Formal Methods Tools. ASE (1997)
Toru Yamanouchi, Akiyoshi Sato, Masanobu Watanabe, Hiroyuki Watanabe, Hiromitsu Yamanaka
Software Synthesis Shell Softexshell and its Application to Switching Service Software. Int. J. Artif. Intell. Tools 5 (3) (1996)
Akiyoshi Sato, Masato Miki, Toru Yamanouchi, Masanobu Watanabe
Software synthesis for trade-off design. KBSE (1996)
Akiyoshi Sato, Minoru Tomobe, Toru Yamanouchi, Masanobu Watanabe, Masashi Hijikata
Domain-Oriented Software Process Re-engineering with Software Synthesis Shell SOFTEX/S. KBSE (1995)
Toru Yamanouchi, Akiyoshi Sato, Minoru Tomobe, Hiroshi Takeuchi, Jun Takamura, Masanobu Watanabe
Software synthesis shell SOFTEX/S. KBSE (1992)