@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
}