Staff Page for John Goodenough

Contents: Contact Background Publications Education Memberships

Job title

Institute Fellow; Software Assurance Project Lead

Administrative home

Key responsibilities

John Goodenough leads the SEI's Software Assurance Project, a new activity started in FY2008 that is focused on systems of systems assurance research, measures of assurance, and ways of helping programs and developers choose appropriate assurance approaches.

Professional Background

From 2002 until 2007, Goodenough led the Performance Critical Systems Initiative. His research work focused on the application of assurance cases.

From 1996 until 2002, Goodenough was the Chief Technical Officer of the SEI; at that time, he decided to resume his focus on technical project work. He was named a fellow of the Association for Computing Machinery (ACM) in 1995. He is the former leader of the Rate Monotonic Analysis for Real-Time Systems Project. He was a Distinguished Reviewer for the Ada 95 language revision effort and served as head of the U.S. delegation to the ISO Working Group on Ada. He was the principal author of the document specifying the revision requirements for Ada 95 and served as chair of the group responsible for recommending interpretations of the Ada language.

Before joining the SEI, Goodenough was manager of the research and development department of SofTech, Inc. His work focused on the Ada programming language. He was the principal designer of one of the candidate languages leading to Ada. He later supported the Ada development effort as a distinguished reviewer for the Department of Defense, led the Ada Compiler Validation effort, and helped develop Ada training materials.

Goodenough has worked at the Wang Institute of Graduate Studies as a visiting scholar, where he lectured on software reusability and testing and led seminars on object-oriented languages. He also has worked at the Air Force Electronic Systems Division in Bedford, Mass. There, he was responsible for formulating contract and in-house research and development, and he sponsored the first research work on software maintenance.

Publications (recent or significant)

Weinstock, C.B., Goodenough, J.B., and Hudak, J.J., "Dependability Cases", CMU/SEI-2004-TN-016.
Sha, L. and Goodenough, J.B. "Real-Time Scheduling Theory and Ada," Computer 23, 4 (April 1990): 53-62.
Ross, D.T., Goodenough, J.B., and Irvine, C.A., "Software engineering: Process, principles, and goals," Computer 8, 5 (May 1975): 17-27.
Goodenough, J.B. and Gerhart, S. L. "Toward a Theory of Test Data Selection," IEEE-TSE 1, 2 (June 1975): 156-173.
Goodenough, J.B. "Exception handling: issues and a proposed notation." CACM 17, 12 (Dec. 1975): 683-696.

Education

A.B. in physics from Harvard University
M.A. in applied mathematics from Harvard University.
Ph.D in applied mathematics from Harvard University.

Professional Memberships and Activities

Association for Computing Machinery (ACM)
IEEE Computer Society
IEEE Computer Society

Contact Information

Electronic mail address: jbg@sei.cmu.edu

Phone: +1-412-268-6391

Fax: 412-268-5758

Room: 5316