Showing 1 - 10 of 13 results for Type - Curriculum Module
The SIA curriculum is a problem-solving method built on key SIA principles only available to those with existing faculty accounts.
This 1995 report provides an overview of the merging of a paradigm and a process, the object-oriented paradigm and the software measurement process.
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.
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.