CS 624/724 FORMAL SPECIFICATION OF SOFTWARE SYSTEMS
                                            SYLLABUS
                                           FALL  2002
                         http://www.cis.uab.edu/info/dept/courses/cs624


        Time:         2:00 - 3:15 P.M. Tuesday and Thursday

        Classroom:    Campbell Hall, Room 430

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

        Office:       Campbell Hall, Room 127

        Textbook:     J. Fitzgerald, P. G. Larsen, P. Mukherjee, and N. Plat, Validating
                      Designs  for  Object-Oriented  Systems  using VDM++, manuscript in
                      preparation, 2002.

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

                      Introduction                                 1           1-2
                      Unified Modeling Language (UML)                          3
                      VDM++ Method Guidelines                      2           4-5
                      VDM++ Tool Support                           3           6
                      Basic Elements of VDM++                      4           7-8
                      Modelling Unordered Collections              5           9, 11
                      Modelling Ordered Collections                6           12-13
                      Modelling Relationships                      7           14-15
                      Industrial Case Study                        8           16-17
                      Concurrency in VDM++                         9           18-19
                      Model Quality                                10          21-22
                      Implementing in Java                         11          23-24
                      Enterprise Architectures                     A           25
                      VDM for Real-Time Systems                                26-27
                      Advanced Topics                                          28-30

        There will be two in-class examinations and a final examination.   The  in-class
        exams  will  be  on  Tuesday,  September 24, and Tuesday, October 29.  The Final
        Examination is on Tuesday, December 10, at 1:30 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:      Examination #1                     1/6
                      Examination #2                     1/6
                      Final Examination                  1/3
                      Exercises                          1/3