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.
Assisting requirement formalization by means of natural language translation
Fantechi A;Gnesi S;
1992
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_413939-doc_145756.pdf
accesso aperto
Descrizione: Assisting requirement formalization by means of natural language translation
Dimensione
1.41 MB
Formato
Adobe PDF
|
1.41 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
