John D. Gannon - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 36 from 36

2001

Automatic Analysis of Consistency between Requirements and DesignsMarsha Chechik, John D. Gannon. TSE, 27(7):651-672, 2001. [doi]

1997

Verification and ValidationJohn D. Gannon. In Allen B. Tucker, editor, The Computer Science and Engineering Handbook. pages 2352-2378, CRC Press, 1997.

1996

Using Model Checking to Analyze Requirements and DesignsJoanne M. Atlee, Marsha Chechik, John D. Gannon. ac, 43:141-178, 1996.

1994

Using Term Rewriting to Verify SoftwareSergio Antoy, John D. Gannon. TSE, 20(4):259-274, 1994. [doi]

Automatic Verification of Requirements ImplementationMarsha Chechik, John D. Gannon. ISSTA 1994: 1-14 [doi]

1993

Analyzing Timing RequirementsJoanne M. Atlee, John D. Gannon. ISSTA 1993: 117-127 [doi]

State-Based Model Checking of Event-Driven System RequirementsJoanne M. Atlee, John D. Gannon. TSE, 19(1):24-40, 1993. [doi]

1992

Data-Oriented Exception HandlingQian Cui, John D. Gannon. TSE, 18(5):393-401, 1992. [doi]

1991

State-based model checking of event-driven system requirementsJoanne M. Atlee, John D. Gannon. FSE 1991: 16-28 [doi]

1990

Data-Oriented Exception Handling in AdaQian Cui, John D. Gannon. iccl 1990: 98-106

1989

Mathematical Principles for a First Course in Software EngineeringHarlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet. TSE, 15(5):550-559, 1989. [doi]

1987

Theory of ModulesJohn D. Gannon, Richard G. Hamlet, Harlan D. Mills. TSE, 13(7):820-829, 1987.

Two Implementation Models of Abstract Data TypesJohn D. Gannon, Marvin V. Zelkowitz. Comp. Lang., Syst. \& Struct., 12(1):21-25, 1987.

Teaching principles of computer programmingHarlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet. acm 1987: 336-341 [doi]

1986

Metrics for Ada Packages: An Initial StudyJohn D. Gannon, Elizabeth E. Katz, Victor R. Basili. CACM, 29(7):616-623, 1986.

1985

Functional Semantics of ModulesJohn D. Gannon, Richard G. Hamlet, Harlan D. Mills. tapsoft 1985: 42-59

Atomic Remote Procedure CallKwei-Jay Lin, John D. Gannon. TSE, 11(10):1126-1135, 1985.

Comparison of Structural Test Coverage MetricsMark Weiser, John D. Gannon, Paul R. McMullin. IEEE Software, 2(2):80-85, 1985. [doi]

1984

Software Engineering Practices in the US and JapanMarvin V. Zelkowitz, Raymond T. Yeh, Richard G. Hamlet, John D. Gannon, Victor R. Basili. Computer, 17(6):57-66, 1984. [doi]

1983

Combining Testing with Formal Specifications: A Case StudyPaul R. McMullin, John D. Gannon. TSE, 9(3):328-335, 1983.

1982

Implementing a Compiler-Based Test ToolPaul R. McMullin, John D. Gannon, Mark Weiser. SPE, 12(10):971-979, 1982.

1981

Data-Abstraction Implementation, Specification, and TestingJohn D. Gannon, Paul R. McMullin, Richard G. Hamlet. TOPLAS, 3(3):211-223, 1981. [doi]

Evaluating a data abstraction testing system based on formal specificationsPaul R. McMullin, John D. Gannon. jss, 2(2):177-186, 1981. [doi]

1980

Analysis of the effects of programming factors on programming effortHubert E. Dunsmore, John D. Gannon. jss, 1:141-153, 1980. [doi]

Testing traversable stacksJohn D. Gannon, Paul R. McMullin, Richard G. Hamlet, Mark A. Ardis. SIGPLAN, 15(1):58-65, 1980. [doi]

1979

Data Referencing: An Empirical InvestigationHubert E. Dunsmore, John D. Gannon. Computer, 12(12):50-59, 1979. [doi]

Implementing Data Abstraction Features in a Stackbased LanguageJohn D. Gannon, J. Rosenberg. SPE, 9(7):547-560, 1979.

Human Factors in Software EngineeringJohn D. Gannon. Computer, 12(12):6-7, 1979. [doi]

1978

Programming factors - language features that help explain programming complexityHubert E. Dunsmore, John D. Gannon. acm 1978: 554-560 [doi]

Characteristic errors in programming languagesJohn D. Gannon. acm 1978: 570-575 [doi]

1977

An Experimental Evaluation of Data Type ConventionsJohn D. Gannon. CACM, 20(8):584-595, 1977.

1975

Language Design for Programming ReliabilityJohn D. Gannon, James J. Horning. TSE, 1(2):179-191, 1975.

The impact of language design on the production of reliable softwareJohn D. Gannon, James J. Horning. relsoft 1975: 10-22 [doi]

1973

Language and compiler design to enhance reliabilityJohn D. Gannon. SIGPLAN, 8(6):47-49, 1973. [doi]

1972

Systems Programming LanguagesR. Daniel Bergeron, John D. Gannon, D. P. Shecter, Frank Wm. Tompa, Andries van Dam. ac, 12:175-284, 1972.

1971

Language for Systems DevelopmentR. Daniel Bergeron, John D. Gannon, Andries van Dam. sigplan 1971: 50-72 [doi]

Sign in or sign up to see more results.

runs on WebDSL