This toolset was created to help developers build specifications with greater assurance that the requirements will be complete, and the resulting software error-free. This is especially important for critical systems. The method for creating specifications is based on a scalable tabular notation.

The toolset is an integrated suite of tools for specifying and analyzing software requirements. The table-based system uses a language that engineers and computer system developers can quickly feel comfortable with. While the algorithms used in the toolset are based in mathematical logic, the user does not need to know this to successfully use the toolset.

The toolset consists of an editor for creating specifications, a consistency and completeness checker, a browser for picturing dependencies, and a simulator for testing the created specification. Some versions also include model checking and theorem proving extensions.

Selected Publications

2007 Heitmeyer CL, Jeffords R.  2007.  Applying a Formal Requirements Method to Three NASA Systems: Lessons Learned. 2007 IEEE Aerospace Conference. PDF icon HeitmeyerJeffords2007.pdf (616.1 KB)
2005 Heitmeyer CL, Archer M, Bharadwaj R, Jeffords R.  2005.  Tools for constructing requirements specifications: The SCR toolset at the age of ten. International Journal of Computer Systems Science and Engineering. 20(1):19-35.PDF icon Heitmeyer etal2005.pdf (774.15 KB)
2002 Heitmeyer CL, Marciniak JJ.  2002.  Software Cost Reduction. Encyclopedia of Software Engineering. 2PDF icon Heitmeyer2002.pdf (220.45 KB)