John D. Gannon

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