Found 7 results
Filters: Author is Labaw, Bruce  [Clear All Filters]
Heitmeyer, C. L., J. Kirby, Jr, B. Labaw, and R. Bharadwaj, "SCR*: A Toolset for Specifying and Analyzing Software Requirements", Computer-Aided Verification, 10th Ann. Conf. (CAV'98), Vancouver, BC, Canada, 1998. PDF icon Heitmeyer etal1998.pdf (154.77 KB)
Heitmeyer, C. L., J. Kirby, Jr, B. Labaw, M. Archer, and R. Bharadwaj, "Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications", IEEE Transactions on Software Engineering, vol. 24, issue 11, 1998. PDF icon Heitmeyer etal1998b.pdf (897.72 KB)
Heitmeyer, C. L., R. Jeffords, and B. Labaw, "Automated Consistency Checking of Requirements Specifications", ACM Transactions on Software Engineering and Methodology, vol. 5, issue 3, pp. 231-261, 1996. PDF icon Heitmeyer etal1996.pdf (394.91 KB)
Heitmeyer, C. L., and B. Labaw, "Consistency Checking of SCR-Style Requirements Specifications", International Symposium on Requirements Engineering, York, England, 1995. PDF icon HeitmeyerLabaw1995.pdf (257.28 KB)
Heitmeyer, C. L., A. Bull, C. Gasarch, and B. Labaw, "SCR*: A Toolset for Specifying and Analyzing Requirements", Tenth Annual Conference on Computer Assurance (COMPASS '95), Gaithersburg, Maryland, pp. 109-122, 1995. PDF icon Heitmeyer etal1995.pdf (388.92 KB)
Heitmeyer, C. L., B. Labaw, and R. Jeffords, "A Benchmark for Comparing Different Approaches for Specifying and Verifying Real-Time Systems", Tenth IEEE Workshop on Real-Time Operating Systems and Software: IEEE Computer Society Press, 1993. PDF icon Heitmeyer etal1993.pdf (95.56 KB)
Clements, P. C., C. L. Heitmeyer, B. Labaw, and A. T. Rose, "MT: A toolset for specifying and analyzing real-time systems", IEEE Real-Time Systems Symposium, pp. 12-22, 1993. PDF icon Clements etal1993.pdf (841.51 KB)