Methods For Describing Requirements From Software Systems Are Presented. Among The Methods# Larch As an Algebraic Approach to Describing Data Structures and Sequential Systems, Zed As a Methodology For Describing Functions, Statemate and Statecharts For Descriptions Using Generalized State Machines With a Graphic Representation, Temporal Logic To Describe Liveness Properties. Lotos As a Process Algebra. The Course Includes Exercises of Writing Specifications, Including Some Using The Statemate System.

Faculty: Computer Science
|Graduate Studies
Pre-required courses

(234123 - Operating Systems and 234293 - Logic and Set Theory For Cs and 236353 - Automata and Formal Languages) or (234123 - Operating Systems and 234129 - Int. to Set Theory and Automata For Cs and 234292 - Logic For Cs)