| ■授業内容と方法 |
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.
|
| ■評価基準と評価方法 |
|
Attendance and results of assessments
|
| ■履修条件 |
Intensive
understanding of programming language and Unix tools
such as Emacs are required.
|
| ■授業計画 |
(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
|
| ■事前・事後学習 |
|
|
| ■教科書 |
ISBN |
|
The Practice of Programming Kerningham and Pike
|
020161586X |
|
Various Unix Manuals
|
|
|
| ■参考書 |
ISBN |
|
|
| ■備考(メッセージ) |
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.
|
| ■オフィスアワー |
|
Contact with E-mail, or after the lecture
|
| ■メールアドレス |
|
|
| ■URL |
|
http://www.ie.u-ryukyu.ac.jp/%7Ekono/lecture/software-system-e.html
|