CS 624/724 FORMAL SPECIFICATION OF SOFTWARE SYSTEMS
                                            SYLLABUS
                                           FALL  2005
                                  http://www.cis.uab.edu/cs624


        Time:         9:30 - 10:45 A.M. Tuesday

        Classroom:    Campbell Hall, Room 145

        Instructor:   Barrett Bryant (bryant@cis.uab.edu)

        Office:       Campbell Hall, Room 121

        Textbook:     F. Kordon and  M.  Lemoine,  eds.,  Fornal  Methods  for  Embedded
                      Distributed Systems, Kluwer, 2004.

        Time Table:   Topic                                     Chapter        Lecture
                      -----                                     -------        -------

                      Introduction                                             1-3
                      BART Case Study                              1           4
                      Formal Specification and Refinement          2           5-6
                           of a Safe Train Control Function
                      From UML to Z                                3           7
                      Enviornmental Modeling with UML              4           8-9
                      Checking BART Test Scenarios with            5           10-11
                           UML's Object Constraint Language
                      Modeling and Verifying Behavioral            6           12-13
                           Aspects
                      Mastering the Complexity of Reactive         7           14-15
                           Systems - The AutoFOCUS Approach

        Grading:      Project and Presentation(s)               100%