A translation method from natural language specifications into formal specifications using contextual dependencies

Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami. A translation method from natural language specifications into formal specifications using contextual dependencies. In Proceedings of IEEE International Symposium on Requirements Engineering, RE 1993, San Diego, California, USA, January 4-6, 1993. pages 232-239, IEEE, 1993. [doi]

Authors

Yasunori Ishihara

This author has not been identified. Look up 'Yasunori Ishihara' in Google

Hiroyuki Seki

This author has not been identified. Look up 'Hiroyuki Seki' in Google

Tadao Kasami

This author has not been identified. Look up 'Tadao Kasami' in Google