Showing 1 - 10 of 12 results for the Type - Curriculum Module
This 1993 module introduces formal specification of concurrent software and verification of the consistency between concurrent programs and their specifications.
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.
This module, which is directed specifically to software engineers, discusses the writing process in the context of software engineering.
This report, published in 1990, includes materials helpful in teaching concurrent programming.
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.
In this curriculum module, the authors provide an overview of the U.S. intellectual property laws that govern software creation, allocation, and enforcement.
This 1989 report presents material to help managers create a plan for software development and execute that plan with attention to productivity and quality.
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.
This 1987 report introduces formal specification of concurrent software and verification of the consistency between concurrent programs and their specifications.
This 1987 report includes materials that are helpful in teaching a course on formal specification of software.