Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Showing 1 - 10 of 12 results for the Type - Curriculum Module

Curriculum Module | February 1993 - Curriculum Module Formal Specification and Verification of Concurrent Programs By Dan Berry

This 1993 module introduces formal specification of concurrent software and verification of the consistency between concurrent programs and their specifications.

Curriculum Module | December 1990 - Curriculum Module Software Configuration Management By James E. Tomayko

This 1990 module examines configuration management, including configuration item identification, change reporting and evaluation, change execution, tool evaluation and use, version control, and management principles related to configuration control.

Curriculum Module | May 1990 - Curriculum Module Technical Writing for Software Engineers By Linda Levine, Linda Pesante, Susan Dunkle

This module, which is directed specifically to software engineers, discusses the writing process in the context of software engineering.

Curriculum Module | April 1990 - Curriculum Module Support Materials for Language and System Support for ... By Gary Ford

This report, published in 1990, includes materials helpful in teaching concurrent programming.

Curriculum Module | December 1989 - Curriculum Module Software Development Using VDM By Jan Storbank Pedersen

This 1989 report introduces the Vienna Development Method (VDM) approach to software development. The VDM method is oriented toward a formal model view of the software to be developed.

Curriculum Module | July 1989 - Curriculum Module Intellectual Property Protection For Software By Pam Samuelson, Kevin M. Deasy

In this curriculum module, the authors provide an overview of the U.S. intellectual property laws that govern software creation, allocation, and enforcement.

Curriculum Module | July 1989 - Curriculum Module Software Project Management By James E. Tomayko, Harvey K. Hallman

This 1989 report presents material to help managers create a plan for software development and execute that plan with attention to productivity and quality.

Curriculum Module | December 1988 - Curriculum Module Formal Verification of Programs By Alfs T. Berztiss (University of Pittsburgh), Mark A. Ardis (Stevens Institute of Technology)

This 1988 module introduces formal verification of programs, dealing primarily with proofs of sequential programs, but also with consistency proofs for data types and deduction of particular behaviors of programs from their specifications.

Curriculum Module | October 1987 - Curriculum Module Formal Specification of Software By Alfs T. Berztiss (University of Pittsburgh)

This 1987 report introduces formal specification of concurrent software and verification of the consistency between concurrent programs and their specifications.

Curriculum Module | October 1987 - Curriculum Module Support Materials for Formal Specification of Software By Alfs T. Berztiss (University of Pittsburgh)

This 1987 report includes materials that are helpful in teaching a course on formal specification of software.