Login / Signup

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

Yasunori IshiharaHiroyuki SekiTadao Kasami
Published in: RE (1993)
Keyphrases
  • formal specification
  • objective function
  • natural language
  • significant improvement
  • database
  • high level
  • similarity measure
  • relational databases
  • probabilistic model
  • reverse engineering