Sciweavers

45 search results - page 1 / 9
» Completeness and Consistency Analysis of State-Based Require...
Sort
View
ICSE
1995
IEEE-ACM
13 years 8 months ago
Completeness and Consistency Analysis of State-Based Requirements
Mats Per Erik Heimdahl, Nancy G. Leveson
COMPSAC
2000
IEEE
13 years 9 months ago
Automating Scenario-Driven Structured Requirements Engineering
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
Hong Zhu, Lingzi Jin
WER
2005
Springer
13 years 10 months ago
A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents
This paper presents J-RAn (Java Requirement Analyzer), a tool that implements a novel Content Analysis technique to support the verification of consistency and completeness of a So...
Alessandro Fantechi, Emilio Spinicci
ASE
2005
102views more  ASE 2005»
13 years 5 months ago
Tool-Supported Verification of Product Line Requirements
A recurring difficulty for organizations that employ a product-line approach to development is that when a new product is added to an existing product line, there is currently no a...
Prasanna Padmanabhan, Robyn R. Lutz
DAGSTUHL
2006
13 years 6 months ago
A Model-Based Approach To Requirements Analysis
A major task in designing systems development is the systematic elaboration of functional system requirements and their integration into the environment of the overall technical s...
Bernhard Schätz, Eva Geisberger, Johannes Gr&...