|
Search the dblp DataBase
John D. Gannon:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- John D. Gannon, James J. Horning
Language Design for Programming Reliability. [Citation Graph (2, 0)][DBLP] IEEE Trans. Software Eng., 1975, v:1, n:2, pp:179-191 [Journal]
- John D. Gannon
An Experimental Evaluation of Data Type Conventions. [Citation Graph (1, 0)][DBLP] Commun. ACM, 1977, v:20, n:8, pp:584-595 [Journal]
- Joanne M. Atlee, John D. Gannon
State-Based Model Checking of Event-Driven System Requirements. [Citation Graph (1, 0)][DBLP] IEEE Trans. Software Eng., 1993, v:19, n:1, pp:24-40 [Journal]
- Hubert E. Dunsmore, John D. Gannon
Programming factors - language features that help explain programming complexity. [Citation Graph (0, 0)][DBLP] ACM Annual Conference (2), 1978, pp:554-560 [Conf]
- John D. Gannon
Characteristic errors in programming languages. [Citation Graph (0, 0)][DBLP] ACM Annual Conference (2), 1978, pp:570-575 [Conf]
- Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet
Teaching principles of computer programming. [Citation Graph (0, 0)][DBLP] ACM Conference on Computer Science, 1987, pp:336-341 [Conf]
- Qian Cui, John D. Gannon
Data-Oriented Exception Handling in Ada. [Citation Graph (0, 0)][DBLP] ICCL, 1990, pp:98-106 [Conf]
- Joanne M. Atlee, John D. Gannon
Analyzing Timing Requirements. [Citation Graph (0, 0)][DBLP] ISSTA, 1993, pp:117-127 [Conf]
- Marsha Chechik, John D. Gannon
Automatic Verification of Requirements Implementation. [Citation Graph (0, 0)][DBLP] ISSTA, 1994, pp:1-14 [Conf]
- John D. Gannon, Richard G. Hamlet, Harlan D. Mills
Functional Semantics of Modules. [Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.2, 1985, pp:42-59 [Conf]
- Joanne M. Atlee, Marsha Chechik, John D. Gannon
Using Model Checking to Analyze Requirements and Designs. [Citation Graph (0, 0)][DBLP] Advances in Computers, 1996, v:43, n:, pp:141-178 [Journal]
- R. Daniel Bergeron, John D. Gannon, D. P. Shecter, Frank Wm. Tompa, Andries van Dam
Systems Programming Languages. [Citation Graph (0, 0)][DBLP] Advances in Computers, 1972, v:12, n:, pp:175-284 [Journal]
- John D. Gannon, Elizabeth E. Katz, Victor R. Basili
Metrics for Ada Packages: An Initial Study. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1986, v:29, n:7, pp:616-623 [Journal]
- John D. Gannon, Marvin V. Zelkowitz
Two Implementation Models of Abstract Data Types. [Citation Graph (0, 0)][DBLP] Comput. Lang., 1987, v:12, n:1, pp:21-25 [Journal]
- Hubert E. Dunsmore, John D. Gannon
Analysis of the effects of programming factors on programming effort. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1980, v:1, n:, pp:141-153 [Journal]
- Paul R. McMullin, John D. Gannon
Evaluating a data abstraction testing system based on formal specifications. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1981, v:2, n:2, pp:177-186 [Journal]
- John D. Gannon, J. Rosenberg
Implementing Data Abstraction Features in a Stackbased Language. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1979, v:9, n:7, pp:547-560 [Journal]
- Paul R. McMullin, John D. Gannon, Mark Weiser
Implementing a Compiler-Based Test Tool. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1982, v:12, n:10, pp:971-979 [Journal]
- John D. Gannon, Paul R. McMullin, Richard G. Hamlet
Data-Abstraction Implementation, Specification, and Testing. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1981, v:3, n:3, pp:211-223 [Journal]
- Sergio Antoy, John D. Gannon
Using Term Rewriting to Verify Software. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1994, v:20, n:4, pp:259-274 [Journal]
- Marsha Chechik, John D. Gannon
Automatic Analysis of Consistency between Requirements and Designs. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2001, v:27, n:7, pp:651-672 [Journal]
- Qian Cui, John D. Gannon
Data-Oriented Exception Handling. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1992, v:18, n:5, pp:393-401 [Journal]
- John D. Gannon, Richard G. Hamlet, Harlan D. Mills
Theory of Modules. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1987, v:13, n:7, pp:820-829 [Journal]
- Kwei-Jay Lin, John D. Gannon
Atomic Remote Procedure Call. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1985, v:11, n:10, pp:1126-1135 [Journal]
- Paul R. McMullin, John D. Gannon
Combining Testing with Formal Specifications: A Case Study. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1983, v:9, n:3, pp:328-335 [Journal]
- Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet
Mathematical Principles for a First Course in Software Engineering. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1989, v:15, n:5, pp:550-559 [Journal]
Software Engineering Practices in the US and Japan. [Citation Graph (, )][DBLP]
Search in 0.006secs, Finished in 0.305secs
|