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

Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami

Browse the full RE paper archive.