dblp.uni-trier.dewww.uni-trier.de

James Kirby

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999
5EEJames Kirby, Myla Archer, Constance L. Heitmeyer: SCR: A Practical Approach to Building a High Assurance COMSEC System. ACSAC 1999: 109-118
1998
4 Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Ramesh Bharadwaj: SCR*: A Toolset for Specifying and Analyzing Software Requirements. CAV 1998: 526-531
3EEConstance L. Heitmeyer, James Kirby, Bruce G. Labaw: Applying the SCR requirements method to a weapons control panel: an experience report. FMSP 1998: 92-102
2EEConstance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj: Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. IEEE Trans. Software Eng. 24(11): 927-948 (1998)
1997
1EEConstance L. Heitmeyer, James Kirby, Bruce G. Labaw: The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support. ICSE 1997: 610-611

Coauthor Index

1Myla Archer [2] [5]
2Ramesh Bharadwaj [2] [4]
3Constance L. Heitmeyer (Connie Heitmeyer) [1] [2] [3] [4] [5]
4Bruce G. Labaw [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)