The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John D. Gannon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. John D. Gannon
    Characteristic errors in programming languages. [Citation Graph (0, 0)][DBLP]
    ACM Annual Conference (2), 1978, pp:570-575 [Conf]
  6. 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]
  7. Qian Cui, John D. Gannon
    Data-Oriented Exception Handling in Ada. [Citation Graph (0, 0)][DBLP]
    ICCL, 1990, pp:98-106 [Conf]
  8. Joanne M. Atlee, John D. Gannon
    Analyzing Timing Requirements. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:117-127 [Conf]
  9. Marsha Chechik, John D. Gannon
    Automatic Verification of Requirements Implementation. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1994, pp:1-14 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]

  27. Software Engineering Practices in the US and Japan. [Citation Graph (, )][DBLP]


Search in 0.388secs, Finished in 0.389secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002