sign in · help · news · about ·

BibSonomy :: author :: Jeffords ::

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

(14)

<< < 1 > >>

Model-based construction and verification of critical systems using composition and partial refinement.
Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, and Elizabeth I. Leonard Formal Methods in System Design 37(2-3):265-294 (2010)
to dblp by dblp on Feb 10, 2011, 12:00 AM
URL | BibTeX
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition.
Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, and Elizabeth I. Leonard FM, volume 5850 of Lecture Notes in Computer Science, page 173-189. Springer, (2009)
to dblp by dblp on Nov 5, 2009, 12:00 AM
URL | BibTeX
POLICY ISSUES: Political Issues in the Genome Era
J.M. Jeffords, and T. Daschle Science 291(5507):1249--1251 (2001)
to imported by jwbowers on Oct 28, 2009, 4:42 AM
URL | BibTeX
Parallel Decomposition of LRk Parsers Extended Abstract.
David B. Benson, and Ralph D. Jeffords ICALP, volume 52 of Lecture Notes in Computer Science, page 76-86. Springer, (1977)
to dblp by dblp on Sep 19, 2009, 12:00 AM
URL | BibTeX
RE Theory Meets Software Practice: Lessons from the Software Development Trenches.
Constance L. Heitmeyer, Ralph D. Jeffords, Ramesh Bharadwaj, and Myla Archer RE, page 265-268. IEEE, (2007)
to dblp by dblp on Mar 23, 2009, 12:00 AM
URL | BibTeX
Bit vector encoding via decomposition.
Ralph D. Jeffords ACM Southeast Regional Conference, page 217-222. ACM, (1982)
to dblp by dblp on Jun 18, 2008, 12:00 AM
URL | BibTeX
A strategy for efficiently verifying requirements.
Ralph D. Jeffords, and Constance L. Heitmeyer ESEC / SIGSOFT FSE, page 28-37. ACM, (2003)
to dblp by dblp on May 9, 2008, 12:00 AM
URL | BibTeX
Tools for constructing requirements specifications: the SCR Toolset at the age of nine.
Constance L. Heitmeyer, Myla Archer, Ramesh Bharadwaj, and Ralph D. Jeffords Comput. Syst. Sci. Eng. (2005)
to dblp by dblp on Feb 20, 2007, 12:00 AM
URL | BibTeX
Automated consistency checking of requirements specifications
Constance L. Heitmeyer, Ralph D. Jeffords, and Bruce G. Labaw ACM Transactions on Software Engineering and Methodology 5(3):231--261 (1996)
to scr formal evolution requirements by neilernst and 1 other user on Sep 18, 2006, 6:26 AM
URL | BibTeX
Using invariants to optimize formal specifications before code synthesis.
Ralph D. Jeffords, and Elizabeth I. Leonard MEMOCODE, page 73-82. IEEE, (2004)
to dblp by dblp on Aug 23, 2006, 12:00 AM
URL | BibTeX
Extended abstract: formal verification of architectural patterns in support of dependable distributed systems.
Ralph D. Jeffords, and Ramesh Bharadwaj MEMOCODE, page 243-244. IEEE, (2005)
to dblp by dblp on Aug 23, 2006, 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
An Algorithm for Strengthening State Invariants Generated from Requirements Specifications.
Ralph D. Jeffords, and Constance L. Heitmeyer RE, page 182-193. IEEE Computer Society, (2001)
to dblp by dblp on Feb 21, 2003, 12:00 AM
URL | BibTeX
Automatic Generation of State Invariants from Requirements Specifications.
Ralph D. Jeffords, and Constance L. Heitmeyer SIGSOFT FSE, page 56-69. (1998)
to dblp by dblp on Dec 6, 2002, 12:00 AM
URL | BibTeX

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

a gripper