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: Joyce:Jeffrey_J=
Contributed to:
2000
1993
1991Wrote 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.