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