sign in · help · news · about ·

BibSonomy :: author :: Labaw ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(9)

<< < 1 > >>

SCR*: A Toolset for Specifying and Analyzing Software Requirements.
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, and Ramesh Bharadwaj CAV, volume 1427 of Lecture Notes in Computer Science, page 526-531. Springer, (1998)
to dblp by dblp on Sep 25, 2009, 12:00 AM
URL | BibTeX
Applying the SCR requirements method to a weapons control panel: an experience report.
Constance L. Heitmeyer, James Kirby, and Bruce G. Labaw FMSP, page 92-102. ACM, (1998)
to dblp by dblp on Feb 15, 2006, 12:00 AM
URL | BibTeX
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.
Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, and Ramesh Bharadwaj IEEE Trans. Software Eng. 24(11):927-948 (1998)
to dblp by dblp on Oct 14, 2004, 12:00 AM
URL | BibTeX
Automated Consistency Checking of Requirements Specifications.
Constance L. Heitmeyer, Ralph D. Jeffords, and Bruce G. Labaw ACM Trans. Softw. Eng. Methodol. 5(3):231-261 (1996)
to dblp by dblp and 1 other user on Nov 26, 2003, 12:00 AM
URL | BibTeX
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.
Monica Brockmeyer, Farnam Jahanian, Constance L. Heitmeyer, and Bruce G. Labaw IEEE Real Time Technology and Applications Symposium, page 125-135. IEEE Computer Society, (1997)
to dblp by dblp on May 22, 2003, 12:00 AM
URL | BibTeX
Consistency checking of SCR-style requirements specifications.
Constance L. Heitmeyer, Bruce G. Labaw, and Daniel L. Kiskis RE, page 56-65. IEEE Computer Society, (1995)
to dblp by dblp on Feb 26, 2003, 12:00 AM
URL | BibTeX
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications.
Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, and Bruce G. Labaw HASE, page 78-84. IEEE Computer Society, (1997)
to dblp by dblp on Feb 4, 2003, 12:00 AM
URL | BibTeX
The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support.
Constance L. Heitmeyer, James Kirby, and Bruce G. Labaw ICSE, page 610-611. (1997)
to dblp by dblp on Dec 17, 2002, 12:00 AM
URL | BibTeX
MT: A Toolset for Specifying and Analyzing Real-Time Systems.
Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, and A. T. Rose IEEE Real-Time Systems Symposium, page 12-22. (1993)
to dblp by dblp on Jan 3, 2002, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper