BibSonomy ::  author :: Labaw ::

bookmarks

publications

• Automated consistency checking of requirements specifications
  Constance L. Heitmeyer and Ralph D. Jeffords and Bruce G. Labaw ACM Transactions on Software Engineering and Methodology5(3):231--261(1996)
  to scr formal evolution requirements by neilernst and 1 other person on Sep 18, 2006, 6:26 AM
  URL | BibTeX | spam 
• Applying the SCR requirements method to a weapons control panel: an experience report.
  Constance L. Heitmeyer and James Kirby and Bruce G. Labaw FMSP, page 92-102. ACM, (1998)
  to dblp by dblp on Feb 15, 2006, 12:00 AM
  URL | BibTeX | spam 
• Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.
  Constance L. Heitmeyer and James Kirby and Bruce G. Labaw and Myla Archer and Ramesh Bharadwaj IEEE Trans. Software Eng.24(11):927-948(1998)
  to dblp by dblp on Oct 14, 2004, 12:00 AM
  URL | BibTeX | spam 
• Automated Consistency Checking of Requirements Specifications.
  Constance L. Heitmeyer and Ralph D. Jeffords and Bruce G. Labaw ACM Trans. Softw. Eng. Methodol.5(3):231-261(1996)
  to dblp by dblp and 1 other person on Nov 26, 2003, 12:00 AM
  URL | BibTeX | spam 
• A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.
  Monica Brockmeyer and Farnam Jahanian and Constance L. Heitmeyer and Bruce G. Labaw IEEE Real Time Technology and Applications Symposium, page 125-135. IEEE Computer Society, (1997)
  to dblp by dblp on May 22, 2003, 12:00 AM
  URL | BibTeX | spam 
• Consistency checking of SCR-style requirements specifications.
  Constance L. Heitmeyer and Bruce G. Labaw and Daniel L. Kiskis RE, page 56-65. IEEE Computer Society, (1995)
  to dblp by dblp on Feb 26, 2003, 12:00 AM
  URL | BibTeX | spam 
• A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications.
  Monica Brockmeyer and Farnam Jahanian and Elly Winner and Constance L. Heitmeyer and Bruce G. Labaw HASE, page 78-84. IEEE Computer Society, (1997)
  to dblp by dblp on Feb 4, 2003, 12:00 AM
  URL | BibTeX | spam 
• The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support.
  Constance L. Heitmeyer and James Kirby and Bruce G. Labaw ICSE, page 610-611. (1997)
  to dblp by dblp on Dec 17, 2002, 12:00 AM
  URL | BibTeX | spam 
• SCR*: A Toolset for Specifying and Analyzing Software Requirements.
  Constance L. Heitmeyer and James Kirby and Bruce G. Labaw and Ramesh Bharadwaj CAV, volume 1427 of Lecture Notes in Computer Science, page 526-531. Springer, (1998)
  to dblp by dblp on Feb 28, 2002, 12:00 AM
  URL | BibTeX | spam 
• MT: A Toolset for Specifying and Analyzing Real-Time Systems.
  Paul C. Clements and Constance L. Heitmeyer and Bruce G. Labaw and A. T. Rose IEEE Real-Time Systems Symposium, page 12-22. (1993)
  to dblp by dblp on Jan 3, 2002, 12:00 AM
  URL | BibTeX | spam