Bruce G. Labaw

Publication Activity (10 Years)

Years Active: 1993-1998
Publications (10 Years): 0

Publications

Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj
SCR*: A Toolset for Specifying and Analyzing Software Requirements. CAV (1998)
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw
Applying the SCR requirements method to a weapons control panel: an experience report. FMSP (1998)
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. IEEE Trans. Software Eng. 24 (11) (1998)
Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Bruce G. Labaw
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. IEEE Real Time Technology and Applications Symposium (1997)
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw
The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support. ICSE (1997)
Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications. HASE (1997)
Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw
Automated Consistency Checking of Requirements Specifications. ACM Trans. Softw. Eng. Methodol. 5 (3) (1996)
Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis
Consistency checking of SCR-style requirements specifications. RE (1995)
Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose
MT: A Toolset for Specifying and Analyzing Real-Time Systems. RTSS (1993)