John D. Gannon

According to our database, John D. Gannon authored at least 35 papers between 1971 and 2001.

Collaborative distances:

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

2001

Automatic Analysis of Consistency between Requirements and Designs.

Marsha Chechik, John D. Gannon

IEEE Trans. Software Eng., 2001

1997

Verification and Validation.

John D. Gannon

Proceedings of the Computer Science and Engineering Handbook, 1997

1996

Using Model Checking to Analyze Requirements and Designs.

Joanne M. Atlee, Marsha Chechik, John D. Gannon

Adv. Comput., 1996

1994

Using Term Rewriting to Verify Software.

Sergio Antoy, John D. Gannon

IEEE Trans. Software Eng., 1994

Automatic Verification of Requirements Implementation.

Marsha Chechik, John D. Gannon

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

1993

State-Based Model Checking of Event-Driven System Requirements.

Joanne M. Atlee, John D. Gannon

IEEE Trans. Software Eng., 1993

Analyzing Timing Requirements.

Joanne M. Atlee, John D. Gannon

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

1992

Data-Oriented Exception Handling.

Qian Cui, John D. Gannon

IEEE Trans. Software Eng., 1992

1990

Data-Oriented Exception Handling in Ada.

Qian Cui, John D. Gannon

Proceedings of the 1990 Internation Conference on Computer Languages, 1990

1989

Mathematical Principles for a First Course in Software Engineering.

Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet

IEEE Trans. Software Eng., 1989

1987

Theory of Modules.

John D. Gannon, Richard G. Hamlet, Harlan D. Mills

IEEE Trans. Software Eng., 1987

Two Implementation Models of Abstract Data Types.

John D. Gannon, Marvin V. Zelkowitz

Comput. Lang., 1987

Teaching principles of computer programming.

Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet

Proceedings of the 15th ACM Annual Conference on Computer Science, 1987

1986

Metrics for Ada Packages: An Initial Study.

John D. Gannon, Elizabeth E. Katz, Victor R. Basili

Commun. ACM, 1986

1985

Atomic Remote Procedure Call.

Kwei-Jay Lin, John D. Gannon

IEEE Trans. Software Eng., 1985

Comparison of Structural Test Coverage Metrics.

Mark D. Weiser, John D. Gannon, Paul R. McMullin

IEEE Softw., 1985

Functional Semantics of Modules.

John D. Gannon, Richard G. Hamlet, Harlan D. Mills

Proceedings of the Mathematical Foundations of Software Development, 1985

1984

Software Engineering Practices in the US and Japan.

Marvin V. Zelkowitz, Raymond T. Yeh, Richard G. Hamlet, John D. Gannon, Victor R. Basili

Computer, 1984

1983

Combining Testing with Formal Specifications: A Case Study.

Paul R. McMullin, John D. Gannon

IEEE Trans. Software Eng., 1983

1982

Implementing a Compiler-Based Test Tool.

Paul R. McMullin, John D. Gannon, Mark D. Weiser

Softw. Pract. Exp., 1982

1981

Data-Abstraction Implementation, Specification, and Testing.

John D. Gannon, Paul R. McMullin, Richard G. Hamlet

ACM Trans. Program. Lang. Syst., 1981

Evaluating a data abstraction testing system based on formal specifications.

Paul R. McMullin, John D. Gannon

J. Syst. Softw., 1981

1980

Testing traversable stacks.

John D. Gannon, Paul R. McMullin, Richard G. Hamlet, Mark A. Ardis

ACM SIGPLAN Notices, 1980

Analysis of the effects of programming factors on programming effort.

Hubert E. Dunsmore, John D. Gannon

J. Syst. Softw., 1980

1979

Implementing Data Abstraction Features in a Stackbased Language.

John D. Gannon, J. Rosenberg

Softw. Pract. Exp., 1979

Human Factors in Software Engineering.

John D. Gannon

Computer, 1979

Data Referencing: An Empirical Investigation.

Hubert E. Dunsmore, John D. Gannon

Computer, 1979

1978

Characteristic errors in programming languages.

John D. Gannon

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

Programming factors - language features that help explain programming complexity.

Hubert E. Dunsmore, John D. Gannon

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977

An Experimental Evaluation of Data Type Conventions.

John D. Gannon

Commun. ACM, 1977

1975

Language Design for Programming Reliability.

John D. Gannon, James J. Horning

IEEE Trans. Software Eng., 1975

The impact of language design on the production of reliable software.

John D. Gannon, James J. Horning

Proceedings of the International Conference on Reliable Software 1975, 1975

1973

Language and compiler design to enhance reliability.

John D. Gannon

ACM SIGPLAN Notices, 1973

1972

Systems Programming Languages.

R. Daniel Bergeron, John D. Gannon, D. P. Shecter, Frank Wm. Tompa, Andries van Dam

Adv. Comput., 1972

1971

Language for Systems Development.

R. Daniel Bergeron, John D. Gannon, Andries van Dam

Proceedings of the SIGPLAN Symposium on Languages for System Implementation, 1971