John D. Gannon - Concepedia

Author

John D. Gannon

University of Maryland, College Park

Also Known As

J. D. Gannon, J. Gannon, J.D. Gannon, John D. Gannon, John Gannon, Judie Gannon

Publications

1.4K

Citations

H-Index

Concepts

All Affiliations

University of Maryland, College Park University of Toronto Portland State University Purdue University West Lafayette

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	20	893
2	Language Studies	6	6	176
3	Education	4	4	107
4	Management	2	2	106
5	Computer Engineering	1	1	42

John D. Gannon

Publications

1.2K

Citations

H-Index

Page 1

	Year	Citations
State-based model checking of event-driven system requirements Joanne M. Atlee, John D. Gannon IEEE Transactions on Software Engineering EngineeringVerificationComputer-aided VerificationComplex SystemsSystem-level Design	1993	223
Data Abstraction, Implementation, Specification, and Testing John D. Gannon, Paul R. McMullin, Richard Hamlet ACM Transactions on Programming Languages and Systems	1981	219
An experimental evaluation of data type conventions John D. Gannon Communications of the ACM EngineeringData FormatSoftware SystemsSoftware EngineeringSoftware Analysis	1977	94
Language design for programming reliability John D. Gannon, J. J. Horning IEEE Transactions on Software Engineering Software MaintenanceSoftware Reliability TestingEngineeringVerificationSoftware Engineering	1975	72
Comparison of Structural Test Coverage Metrics Mark Weiser, John D. Gannon, Paul R. McMullin IEEE Software ReliabilityEngineeringData ScienceTesting TechniqueSoftware Testing	1985	50
Theory of Modules John D. Gannon, Richard Hamlet, Harlan D. Mills IEEE Transactions on Software Engineering EngineeringCommutative AlgebraVerificationSoftware EngineeringSoftware Analysis	1987	50
Automatic analysis of consistency between requirements and designs Marsha Chećhik, John D. Gannon IEEE Transactions on Software Engineering EngineeringRequirement ModelingVerificationSoftware EngineeringSoftware Analysis	2001	48
The impact of language design on the production of reliable software John D. Gannon, J. J. Horning ACM SIGPLAN Notices Software MaintenanceSoftware Reliability TestingEngineeringSuch Design PrinciplesVerification	1975	45
Atomic Remote Procedure Call Kwei-Jay Lin, John D. Gannon IEEE Transactions on Software Engineering EngineeringVerificationSoftware EngineeringProcedure CallConcurrent System	1985	42
Characteristic errors in programming languages John D. Gannon EngineeringSoftware EngineeringLanguage FeatureSoftware AnalysisFormal Verification	1978	42

Page 1