John D. Gannon

2001
28	EE	Marsha Chechik, John D. Gannon: Automatic Analysis of Consistency between Requirements and Designs. IEEE Trans. Software Eng. 27(7): 651-672 (2001)
1997
27		John D. Gannon: Verification and Validation. The Computer Science and Engineering Handbook 1997: 2352-2378
1996
26		Joanne M. Atlee, Marsha Chechik, John D. Gannon: Using Model Checking to Analyze Requirements and Designs. Advances in Computers 43: 141-178 (1996)
1994
25	EE	Marsha Chechik, John D. Gannon: Automatic Verification of Requirements Implementation. ISSTA 1994: 1-14
24	EE	Sergio Antoy, John D. Gannon: Using Term Rewriting to Verify Software. IEEE Trans. Software Eng. 20(4): 259-274 (1994)
1993
23	EE	Joanne M. Atlee, John D. Gannon: Analyzing Timing Requirements. ISSTA 1993: 117-127
22	EE	Joanne M. Atlee, John D. Gannon: State-Based Model Checking of Event-Driven System Requirements. IEEE Trans. Software Eng. 19(1): 24-40 (1993)
1992
21	EE	Qian Cui, John D. Gannon: Data-Oriented Exception Handling. IEEE Trans. Software Eng. 18(5): 393-401 (1992)
1990
20		Qian Cui, John D. Gannon: Data-Oriented Exception Handling in Ada. ICCL 1990: 98-106
1989
19	EE	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
18	EE	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
17		John D. Gannon, Marvin V. Zelkowitz: Two Implementation Models of Abstract Data Types. Comput. Lang. 12(1): 21-25 (1987)
16		John D. Gannon, Richard G. Hamlet, Harlan D. Mills: Theory of Modules. IEEE Trans. Software Eng. 13(7): 820-829 (1987)
1986
15		John D. Gannon, Elizabeth E. Katz, Victor R. Basili: Metrics for Ada Packages: An Initial Study. Commun. ACM 29(7): 616-623 (1986)
1985
14		John D. Gannon, Richard G. Hamlet, Harlan D. Mills: Functional Semantics of Modules. TAPSOFT, Vol.2 1985: 42-59
13		Kwei-Jay Lin, John D. Gannon: Atomic Remote Procedure Call. IEEE Trans. Software Eng. 11(10): 1126-1135 (1985)
1984
12	EE	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
11		Paul R. McMullin, John D. Gannon: Combining Testing with Formal Specifications: A Case Study. IEEE Trans. Software Eng. 9(3): 328-335 (1983)
1982
10		Paul R. McMullin, John D. Gannon, Mark Weiser: Implementing a Compiler-Based Test Tool. Softw., Pract. Exper. 12(10): 971-979 (1982)
1981
9	EE	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)
8	EE	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)
1980
7	EE	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)
1979
6		John D. Gannon, J. Rosenberg: Implementing Data Abstraction Features in a Stackbased Language. Softw., Pract. Exper. 9(7): 547-560 (1979)
1978
5	EE	Hubert E. Dunsmore, John D. Gannon: Programming factors - language features that help explain programming complexity. ACM Annual Conference (2) 1978: 554-560
4	EE	John D. Gannon: Characteristic errors in programming languages. ACM Annual Conference (2) 1978: 570-575
1977
3		John D. Gannon: An Experimental Evaluation of Data Type Conventions. Commun. ACM 20(8): 584-595 (1977)
1975
2		John D. Gannon, James J. Horning: Language Design for Programming Reliability. IEEE Trans. Software Eng. 1(2): 179-191 (1975)
1972
1		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)

Coauthor Index

1	Sergio Antoy	[24]
2	Joanne M. Atlee	[22] [23] [26]
3	Victor R. Basili	[12] [15] [18] [19]
4	R. Daniel Bergeron	[1]
5	Marsha Chechik	[25] [26] [28]
6	Qian Cui	[20] [21]
7	Andries van Dam	[1]
8	Hubert E. Dunsmore	[5] [7]
9	Richard G. Hamlet	[9] [12] [14] [16] [18] [19]
10	James J. Horning (Jim Horning)	[2]
11	Elizabeth E. Katz	[15]
12	Kwei-Jay Lin	[13]
13	Paul R. McMullin	[8] [9] [10] [11]
14	Harlan D. Mills	[14] [16] [18] [19]
15	J. Rosenberg	[6]
16	D. P. Shecter	[1]
17	Frank Wm. Tompa	[1]
18	Mark Weiser	[10]
19	Raymond T. Yeh	[12]
20	Marvin V. Zelkowitz	[12] [17]

Colors in the list of coauthors