Concepedia

John D. Gannon

JD

24

Publications

1.2K

Citations

18

H-Index

1975

Active since

Affiliations

University of Maryland, College Park(Current)

University of Toronto

Portland State University

Purdue University West Lafayette

John D. Gannon is an author at University of Maryland, College Park specializing in engineering, formal methods, and software analysis.

Top concepts

EngineeringSoftware AnalysisSoftware EngineeringProgram AnalysisFormal MethodsSoftware DesignComputer ScienceSoftware TestingVerificationAutomated Reasoning

Publications per year

1975–2001

24

Publications

24

State-based model checking of event-driven system requirements

Joanne M. Atlee, John D. Gannon · IEEE Transactions on Software Engineering · 1993 · 223 citations

Engineering, Verification, Computer-aided Verification +22

Data Abstraction, Implementation, Specification, and Testing

John D. Gannon, Paul R. McMullin, Richard Hamlet · ACM Transactions on Programming Languages and Systems · 1981 · 219 citations · Full text

An experimental evaluation of data type conventions

John D. Gannon · Communications of the ACM · 1977 · 94 citations · Full text

Engineering, Data Format, Software Systems +20

Language design for programming reliability

John D. Gannon, J. J. Horning · IEEE Transactions on Software Engineering · 1975 · 72 citations

Software Maintenance, Software Reliability Testing, Engineering +21

Comparison of Structural Test Coverage Metrics

Mark Weiser, John D. Gannon, Paul R. McMullin · IEEE Software · 1985 · 50 citations

Reliability, Engineering, Data Science +13

Rows per page

1–5 of 24