Sciweavers

136 search results - page 2 / 28
» Lightweight Validation of Natural Language Requirements: A C...
Sort
View
RE
2008
Springer
13 years 3 months ago
Requirements for tools for ambiguity identification and measurement in natural language requirements specifications
This paper proposes a two-step approach to identifying ambiguities in natural language (NL) requirements specifications (RSs). In the first step, a tool would apply a set of ambig...
Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, Dan...
TSE
1998
131views more  TSE 1998»
13 years 5 months ago
Experiences Using Lightweight Formal Methods for Requirements Modeling
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
Steve M. Easterbrook, Robyn R. Lutz, Richard Covin...
DILS
2006
Springer
13 years 9 months ago
Improving Text Mining with Controlled Natural Language: A Case Study for Protein Interactions
Linking the biomedical literature to other data resources is notoriously difficult and requires text mining. Text mining aims to automatically extract facts from literature. Since ...
Tobias Kuhn, Loïc Royer, Norbert E. Fuchs, Mi...
JUCS
2000
100views more  JUCS 2000»
13 years 5 months ago
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study
: Evaluations of methods and tools applied to a reference problem are useful when comparing various techniques. In this paper, we present a solution to the challenge of capturing t...
Jeffrey M. Thompson, Michael W. Whalen, Mats Per E...
RE
2004
Springer
13 years 10 months ago
RETNA: From Requirements to Testing in a Natural Way
Most problems in building and refining a system can be traced back to errors in requirements. Poorly organized requirements, most often in natural language are among the major ca...
Ravishankar Boddu, Lan Guo, Supratik Mukhopadhyay,...