Concepedia

J.D. Reese

JR

Statistics

Publications

15

Citations

1.5K

H-Index

13

Active since

1991

Affiliations

University of Washington(Current)

Massachusetts Institute of Technology

University of California, Irvine

University of Minnesota

Safeware Engineering (United States)

J.D. Reese is an author at University of Washington specializing in requirements engineering, system requirements specification, and engineering.

Publications per year

1991–2003

15

Publications

15

Requirements specification for process-control systems

Nancy G. Leveson, Mats P. E. Heimdahl, H. Hildreth et al. · IEEE Transactions on Software Engineering · 1994 · 556 citations · Full text

Engineering, Computer Science, Systems Engineering +17

Model checking large software specifications

Richard Anderson, Paul Beame, S.M. Burns et al. · 1996 · 309 citations · Full text

Computing, Aerospace Engineering, Computer Science +16

Model checking large software specifications

W. K. Chan, Richard Anderson, Paul Beame et al. · IEEE Transactions on Software Engineering · 1998 · 199 citations

Computing, Aerospace Engineering, Computer Science +16

Analyzing Software Specifications for Mode Confusion Potential

Nancy G. Leveson, L. Denise Pinnel, Sean David Sandys et al. · 1998 · 103 citations

Engineering, Computer Science, Systems Engineering +16

Designing specification languages for process control systems

Nancy G. Leveson, Mats P. E. Heimdahl, J.D. Reese · ACM SIGSOFT Software Engineering Notes · 1999 · 75 citations · Full text

Engineering, Computer Science, Systems Engineering +12

1–5 of 15