Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

John D. Gannon

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2001
[j20]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/ChechikG01
- ask others
Marsha Chechik, John D. Gannon: Automatic Analysis of Consistency between Requirements and Designs. IEEE Trans. Software Eng. 27(7): 651-672 (2001)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1997
[p1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/crc/tucker97/Gannon97
- ask others
John D. Gannon: Verification and Validation. The Computer Science and Engineering Handbook 1997: 2352-2378
1996
[j19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ac/AtleeCG96
- ask others
Joanne M. Atlee, Marsha Chechik, John D. Gannon: Using Model Checking to Analyze Requirements and Designs. Advances in Computers 43: 141-178 (1996)
1994
[j18]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/AntoyG94
- ask others
Sergio Antoy, John D. Gannon: Using Term Rewriting to Verify Software. IEEE Trans. Software Eng. 20(4): 259-274 (1994)
[c7]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/ChechikG94
- ask others
Marsha Chechik, John D. Gannon: Automatic Verification of Requirements Implementation. ISSTA 1994: 1-14
1993
[j17]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/AtleeG93
- ask others
Joanne M. Atlee, John D. Gannon: State-Based Model Checking of Event-Driven System Requirements. IEEE Trans. Software Eng. 19(1): 24-40 (1993)
[c6]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/AtleeG93
- ask others
Joanne M. Atlee, John D. Gannon: Analyzing Timing Requirements. ISSTA 1993: 117-127
1992
[j16]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/CuiG92
- ask others
Qian Cui, John D. Gannon: Data-Oriented Exception Handling. IEEE Trans. Software Eng. 18(5): 393-401 (1992)
1990
[c5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iccl/CuiG90
- ask others
Qian Cui, John D. Gannon: Data-Oriented Exception Handling in Ada. ICCL 1990: 98-106

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[j15]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/MillsBGH89
- ask others
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): 550-559 (1989)
1987
[j14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cl/GannonZ87
- ask others
John D. Gannon, Marvin V. Zelkowitz: Two Implementation Models of Abstract Data Types. Comput. Lang. 12(1): 21-25 (1987)
[j13]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/GannonHM87
- ask others
John D. Gannon, Richard G. Hamlet, Harlan D. Mills: Theory of Modules. IEEE Trans. Software Eng. 13(7): 820-829 (1987)
[c4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/acm/MillsBGH87
- ask others
Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet: Teaching principles of computer programming. ACM Conference on Computer Science 1987: 336-341
1986
[j12]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cacm/GannonKB86
- ask others
John D. Gannon, Elizabeth E. Katz, Victor R. Basili: Metrics for Ada Packages: An Initial Study. Commun. ACM 29(7): 616-623 (1986)
1985
[j11]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/LinG85
- ask others
Kwei-Jay Lin, John D. Gannon: Atomic Remote Procedure Call. IEEE Trans. Software Eng. 11(10): 1126-1135 (1985)
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tapsoft/GannonHM85
- ask others
John D. Gannon, Richard G. Hamlet, Harlan D. Mills: Functional Semantics of Modules. TAPSOFT, Vol.2 1985: 42-59
1984
[j10]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/computer/ZelkowitzYHGB84
- ask others
Marvin V. Zelkowitz, Raymond T. Yeh, Richard G. Hamlet, John D. Gannon, Victor R. Basili: Software Engineering Practices in the US and Japan. IEEE Computer 17(6): 57-66 (1984)
1983
[j9]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/McMullinG83
- ask others
Paul R. McMullin, John D. Gannon: Combining Testing with Formal Specifications: A Case Study. IEEE Trans. Software Eng. 9(3): 328-335 (1983)
1982
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/spe/McMullinGW82
- ask others
Paul R. McMullin, John D. Gannon, Mark Weiser: Implementing a Compiler-Based Test Tool. Softw., Pract. Exper. 12(10): 971-979 (1982)
1981
[j7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jss/McMullinG81
- ask others
Paul R. McMullin, John D. Gannon: Evaluating a data abstraction testing system based on formal specifications. Journal of Systems and Software 2(2): 177-186 (1981)
[j6]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/GannonMH81
- ask others
John D. Gannon, Paul R. McMullin, Richard G. Hamlet: Data-Abstraction Implementation, Specification, and Testing. ACM Trans. Program. Lang. Syst. 3(3): 211-223 (1981)
1980
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jss/DunsmoreG80
- ask others
Hubert E. Dunsmore, John D. Gannon: Analysis of the effects of programming factors on programming effort. Journal of Systems and Software 1: 141-153 (1980)

1970 – 1979

see FAQ

What is the meaning of the colors in the publication list?

1979
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/spe/GannonR79
- ask others
John D. Gannon, J. Rosenberg: Implementing Data Abstraction Features in a Stackbased Language. Softw., Pract. Exper. 9(7): 547-560 (1979)
1978
[c2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/acm/DunsmoreG78
- ask others
Hubert E. Dunsmore, John D. Gannon: Programming factors - language features that help explain programming complexity. ACM Annual Conference (2) 1978: 554-560
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/acm/Gannon78
- ask others
John D. Gannon: Characteristic errors in programming languages. ACM Annual Conference (2) 1978: 570-575
1977
[j3]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cacm/Gannon77
- ask others
John D. Gannon: An Experimental Evaluation of Data Type Conventions. Commun. ACM 20(8): 584-595 (1977)
1975
[j2]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tse/GannonH75
- ask others
John D. Gannon, James J. Horning: Language Design for Programming Reliability. IEEE Trans. Software Eng. 1(2): 179-191 (1975)
1972
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ac/BergeronGSTD72
- ask others
R. Daniel Bergeron, John D. Gannon, D. P. Shecter, Frank Wm. Tompa, Andries van Dam: Systems Programming Languages. Advances in Computers 12: 175-284 (1972)