Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Ristori G., Carenini M., Marino M., Moreschini P. Assisting requirement formalization by means of natural language translation. Internal note IEI-B4-34, 1992.
In this paper prototype assistant for the formalization of requirements is presented, which translates Natural Language expressions into Temporal Logic formulae. The translator is realized using a general development environment for Natural Language processing and it has been interfaced with a verification environment of behavioural properties on reactive systems.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional