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 …

Templates are effective tools for increasing the precision of natural language requirements
and for avoiding ambiguities that may arise from the use of unrestricted natural language …

This document reports on our participation in the MORSE (“A Method for Object Reuse in
Safety-critical Environments”) project. Our brief in the project was to investigate the role that …

Requirements are informal and semi-formal descriptions of the expected behavior of a
complex system from the viewpoints of its stakeholders (customers, users, operators …

Natural language processing is the application of au-tomated parsing and machine learning
techniques to analyze standard text. Applications of NLP to requirements engineering …

This paper describes an experiment conducted to determine how effectively formal methods
could be used to capture and validate the requirements of a typical embedded system. A …

This paper describes current progress on SpeAR, a novel tool for capturing and analyzing
requirements in a domain specific language designed to read like natural language. Using …

Ambiguity in requirement specifications causes numerous problems; for example in defining
customer/supplier contracts, ensuring the integrity of safety-critical systems, and analysing …

We describe our ongoing research that centres on the application of natural language
processing (NLP) to software engineering and systems development activities. In particular …

Incomplete, inaccurate, ambiguous, and vola-tile requirements have plagued the software
industry since its inception. The convergence of model-based development and formal …