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, 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, 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, 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.
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.