This paper describes the specification, validation and verification of system and soft-ware requirements using the SCR tabular method and tools. An example is presented to illustrate the SCR tabular notation, and an overview of each of the ten tools in the SCR toolset is presented
In this paper, we define a number of tools that we think belong to the core of any toolkit for requi...
Abstract: Tracing between informal requirements and formal models is challeng-ing. A method for such...
The important tasks in requirement engineering are resolving requirements inconsistencies between r...
Although formal methods for developing computer systems have been available for more than a decade, ...
This paper describes a class of formal analysis called consistency checking that mechanically checks...
Researchers at the Naval Research Laboratory (NRL) have been developing a formal method, known as th...
This article describes a formal analysis technique, called consistency checking, for automatic detec...
SCR (Software Cost Reduction) is a formal method for specifying and analyzing system requirements th...
AbstractÐWriting requirements in a formal notation permits automatic assessment of such properties a...
This paper describes the combination of two industrially proven methods, SCR Requirements and Cleanr...
Tabular notations, in particular SCR specifications, have proved to be a useful means for formally d...
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer sys...
One approach to assuring information security is to control access to information through an appropr...
We propose a method for the elicitation and the ex-pression of requirements. The requirements can th...
In this paper, we define a number of tools that we think belong to the core of any toolkit for requi...
In this paper, we define a number of tools that we think belong to the core of any toolkit for requi...
Abstract: Tracing between informal requirements and formal models is challeng-ing. A method for such...
The important tasks in requirement engineering are resolving requirements inconsistencies between r...
Although formal methods for developing computer systems have been available for more than a decade, ...
This paper describes a class of formal analysis called consistency checking that mechanically checks...
Researchers at the Naval Research Laboratory (NRL) have been developing a formal method, known as th...
This article describes a formal analysis technique, called consistency checking, for automatic detec...
SCR (Software Cost Reduction) is a formal method for specifying and analyzing system requirements th...
AbstractÐWriting requirements in a formal notation permits automatic assessment of such properties a...
This paper describes the combination of two industrially proven methods, SCR Requirements and Cleanr...
Tabular notations, in particular SCR specifications, have proved to be a useful means for formally d...
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer sys...
One approach to assuring information security is to control access to information through an appropr...
We propose a method for the elicitation and the ex-pression of requirements. The requirements can th...
In this paper, we define a number of tools that we think belong to the core of any toolkit for requi...
In this paper, we define a number of tools that we think belong to the core of any toolkit for requi...
Abstract: Tracing between informal requirements and formal models is challeng-ing. A method for such...
The important tasks in requirement engineering are resolving requirements inconsistencies between r...
DOI
Add to ORKG