Ralph D. Jeffords

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

10EEConstance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, Myla Archer: RE Theory Meets Software Practice: Lessons from the Software Development Trenches. RE 2007: 265-268
9EERalph D. Jeffords, Ramesh Bharadwaj: Extended abstract: formal verification of architectural patterns in support of dependable distributed systems. MEMOCODE 2005: 243-244
8 Constance L. Heitmeyer, Myla Archer, Ramesh Bharadwaj, Ralph D. Jeffords: Tools for constructing requirements specifications: the SCR Toolset at the age of nine. Comput. Syst. Sci. Eng. 20(1): (2005)
7EERalph D. Jeffords, Elizabeth I. Leonard: Using invariants to optimize formal specifications before code synthesis. MEMOCODE 2004: 73-82
6EERalph D. Jeffords, Constance L. Heitmeyer: A strategy for efficiently verifying requirements. ESEC / SIGSOFT FSE 2003: 28-37
5EERalph D. Jeffords, Constance L. Heitmeyer: An Algorithm for Strengthening State Invariants Generated from Requirements Specifications. RE 2001: 182-193
4EERalph D. Jeffords, Constance L. Heitmeyer: Automatic Generation of State Invariants from Requirements Specifications. SIGSOFT FSE 1998: 56-69
3EEConstance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw: Automated Consistency Checking of Requirements Specifications. ACM Trans. Softw. Eng. Methodol. 5(3): 231-261 (1996)
2EERalph D. Jeffords: Bit vector encoding via decomposition. ACM Southeast Regional Conference 1982: 217-222
1 David B. Benson, Ralph D. Jeffords: Parallel Decomposition of LR(k) Parsers (Extended Abstract). ICALP 1977: 76-86

Coauthor Index

1Myla Archer [8] [10]
2David B. Benson [1]
3Ramesh Bharadwaj [8] [9] [10]
4Constance L. Heitmeyer (Connie Heitmeyer) [3] [4] [5] [6] [8] [10]
5Bruce G. Labaw [3]
6Elizabeth I. Leonard [7]

Colors in the list of coauthors

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