|
Search the dblp DataBase
Bruce G. Labaw:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj
SCR*: A Toolset for Specifying and Analyzing Software Requirements. [Citation Graph (0, 0)][DBLP] CAV, 1998, pp:526-531 [Conf]
- Constance L. Heitmeyer, James Kirby, Bruce G. Labaw
Applying the SCR requirements method to a weapons control panel: an experience report. [Citation Graph (0, 0)][DBLP] FMSP, 1998, pp:92-102 [Conf]
- Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications. [Citation Graph (0, 0)][DBLP] HASE, 1997, pp:78-84 [Conf]
- Constance L. Heitmeyer, James Kirby, Bruce G. Labaw
The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support. [Citation Graph (0, 0)][DBLP] ICSE, 1997, pp:610-611 [Conf]
- Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis
Consistency checking of SCR-style requirements specifications. [Citation Graph (0, 0)][DBLP] RE, 1995, pp:56-65 [Conf]
- Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Bruce G. Labaw
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. [Citation Graph (0, 0)][DBLP] IEEE Real Time Technology and Applications Symposium, 1997, pp:125-135 [Conf]
- Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose
MT: A Toolset for Specifying and Analyzing Real-Time Systems. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1993, pp:12-22 [Conf]
- Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw
Automated Consistency Checking of Requirements Specifications. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 1996, v:5, n:3, pp:231-261 [Journal]
- Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1998, v:24, n:11, pp:927-948 [Journal]
Search in 0.000secs, Finished in 0.001secs
|