BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
2 × USA
Collaborated with:
C.H.Seger N.A.Day
Talks about:
methodolog (1) framework (1) interact (1) theorem (1) analysi (1) symbol (1) specif (1) requir (1) formal (1) cosmos (1)

Person: Jeffrey J. Joyce

DBLP DBLP: Joyce:Jeffrey_J=

Contributed to:

ICRE 20002000
DAC 19931993
CAV 19911991

Wrote 3 papers:

ICRE-2000-DayJ #analysis #framework #multi #requirements #specification
A Framework for Multi-Notation Requirements Specification and Analysis (NAD, JJJ), pp. 39–48.
DAC-1993-JoyceS #evaluation #interactive #symbolic computation
Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving (JJJ, CJHS), pp. 469–474.
CAV-1991-SegerJ #using #verification
A Two-Level Formal Verification Methodology using HOL and COSMOS (CJHS, JJJ), pp. 299–309.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.