CS 624/724 FORMAL SPECIFICATION OF SOFTWARE SYSTEMS
                                            SYLLABUS
                                           FALL  2003
                         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
                      VDM++ Method Guidelines                      2           3-4
                      Basic Elements of VDM++                      4           5-6
                      Modelling Unordered Collections              5           7, 10
                      Unified Modeling Language (UML)                          8
                      VDM++ Tool Support                           3           9
                      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          20-21
                      Implementing in Java                         11          22-23
                      Enterprise Architectures                     A           24
                      VDM for Real-Time Systems                                25-26
                      Advanced Topics                                          27-30

        There will be one in-class examination and a final  examination.   The  in-class
        exam  will  be  on Thursday, September 23.  The Final Examination is on Tuesday,
        December  9,  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:      In-Class Examination               20%
                      Final Examination                  40%
                      Exercises                          40%