Found 7 results
Filters: Author is Labaw, Bruce  [Clear All Filters]
1998
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, 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.
1996
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.
1995
Heitmeyer, C. L., and B. Labaw, "Consistency Checking of SCR-Style Requirements Specifications", International Symposium on Requirements Engineering, York, England, 1995.
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.
1993
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.
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.