Akiyoshi Sato

According to our database, Akiyoshi Sato authored at least 5 papers between 1992 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

Distributed Cooperative Formal Methods Tools.

Joseph A. Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

1996

Software Synthesis Shell Softexshell and its Application to Switching Service Software.

Toru Yamanouchi, Akiyoshi Sato, Masanobu Watanabe, Hiroyuki Watanabe, Hiromitsu Yamanaka

Int. J. Artif. Intell. Tools, 1996

Software synthesis for trade-off design.

Akiyoshi Sato, Masato Miki, Toru Yamanouchi, Masanobu Watanabe

Proceedings of the 11th Knowledge-Based Software Engineering Conference, 1996

1995

Domain-Oriented Software Process Re-engineering with Software Synthesis Shell SOFTEX/S.

Akiyoshi Sato, Minoru Tomobe, Toru Yamanouchi, Masanobu Watanabe, Masashi Hijikata

Proceedings of the Proceedings KBSE'95, 1995

1992

Software synthesis shell SOFTEX/S.

Toru Yamanouchi, Akiyoshi Sato, Minoru Tomobe, Hiroshi Takeuchi, Jun Takamura, Masanobu Watanabe

Proceedings of the Seventh Knowledge-Based Software Engineering Conference, 1992