|
Search the dblp DataBase
Jon Damon Reese:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. [Citation Graph (0, 0)][DBLP] ESEC / SIGSOFT FSE, 1999, pp:127-145 [Conf]
- Jon Damon Reese, Nancy G. Leveson
Software Deviation Analysis. [Citation Graph (0, 0)][DBLP] ICSE, 1997, pp:250-260 [Conf]
- Mats Per Erik Heimdahl, Jon Damon Reese
Software Requirements Specification and System Safety. [Citation Graph (0, 0)][DBLP] RE, 1997, pp:264- [Conf]
- Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys
Integrated Safety Analysis of Requirements Specifications. [Citation Graph (0, 0)][DBLP] RE, 1997, pp:148-159 [Conf]
- Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese
Model Checking Large Software Specifications. [Citation Graph (0, 0)][DBLP] SIGSOFT FSE, 1996, pp:156-166 [Conf]
- Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys
Integrated Safety Analysis of Requirements Specifications. [Citation Graph (0, 0)][DBLP] Requir. Eng., 1997, v:2, n:2, pp:65-78 [Journal]
- William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese
Model Checking Large Software Specifications. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1998, v:24, n:7, pp:498-520 [Journal]
- Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese
Requirements Specification for Process-Control Systems. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1994, v:20, n:9, pp:684-707 [Journal]
Search in 0.001secs, Finished in 0.002secs
|