Jon Damon Reese

According to our database, Jon Damon Reese authored at least 7 papers between 1991 and 1999.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

1999

Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future.

Nancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese

Proceedings of the Software Engineering, 1999

1998

Model Checking Large Software Specifications.

William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese

IEEE Trans. Software Eng., 1998

1997

Integrated Safety Analysis of Requirements Specifications.

Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys

Requir. Eng., 1997

Software Requirements Specification and System Safety.

Mats Per Erik Heimdahl, Jon Damon Reese

Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

Software Deviation Analysis.

Jon Damon Reese, Nancy G. Leveson

Proceedings of the Pulling Together, 1997

1994

Requirements Specification for Process-Control Systems.

Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese

IEEE Trans. Software Eng., 1994

1991

Experiences using statecharts for a system requirements specification.

Nancy G. Leveson, Mats P. E. Heimdahl, Holly Hildreth, Jon Damon Reese, R. Ortega

Proceedings of the 6th International Workshop on Software Specification and Design, 1991