Lightweight validation of natural language requirements

V Gervasi, B Nuseibeh - Software: Practice and Experience, 2002 - Wiley Online Library
In this paper, we report on our experiences of using lightweight formal methods for the
partial validation of natural language requirements documents. We describe our approach to …
被引用次数：159 相关文章

Lightweight validation of natural language requirements: a case study.

V Gervasi, B Nuseibeh - Proc. of the 4th International Conference on …, 2000 - arpi.unipi.it
In this paper, we report on our experiences of using lightweight formal methods for the
partial validation of natural language (NL) requirements documents. We describe a case …

Lightweight validation of natural language requirements: a case study

V Gervasi, B Nuseibeh - Proceedings Fourth International …, 2000 - ieeexplore.ieee.org
The authors report on their experiences of using lightweight formal methods for the partial
validation of natural language (NL) requirements documents. They describe a case study …
[PDF] unipi.it

[PDF][PDF] Lightweight validation of natural language requirements

V Gervasi, B Nuseibeh - Softw. Pract. Exper, 2002 - islp.di.unipi.it
In this paper, we report on our experiences of using lightweight formal methods for the
partial validation of natural language requirements documents. We describe our approach to …
[PDF] psu.edu

[PDF][PDF] Lightweight validation of natural language requirements

V Gervasi, B Nuseibeh - Softw. Pract. Exper, 2002 - Citeseer
In this paper, we report on our experiences of using lightweight formal methods for the
partial validation of natural language requirements documents. We describe our approach to …
[PDF] unipi.it

[PDF][PDF] Lightweight validation of natural language requirements

V Gervasi, B Nuseibeh - Softw. Pract. Exper, 2002 - bilbo.di.unipi.it
In this paper, we report on our experiences of using lightweight formal methods for the
partial validation of natural language requirements documents. We describe our approach to …
[PDF] academia.edu

[PDF][PDF] Lightweight validation of natural language requirements

V Gervasi, B Nuseibeh - Softw. Pract. Exper, 2002 - academia.edu
In this paper, we report on our experiences of using lightweight formal methods for the
partial validation of natural language requirements documents. We describe our approach to …

Lightweight Validation of Natural Language Requirements

V Gervasi, B Nuseibeh - Software: Practice and Experience, 2002 - oro.open.ac.uk
In this paper, we report on our experiences of using lightweight formal methods for the
partial validation of natural language requirements documents. We describe our approach to …

Lightweight Validation of Natural Language Requirements: A Case Study

V Gervasi, B Nuseibeh - Requirements Engineering, IEEE …, 2000 - computer.org
In this paper, we report on our experiences of using lightweight formal methods for the
partial validation of natural language requirements documents. We describe a case study …
[PDF] archive.org

[PDF][PDF] Lightweight Validation of Natural Language Requirements: a case study

V Gervasi, B Nuseibeh - scholar.archive.org
In this paper, we report on our experiences of using lightweight formal methods for the
partial validation of natural language (NL) requirements documents. We describe a case …