石原 靖哲

J-GLOBALへ         更新日: 17/03/04 02:57
 
アバター
研究者氏名
石原 靖哲
 
イシハラ ヤスノリ
所属
大阪大学
部署
情報科学研究科 マルチメディア工学専攻
職名
准教授

論文

 
A Translation Method from Natural Language Specifications into Formal Specifications Using Contextual Dependencies
Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami
Proceedings of the IEEE International Symposium on Requirements Engineering      1993年1月   [査読有り]
A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies
Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami,Jun Shimabukuro, Kazuhiko Okawa
IEICE Transactions on Information and Systems   76(12) 1479-1489   1993年12月   [査読有り]
Implementation of Natural Language Specifications of Communication Protocols by Executable Specifications
Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami
Transactions of Information Processing Society of Japan   36(5) 1114-1125   1995年5月   [査読有り]
Authorization Analysis of Queries in Object-Oriented Databases
Hiroyuki Seki, Yasunori Ishihara, Minoru Ito
Proceedings of the Fourth International Conference onDeductive and Object-Oriented Databases, LNCS 1013   79(10) 769-780   1995年12月   [査読有り]
Assignment of Data Types to Words in a Natural Language Specification
Yasunori Ishihara, Atsushi Ohsaki, Hiroyuki Seki, Tadao Kasami
IEICE Transactions on Information and Systems   79(6) 820-828   1996年6月   [査読有り]