[comp.software-eng] SEI curriculum modules available

gibbs@sei.cmu.edu (Norman Gibbs) (02/23/89)

I noticed on a recent post that someone expressed interest in
obtaining an SEI Curriculum Module on Software Safety.  They are EASY
to obtain.  To obtain curriculum modules please submit a written
request accompanied by a mailing label to:

   Donna Mahoney
   Software Engineering Institute
   Carnegie Mellon University
   Pittsburgh, PA 15213

Current modules which are available are:

     Introduction to Software Design, David Budgen, University of
     Stirling

     The Software Technical Review Process, James S. Collofello,
     Arizona State University

     Software Configuration Management, James E. Tomayko, The
     Wichita State University

     Information Protection, Fred Cohen, University of Cincinnati

     Software Safety, Nancy G. Leveson, University of California,
     Irvine

     Assurance of Software Quality, Bradley J. Brown, Boeing
     Military Airplanes

     Formal Specification of Software, Alfs T. Berztiss,
     University of Pittsburgh

     Unit Testing and Analysis, Larry J. Morell, The College of
     William and Mary

     Models of Software Evolution: Life Cycle and Process, Walter
     S.  Scacchi, University of Southern California

     Software Specification: A Framework, H. Dieter Rombach,
     University of Maryland

     Software Metrics, Everald E. Mills, Seattle University

     Introduction to Software Verification and Validation, James
     S.  Collofello, Arizona State University

     Intellectual Property Protection for Software, Kevin M.
     Deasy and Pamela Samuelson, University of Pittsburgh School
     of Law

     Software Development and Licensing Contracts, Anne Crawford
     Martin, Kirkpatrick & Lockhart, and Pamela Samuelson,
     University of Pittsburgh School of Law

     Software Development Using VDM, Jan Storbank Pedersen,
     Corporate Technology, Computer Resources International A/S

     User Interface Development, Gary Perlman, Ohio State
     University

     An Overview of Technical Communication for the Software
     Engineer], Robert L. Glass, Computing Trends, Inc.

     Software Requirements, John W. Brackett, Boston University

     Formal Verification of Programs, Alfs T. Berztiss,
     University of Pittsburgh, and Mark A. Ardis, SEI