Accession Number : ADA292989

Title :   Teaching Mathematics to Software Engineers,

Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE

Personal Author(s) : Wing, Jeannette M.

PDF Url : ADA292989

Report Date : 21 FEB 1995

Pagination or Media Count : 24

Abstract : Based on my experience in teaching formal methods to practicing and aspiring software engineers, I present some of the common stumbling blocks faced when writing formal specifications. The most conspicuous problem is learning to abstract. I address all these problems indirectly by giving a list of hints to specifiers. Thus this paper should be of interest not only to teachers of formal methods but also to their students. (AN)

Descriptors :   *SOFTWARE ENGINEERING, *MATHEMATICAL LOGIC, *TEACHING METHODS, MATHEMATICAL MODELS, EDUCATION, DISTRIBUTED DATA PROCESSING, STUDENTS, SPECIFICATIONS, REASONING, COMPUTER PROGRAMMING, MODEL THEORY, PROGRAMMING LANGUAGES, SEMANTICS, INSTRUCTORS, SYSTEMS ANALYSIS, COMPUTER PROGRAM VERIFICATION, INVARIANCE, LEARNING, BOOLEAN ALGEBRA.

Subject Categories : Humanities and History
      Theoretical Mathematics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE