Travelled to:1 × France
3 × USA
Collaborated with:N.G.Leveson M.P.E.Heimdahl F.Modugno K.Partridge S.D.Sandys R.J.Anderson P.Beame S.Burns W.Chan D.Notkin
Talks about:specif (4) softwar (3) analysi (2) system (2) safeti (2) requir (2) process (1) languag (1) control (1) lesson (1)
Person: Jon Damon Reese
DBLP: Reese:Jon_Damon
Contributed to:
1999
1997
1997
1996Wrote 5 papers:
- ESEC-FSE-1999-LevesonHR #design #lessons learnt #process #specification
- Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future (NGL, MPEH, JDR), pp. 127–145.
- ICSE-1997-ReeseL #analysis
- Software Deviation Analysis (JDR, NGL), pp. 250–260.
- RE-1997-HeimdahlR #requirements #safety #specification
- Software Requirements Specification and System Safety (MPEH, JDR), p. 264.
- RE-1997-ModugnoLRPS #analysis #requirements #safety #specification
- Integrated Safety Analysis of Requirements Specifications (FM, NGL, JDR, KP, SDS), pp. 148–159.
- FSE-1996-AndersonBBCMNR #model checking #scalability #specification
- Model Checking Large Software Specifications (RJA, PB, SB, WC, FM, DN, JDR), pp. 156–166.