Travelled to:1 × Canada
1 × USA
Collaborated with:C.L.Heitmeyer J.Kirby D.L.Kiskis R.Bharadwaj
Talks about:requir (3) scr (3) specifi (2) toolset (1) support (1) softwar (1) consist (1) verifi (1) specif (1) method (1)
Person: Bruce G. Labaw
DBLP: Labaw:Bruce_G=
Contributed to:
1998
1997
1995Wrote 3 papers:
- CAV-1998-HeitmeyerKLB #requirements #specification #tool support
- SCR*: A Toolset for Specifying and Analyzing Software Requirements (CLH, JK, BGL, RB), pp. 526–531.
- ICSE-1997-HeitmeyerKL #requirements #specification #tool support #validation #verification
- The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support (CLH, JK, BGL), pp. 610–611.
- RE-1995-HeitmeyerLK #consistency #requirements #specification
- Consistency checking of SCR-style requirements specifications (CLH, BGL, DLK), pp. 56–65.