Virtual University

Model Building Tools, Propositional and Predicate Calculus, Logic Problem (V-U)

Object Constraint Language (OCL) (V-U)

New List Specification Methods (V-U)

Operating System Scheduler, Operations: Delete Start, Middle and End (V-U)

Output Variables, Ghost Variables (V-U)

Specification of Functions using Pre and Post-Conditions (V-U)

Structure of the File System Specification (Cont.) (V-U)

Structure of the File System Specification (V-U)

The Dutch National Flag Problem (Cont.) (V-U)

The Structure Of an Algebraic Specification (Cont.) (V-U)

The Structure Of an Algebraic Specification (V-U)

Tools for Algebraic Specification (Sub-System Interfaces) (V-U)

Using Z-Specification, Application of Operating System Components (V-U)

Analysis of Merge Sort (V-U)

Z-Specification (V-U)

Analysis of Selection, Sorting, Heaps (V-U)

Z-Specification, Refinement and Totalization (Cont.) (V-U)

Analysis of the brute-force maxima algorithm (V-U)

Z-Specification, Refinement and Totalization (V-U)

Asymptotic Notation (V-U)

Z-Specification, Structure and Schema (A Birthday Book) (V-U)

Average-case Analysis of Quicksort (V-U)

Z-Specification, Structure and Schema (A Birthday Book). (V-U)

Boolean Satisfiability Problem:Cook''s Theorem,Independent Sets (V-U)

Z-Specification, Structure and Schema(A Birthday Book) (V-U)