DR. HENRY FRANCIS LEDGARD

 

 

 

Area of Interest:  Software

 

Human Computer Interaction, Software Engineering, , Programming, and Programming Languages

 

Education

 

Ph.D., E.E., M.S.   Massachusetts Institute of Technology (1964-1969)

Thesis area:  Formal Specification of Programming Languages

 

B.S. Tufts University (1960-1964) (magna cum laude)

Major:  Electrical Engineering

 

 

Major Professional Experience

 

Professor, Electrical Engineering  and Computer Science Department, University of Toledo, Toledo, Ohio, 43606, August 1989-present

Private Consulting Practice, Human Factors Limited, Leverett, Ma, 1979-1989.  Consultant with Digital Equipment Corp, Philips Electronics in Holland and England, Alsys Inc., General Motors,  and others.

Member of the Honeywell Design Team for U.S. Department of Defense Common Language Effort (Ada), September 1977-April 1979

Associate Professor, Computer and Information Science, University of Massachusetts at Amherst, September 1972-1977

Assistant Professor, Computer Science, The Johns Hopkins University, Baltimore, Maryland, 1970-1972

Visiting Fellow, Oxford University, 1969-1970

Member of Editorial Panel (Associate Editor for Human Aspects of Computing), Communications of the ACM, 1980-1990

Secretary/Treasurer and Member of the Executive Board, ACM Special Interest Group on Programming Languages, 1975-1977

Program Chairman, ACM Conference on Data Abstraction, Salt Lake City, Utah, 1976

 

 

Publications: Papers

 

Henry Ledgard, "Ten Mini-languages: A Study of Topical Issues in Programming Languages, ACM Computing Surveys,  September 1971

Henry Ledgard, "A Model for Type-Checking with an Application to Algol 60," Communications of the ACM,  November 1972

Henry Ledgard, "Production Systems: Or Can We Do Better than BNF?," Communications of the ACM,  February 1974

Henry Ledgard and Michael Marcotty, "A Genealogy of Control Structures," Communications of the ACM,  November 1975

Michael Marcotty, Henry Ledgard, and Gregor Bochmann, "A Sampler of Formal Definitions," Computing Surveys, June 1976

Henry Ledgard and William Cave, "Cobol Under Control," Communications of the ACM, November 1976

Henry Ledgard, "Production Systems: A Notation for Defining Syntax and Translation," IEEE Transactions on Software Engineering, March 1977

Henry Ledgard, John Whiteside, Andrew Singer, and William Seymour, "The Natural Language of Interactive Systems," Communications of the ACM,  October 1980

Andrew Singer, Henry Ledgard, and Jon Hueras, "The Annotated Assistant: A Step Towards Human Engineering," IEEE Transactions on Software Engineering, July 1981

Henry Ledgard and Andrew Singer, "Scaling Down Ada, (or towards a standard Ada subset)" Communications of the ACM,  February 1982

Henry Ledgard (Editor) Special section on empirical works, Human Aspects of Computing area, Communications of the ACM, July 1986

Henry F. Ledgard , “The Emperor has No Clothes”, short paper, Communications of the ACM, October 2001

Donald Anselmo and Henry Ledgard, “Measuring Productivity in the Computer Industry”, Communications of the ACM, November 2003

Yasushi Kambayashi and Henry F. Ledgard, “The Separation Principle - A Programming Paradigm” IEEE Software, March/April 2004

 

 

Publications:  Books

 

Henry Ledgard, PROGRAMMING PROVERBS,  Hayden Book Company, New Jersey, 1975.  Also

PROGRAMMING PROVERS FOR FORTRAN PROGRAMMERS, 1975

COBOL WITH STYLE,  1976, with Louis Chmura

FORTRAN WITH STYLE,  1977, with Louis Chmura

BASIC WITH STYLE,  1978, with Paul Nagin

PASCAL WITH STYLE,  1979, with Jon Hueras and Paul Nagin

PASCAL WITH EXCELLENCE, 1986, with John Tauer

C WITH EXCELLENCE,  1987, with John Tauer  

Henry Ledgard, Andrew Singer, and John Whiteside, DIRECTIONS IN HUMAN FACTORS FOR INTERACTIVE SYSTEMS,  Springer-Verlag, New York, 1980

Henry Ledgard and Michael Marcotty, PROGRAMMING LANGUAGE LANDSCAPE,  (Second Edition), SRA, Chicago, 1986

Henry Ledgard, ADA:  AN INTRODUCTION  (Second Edition), Springer-Verlag, New York, 1983

Henry Ledgard and Andrew Singer, ELEMENTARY PASCAL  and ELEMENTARY BASIC,  published jointly by Random House (New York) and SRA (Chicago), 1982

Henry Ledgard and Andrew Singer, PASCAL FOR THE MACINTOSH,  Addison-Wesley, Reading, MA, 1986

THE HUMAN FACTOR  by Richard Rubenstein and Harry Hersh (with the assistance of Henry Ledgard), Digital Press, Burlington, MA, 1984

Henry Ledgard, Addison-Wesley Publishing Company, Reading, MA, 1986, 1987

       PROFESSIONAL SOFTWARE, Volume I:  Programming Practice, Volume II:  Software Engineering Concepts

Henry Ledgard, The Little Book of Object-Oriented Programming  (based on a work with Michael Marcotty), Prentice Hall, Upper Saddle River New Jersey 1996

Henry Ledgard, "The Emperor with No Clothes", Communications of the ACM, October 2001.  

Donald Anselmo and Henry Ledgard, "Measuring Productivity In The Software Industry", to appear in Communications of the ACM, 2003

 

 

Grants at UT

Experience with VSE (Visual Software Environment), research grant ($26,000) to support Sudheer Kodem to work as a Research Intern  for one year at Prediction Systems Inc, New Jersey. 2002-2003

Experience with VSE (Visual Software Environment), research grant ($26,000) to support Pranav Rao to work as a Research Intern  for one year at Prediction Systems Inc, New Jersey. 2003-2004

“Software Productivity in VSE”, research grant ($15,600) to support Sudheer Kodem to work as a Research Intern  for 6 months at Prediction Systems Inc, New Jersey.  2004

“Software Productivity in VSE”, research grant ($15,600) to support Sudheer Kodem to work as a Research Intern  for 6 months at Prediction Systems Inc, New Jersey.  2005