| 1998 |
|---|
| 9 | | Constance L. Heitmeyer,
James Kirby,
Bruce G. Labaw,
Ramesh Bharadwaj:
SCR*: A Toolset for Specifying and Analyzing Software Requirements.
CAV 1998: 526-531 |
| 8 | EE | Constance L. Heitmeyer,
James Kirby,
Bruce G. Labaw:
Applying the SCR requirements method to a weapons control panel: an experience report.
FMSP 1998: 92-102 |
| 7 | EE | 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): 927-948 (1998) |
| 1997 |
|---|
| 6 | EE | 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: 78-84 |
| 5 | EE | Constance L. Heitmeyer,
James Kirby,
Bruce G. Labaw:
The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support.
ICSE 1997: 610-611 |
| 4 | EE | 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: 125-135 |
| 1996 |
|---|
| 3 | EE | Constance L. Heitmeyer,
Ralph D. Jeffords,
Bruce G. Labaw:
Automated Consistency Checking of Requirements Specifications.
ACM Trans. Softw. Eng. Methodol. 5(3): 231-261 (1996) |
| 1995 |
|---|
| 2 | EE | Constance L. Heitmeyer,
Bruce G. Labaw,
Daniel L. Kiskis:
Consistency checking of SCR-style requirements specifications.
RE 1995: 56-65 |
| 1993 |
|---|
| 1 | | Paul C. Clements,
Constance L. Heitmeyer,
Bruce G. Labaw,
A. T. Rose:
MT: A Toolset for Specifying and Analyzing Real-Time Systems.
IEEE Real-Time Systems Symposium 1993: 12-22 |
