Bruce G. Labaw
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1993–1998
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | CAV | SCR*: A Toolset for Specifying and Analyzing Software Requirements. | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj |
| 1997 | ICSE | The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support. | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw |
| 1997 | RTAS | A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications. | Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, Bruce G. Labaw |
| 1995 | RE | Consistency checking of SCR-style requirements specifications. | Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis |
| 1993 | RTSS | MT: A Toolset for Specifying and Analyzing Real-Time Systems. | Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose |