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. 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. 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. 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. 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. 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. 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. Clements etal1993.pdf (841.51 KB)