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) |