BibSonomyburst/author/LabawBibSonomy RSS feed for /author/Labaw2012-02-15T10:38:42+01:00http://www.bibsonomy.org/bibtex/2432e286c456f354efd248bd596874714/dblpdblp2009-09-25T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Heitmeyer">Constance L. Heitmeyer</a>, <a href="/author/Kirby">James Kirby</a>, <a href="/author/Labaw">Bruce G. Labaw</a>, and <a href="/author/Bharadwaj">Ramesh Bharadwaj</a> </span><em>CAV, </em><em>volume 1427 of Lecture Notes in Computer Science, </em><em>page 526-531. </em><em>Springer, </em>(<em>1998</em>)Fri Sep 25 00:00:00 CEST 2009CAVconf/cav/1998526-531Lecture Notes in Computer ScienceSCR*: A Toolset for Specifying and Analyzing Software Requirements.14271998dblp dblphttp://www.bibsonomy.org/bibtex/2d3de73250b80253b842f2083ff195f65/neilernstneilernst2006-09-18T06:26:07+02:00scr formal evolution requirements <span class="authorEditorList"><a href="/author/Heitmeyer">Constance L. Heitmeyer</a>, <a href="/author/Jeffords">Ralph D. Jeffords</a>, and <a href="/author/Labaw">Bruce G. Labaw</a> </span><em>ACM Transactions on Software Engineering and Methodology</em> <em>5(3):231--261</em> (<em>1996</em>)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 ...Not previously uploadedhttp://www.bibsonomy.org/bibtex/2ebb64274236a8e7c12b3a6fa5184235a/dblpdblp2006-02-15T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Heitmeyer">Constance L. Heitmeyer</a>, <a href="/author/Kirby">James Kirby</a>, and <a href="/author/Labaw">Bruce G. Labaw</a> </span><em>FMSP, </em><em>page 92-102. </em><em>ACM, </em>(<em>1998</em>)Wed Feb 15 00:00:00 CET 2006FMSPconf/fmsp/199892-102Applying the SCR requirements method to a weapons control panel: an experience report.1998dblp dblphttp://www.bibsonomy.org/bibtex/28fe5b43aaa7bcbf818b4c3f4b517c7af/dblpdblp2004-10-14T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Heitmeyer">Constance L. Heitmeyer</a>, <a href="/author/Kirby">James Kirby</a>, <a href="/author/Labaw">Bruce G. Labaw</a>, <a href="/author/Archer">Myla Archer</a>, and <a href="/author/Bharadwaj">Ramesh Bharadwaj</a> </span><em>IEEE Trans. Software Eng.</em> <em>24(11):927-948</em> (<em>1998</em>)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 dblphttp://www.bibsonomy.org/bibtex/29b16a81b04c103b8489022eb4682bf4c/dblpdblp2003-11-26T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Heitmeyer">Constance L. Heitmeyer</a>, <a href="/author/Jeffords">Ralph D. Jeffords</a>, and <a href="/author/Labaw">Bruce G. Labaw</a> </span><em>ACM Trans. Softw. Eng. Methodol.</em> <em>5(3):231-261</em> (<em>1996</em>)Wed Nov 26 00:00:00 CET 2003ACM Trans. Softw. Eng. Methodol.3231-261Automated Consistency Checking of Requirements Specifications.51996dblp dblphttp://www.bibsonomy.org/bibtex/21791cb02e33d69d74eb16620f20d0d90/dblpdblp2003-05-22T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Brockmeyer">Monica Brockmeyer</a>, <a href="/author/Jahanian">Farnam Jahanian</a>, <a href="/author/Heitmeyer">Constance L. Heitmeyer</a>, and <a href="/author/Labaw">Bruce G. Labaw</a> </span><em>IEEE Real Time Technology and Applications Symposium, </em><em>page 125-135. </em><em>IEEE Computer Society, </em>(<em>1997</em>)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 dblphttp://www.bibsonomy.org/bibtex/20772003e02dff005a5432c2fb77efd26/dblpdblp2003-02-26T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Heitmeyer">Constance L. Heitmeyer</a>, <a href="/author/Labaw">Bruce G. Labaw</a>, and <a href="/author/Kiskis">Daniel L. Kiskis</a> </span><em>RE, </em><em>page 56-65. </em><em>IEEE Computer Society, </em>(<em>1995</em>)Wed Feb 26 00:00:00 CET 2003REconf/re/199556-65Consistency checking of SCR-style requirements specifications.1995dblp dblphttp://www.bibsonomy.org/bibtex/21007d478937601f0efd4e52a1d3747e3/dblpdblp2003-02-04T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Brockmeyer">Monica Brockmeyer</a>, <a href="/author/Jahanian">Farnam Jahanian</a>, <a href="/author/Winner">Elly Winner</a>, <a href="/author/Heitmeyer">Constance L. Heitmeyer</a>, and <a href="/author/Labaw">Bruce G. Labaw</a> </span><em>HASE, </em><em>page 78-84. </em><em>IEEE Computer Society, </em>(<em>1997</em>)Tue Feb 04 00:00:00 CET 2003HASEconf/hase/199778-84A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications.1997dblp dblphttp://www.bibsonomy.org/bibtex/2831491f740180694a9b22207d4ab966a/dblpdblp2002-12-17T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Heitmeyer">Constance L. Heitmeyer</a>, <a href="/author/Kirby">James Kirby</a>, and <a href="/author/Labaw">Bruce G. Labaw</a> </span><em>ICSE, </em><em>page 610-611. </em>(<em>1997</em>)Tue Dec 17 00:00:00 CET 2002ICSE610-611The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support.1997dblp dblphttp://www.bibsonomy.org/bibtex/2be238f4bf382433c1ee5eab08b5ec4b0/dblpdblp2002-01-03T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Clements">Paul C. Clements</a>, <a href="/author/Heitmeyer">Constance L. Heitmeyer</a>, <a href="/author/Labaw">Bruce G. Labaw</a>, and <a href="/author/Rose">A. T. Rose</a> </span><em>IEEE Real-Time Systems Symposium, </em><em>page 12-22. </em>(<em>1993</em>)Thu Jan 03 00:00:00 CET 2002IEEE Real-Time Systems Symposium12-22MT: A Toolset for Specifying and Analyzing Real-Time Systems.1993dblp dblp