Resultados da pesquisa por Autor

1

Prototype of a Decision Table Generation Tool from the Formal Specification

Prototype of a Decision Table Generation Tool from the Formal Specification

Por Tetsuro Katayama, Kenta Nishikawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Publicado em 2015-11-01

Obter o texto integral

Artigo

2

Proposal of an Algorithm to Generate VDM++ Specification Based on its Grammar by Using Word Lists Extracted from the Natural Language Specification

Proposal of an Algorithm to Generate VDM++ Specification Based on its Grammar by Using Word Lists Extracted from the Natural Language Specification

Por Tetsuro Katayama, Yasuhiro Shigyo, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Publicado em 2020-09-01

Obter o texto integral

Artigo