Teaching Mathematics to Software Engineers,

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 21, 1995
Accession Number
ADA292989

Entities

People

  • Jeannette Wing

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • Education
  • Engineering
  • Engineers
  • Equations
  • Language
  • Mathematical Logic
  • Mathematics
  • Sequences
  • Software Development
  • Specifications
  • Standards
  • Students

Fields of Study

  • Computer science
  • Engineering

Readers

  • STEM Education
  • Software Engineering.
  • Systems Analysis and Design