BibSonomy publications for /author/LabawFri Sep 25 00:00:00 CEST 2009CAVconf/cav/1998526-531Lecture Notes in Computer ScienceSCR*: A Toolset for Specifying and Analyzing Software Requirements.14271998dblp Mon Sep 18 06:26:07 CEST 2006ACM Transactions on Software Engineering and Methodology3231--261Automated consistency checking of requirements specifications51996scr formal evolution requirements 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 ...Wed Feb 15 00:00:00 CET 2006FMSPconf/fmsp/199892-102Applying the SCR requirements method to a weapons control panel: an experience report.1998dblp Thu Oct 14 00:00:00 CEST 2004IEEE Trans. Software Eng.11927-948Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.241998dblp Wed Nov 26 00:00:00 CET 2003ACM Trans. Softw. Eng. Methodol.3231-261Automated Consistency Checking of Requirements Specifications.51996dblp Thu May 22 00:00:00 CEST 2003IEEE Real Time Technology and Applications Symposiumconf/rtas/1997125-135A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.1997dblp Wed Feb 26 00:00:00 CET 2003REconf/re/199556-65Consistency checking of SCR-style requirements specifications.1995dblp Tue Feb 04 00:00:00 CET 2003HASEconf/hase/199778-84A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications.1997dblp Tue Dec 17 00:00:00 CET 2002ICSE610-611The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support.1997dblp Thu Jan 03 00:00:00 CET 2002IEEE Real-Time Systems Symposium12-22MT: A Toolset for Specifying and Analyzing Real-Time Systems.1993dblp