Software System (Graduate Course)

Menu Menu

High level programming technique is studied using real system software. Using large system program source, program understanding ability is developed. In order to handle several hundred lines of codes, various tools are required. Studying back ground theory of these tools, such as verification, test or debugging, student will understand how to manage large scale system. Intensive understanding of programming language and Unix tools such as Emacs are required.

Recommended Text

   The Practice of Programming    Kerningham and Pike
   Various Unix Manuals

Evaluation

   Attendance and results of assessments

Lecture Plan

 (1) How to handle program source
 (2) Tracing program flow using Emacs
 (3) Analyzing Large Scale System Program
 (4) Using UML diagram to describe system
 (5) Test Tools
 (6) Verification Method
 (7) Debug Method

Emails are used. Since we cannot print out hundreds of thousands of program source, a note PC is necessary. If you don't have it, you have to contact the lecturer.