|
Search the dblp DataBase
Ralph D. Jeffords:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David B. Benson, Ralph D. Jeffords
Parallel Decomposition of LR(k) Parsers (Extended Abstract). [Citation Graph (0, 0)][DBLP] ICALP, 1977, pp:76-86 [Conf]
- Ralph D. Jeffords, Ramesh Bharadwaj
Extended abstract: formal verification of architectural patterns in support of dependable distributed systems. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2005, pp:243-244 [Conf]
- Ralph D. Jeffords, Elizabeth I. Leonard
Using invariants to optimize formal specifications before code synthesis. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2004, pp:73-82 [Conf]
- Ralph D. Jeffords, Constance L. Heitmeyer
An Algorithm for Strengthening State Invariants Generated from Requirements Specifications. [Citation Graph (0, 0)][DBLP] RE, 2001, pp:182-193 [Conf]
- Ralph D. Jeffords, Constance L. Heitmeyer
A strategy for efficiently verifying requirements. [Citation Graph (0, 0)][DBLP] ESEC / SIGSOFT FSE, 2003, pp:28-37 [Conf]
- Ralph D. Jeffords, Constance L. Heitmeyer
Automatic Generation of State Invariants from Requirements Specifications. [Citation Graph (0, 0)][DBLP] SIGSOFT FSE, 1998, pp:56-69 [Conf]
- Constance L. Heitmeyer, Myla Archer, Ramesh Bharadwaj, Ralph D. Jeffords
Tools for constructing requirements specifications: the SCR Toolset at the age of nine. [Citation Graph (0, 0)][DBLP] Comput. Syst. Sci. Eng., 2005, v:20, n:1, pp:- [Journal]
- Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw
Automated Consistency Checking of Requirements Specifications. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 1996, v:5, n:3, pp:231-261 [Journal]
Bit vector encoding via decomposition. [Citation Graph (, )][DBLP]
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition. [Citation Graph (, )][DBLP]
RE Theory Meets Software Practice: Lessons from the Software Development Trenches. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|