BibSonomy :: publication ::

tag user group author concept BibTeX key search:all search:neilernst

The blue social bookmark and publication sharing system.

(0)

This publication has not been reviewed yet.

rating distribution

average user rating

The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.

(0.0 of 5.0 based on 0 reviews)

Automated consistency checking of requirements specifications

by: Constance L. Heitmeyer, Ralph D. Jeffords, and Bruce G. Labaw

In: ACM Transactions on Software Engineering and Methodology, Vol. 5, Nr. 3 (1996) , p. 231--261.

Resources (URL, PDF, PS...)

URL:	http://citeseer.ist.psu.edu/heitmeyer96automated.html

This article describes a formal analysis technique, called consistency checking, for automatic detection of errors, such as type errors, nondeterminism, missing cases, and circular definitions, in requirements specifications. The technique is designed to analyze requirements specifications expressed in the SCR Software Cost Reduction tabular notation. As background, the SCR approach to specifying requirements is reviewed. To provide a formal semantics for the SCR notation and a foundation for ...

Description

Not previously uploaded

BibTeX record

@article{heitmeyer96,
  abstract = {This article describes a formal analysis technique, called consistency
	checking, for automatic detection of errors, such as type errors,
	nondeterminism, missing cases, and circular definitions, in requirements
	specifications. The technique is designed to analyze requirements
	specifications expressed in the SCR (Software Cost Reduction) tabular
	notation. As background, the SCR approach to specifying requirements
	is reviewed. To provide a formal semantics for the SCR notation
	and a foundation for ...},
  added-at = {2006-09-18T06:26:07.000+0200},
  author = {Heitmeyer, Constance L. and Jeffords, Ralph D. and Labaw, Bruce G.},
  biburl = {http://www.bibsonomy.org/bibtex/2d3de73250b80253b842f2083ff195f65/neilernst},
  citeulike-article-id = {238222},
  description = {Not previously uploaded},
  interhash = {8834a18314e83eab598a4e413f0d0feb},
  intrahash = {d3de73250b80253b842f2083ff195f65},
  journal = {ACM Transactions on Software Engineering and Methodology},
  keywords = {scr formal evolution requirements},
  number = 3,
  pages = {231--261},
  priority = {0},
  timestamp = {2006-09-18T06:26:07.000+0200},
  title = {Automated consistency checking of requirements specifications},
  url = {http://citeseer.ist.psu.edu/heitmeyer96automated.html},
  volume = 5,
  year = 1996
}

Endnote record