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
Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE