Model checking requirements written in a controlled natural language
Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-07-12T13:26:23Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) SergioBarzaDissertation.pdf: 2147656 bytes, checksum: 5c75fe2262be1d224538c1ad6a575ebb (MD5) === Made availabl...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | English |
| Published: |
Universidade Federal de Pernambuco
2017
|
| Subjects: | |
| Online Access: | https://repositorio.ufpe.br/handle/123456789/19519 |