John D. Gannon

Publication Activity (10 Years)

Years Active: 1971-2001
Publications (10 Years): 0

Publications

Marsha Chechik, John D. Gannon
Automatic Analysis of Consistency between Requirements and Designs. IEEE Trans. Software Eng. 27 (7) (2001)
Joanne M. Atlee, Marsha Chechik, John D. Gannon
Using Model Checking to Analyze Requirements and Designs. Adv. Comput. 43 (1996)
Sergio Antoy, John D. Gannon
Using Term Rewriting to Verify Software. IEEE Trans. Software Eng. 20 (4) (1994)
Marsha Chechik, John D. Gannon
Automatic Verification of Requirements Implementation. ISSTA (1994)
Joanne M. Atlee, John D. Gannon
Analyzing Timing Requirements. ISSTA (1993)
Joanne M. Atlee, John D. Gannon
State-Based Model Checking of Event-Driven System Requirements. IEEE Trans. Software Eng. 19 (1) (1993)
Qian Cui, John D. Gannon
Data-Oriented Exception Handling. IEEE Trans. Software Eng. 18 (5) (1992)
Joanne M. Atlee, John D. Gannon
State-based model checking of event-driven system requirements. SIGSOFT (1991)
Qian Cui, John D. Gannon
Data-Oriented Exception Handling in Ada. ICCL (1990)
Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet
Mathematical Principles for a First Course in Software Engineering. IEEE Trans. Software Eng. 15 (5) (1989)
John D. Gannon, Richard G. Hamlet, Harlan D. Mills
Theory of Modules. IEEE Trans. Software Eng. 13 (7) (1987)
John D. Gannon, Marvin V. Zelkowitz
Two Implementation Models of Abstract Data Types. Comput. Lang. 12 (1) (1987)
Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet
Teaching principles of computer programming. ACM Conference on Computer Science (1987)
John D. Gannon, Elizabeth E. Katz, Victor R. Basili
Metrics for Ada Packages: An Initial Study. Commun. ACM 29 (7) (1986)
John D. Gannon, Richard G. Hamlet, Harlan D. Mills
Functional Semantics of Modules. TAPSOFT, Vol.2 (1985)
Kwei-Jay Lin, John D. Gannon
Atomic Remote Procedure Call. IEEE Trans. Software Eng. 11 (10) (1985)
Mark D. Weiser, John D. Gannon, Paul R. McMullin
Comparison of Structural Test Coverage Metrics. IEEE Softw. 2 (2) (1985)
Marvin V. Zelkowitz, Raymond T. Yeh, Richard G. Hamlet, John D. Gannon, Victor R. Basili
Software Engineering Practices in the US and Japan. Computer 17 (6) (1984)
Paul R. McMullin, John D. Gannon
Combining Testing with Formal Specifications: A Case Study. IEEE Trans. Software Eng. 9 (3) (1983)
Paul R. McMullin, John D. Gannon, Mark D. Weiser
Implementing a Compiler-Based Test Tool. Softw. Pract. Exp. 12 (10) (1982)
John D. Gannon, Paul R. McMullin, Richard G. Hamlet
Data-Abstraction Implementation, Specification, and Testing. ACM Trans. Program. Lang. Syst. 3 (3) (1981)
Paul R. McMullin, John D. Gannon
Evaluating a data abstraction testing system based on formal specifications. J. Syst. Softw. 2 (2) (1981)
Hubert E. Dunsmore, John D. Gannon
Analysis of the effects of programming factors on programming effort. J. Syst. Softw. 1 (1980)
John D. Gannon, Paul R. McMullin, Richard G. Hamlet, Mark A. Ardis
Testing traversable stacks. ACM SIGPLAN Notices 15 (1) (1980)
Hubert E. Dunsmore, John D. Gannon
Data Referencing: An Empirical Investigation. Computer 12 (12) (1979)
John D. Gannon
Human Factors in Software Engineering. Computer 12 (12) (1979)
John D. Gannon, J. Rosenberg
Implementing Data Abstraction Features in a Stackbased Language. Softw. Pract. Exp. 9 (7) (1979)
Hubert E. Dunsmore, John D. Gannon
Programming factors - language features that help explain programming complexity. ACM Annual Conference (2) (1978)
John D. Gannon
Characteristic errors in programming languages. ACM Annual Conference (2) (1978)
John D. Gannon
An Experimental Evaluation of Data Type Conventions. Commun. ACM 20 (8) (1977)
John D. Gannon, James J. Horning
Language Design for Programming Reliability. IEEE Trans. Software Eng. 1 (2) (1975)
John D. Gannon, James J. Horning
The impact of language design on the production of reliable software. Reliable Software (1975)
John D. Gannon
Language and compiler design to enhance reliability. ACM SIGPLAN Notices 8 (6) (1973)
R. Daniel Bergeron, John D. Gannon, D. P. Shecter, Frank Wm. Tompa, Andries van Dam
Systems Programming Languages. Adv. Comput. 12 (1972)
R. Daniel Bergeron, John D. Gannon, Andries van Dam
Language for Systems Development. SIGPLAN Symposium on Languages for System Implementation (1971)