CS 624/724 FORMAL SPECIFICATION
                                            SYLLABUS
                                          WINTER  2000
                         http://www.cis.uab.edu/info/dept/courses/cs624


        Time:         3:25 - 5:30 P.M. Monday and Wednesday

        Classroom:    Campbell Hall, Room 430

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

        Office:       Campbell Hall, Room 127

        Textbook:     V. S. Alagar and K. Periyasamy, Specification of Software Systems,
                      Springer-Verlag, 1998.

        References:   K.  Lano,  Formal  Object-Oriented  Development,  Springer-Verlag,
                      1995.

                      T. Quatrani, Visual Modeling with Rational Rose and UML,  Addison-
                      Wesley, 1998.

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

                      Introduction                                 1-3         1-2
                      Abstraction                                  4           3
                      Formal Systems                               5           4
                      Algebraic Specification                      8           5-6
                      VDM and VDM++                                9           7, 10-12
                      Z and Z++                                    10          13-16
                      Larch                                        11          17-18

        Note that there will be no class on Monday, January 31.  The Midterm Examination
        will be on Wednesday, February 2.  The Final Examination is on Monday, March 13,
        at 2:00 P. M.  Besides exams, there  will  also  be  several  specification  and
        design  exercises  which  will  emphasize the theory covered by the lectures and
        text. Some of these exercises will build on each other in the form of a complete
        design of a software system.

        Grading:      Midterm Examination                1/3
                      Final Examination                  1/3
                      Exercises                          1/3