Special Seminar for Computer and Information Sciences - Shaoying LIU
- 2012 年度版 (2013年度版準備中)
Instructor
Goal and Theme
Students will understand how to use theory to help practice.
Abstract
This seminar focuses on more advanced theories and techniques for verifying software systems, including model checking, inspection, and testing. Intensive reading and discussions will be required to improve the students’ understanding of the necessary science for software engineering. Specific research projects are assigned to students. Students are instructed how to present their work and how to progress their research projects.
Schedule
前期
| 回 | テーマ | 内容 |
|---|---|---|
| 1 | Software supporting tool and environment | The concept of software supporting tool, software engineering environment |
| 2 | The principle of software tools | Principles for semi-automatic supporting tools and full-automatic supporting tools, respectively. |
| 3 | Building tools as an evaluation technqiue | Software techniques evaluation, building software tools for evaluation of techniques. |
| 4 | Intelligent software engineering environment | Principles for intelligent software engineering environment, and the latest development of ISEE. |
| 5 | Intelligent tool for requirements analysis | Domaing knolwedge and its representation, application of domain knowledge for completeness of requirements. |
| 6 | Method-based intelligent tool for informal specification | The concpet of method-based intelligent tool, intelligent guidance for building informal specifications using SOFL. |
| 7 | Intelligent tool support for transformation | Method-based knowledge and its representation, Intelligent guidance for transforming informal specifications to semi-formal specifications. |
| 8 | Intelligent tool for creating system architecture | The concept of system architecture, method-based knowledge for architecture, intelligent guidance for building system architectures using CDFDs. |
| 9 | Intelligent tool for writing pre-post-conditions for process specification | Pattern knowledge for writing pre- and post-conditions, intelligent guidance for the writing process. |
| 10 | Intelligent tool for configuration specification evolution | The concept of specifciation evolution, knowledge for specification evolution, and intelligent guidance for evolution. |
| 11 | Intelligent tool for configuration management | What is configuration management? Documentation traceability, and intelligent guidance for the assurance of traceability. |
| 12 | Intelligent tool for transforming formal specifications to code | Rules for transforming formal specifications to code, intelligent guidance for heuristic transformation. |
| 13 | Intelligent tool for inspection | Principle for inspection, knowledge for inspection, and intelligent guidance for inspection. |
| 14 | Intelligent tool for functional scenario-based inspection | Knowledge on functional scenarios, principle for scenario-based inspection, and intelligent guidance for scenario-based inspection. |
| 15 | Intelligent tool for testing | Principle for automatic testing, rules for specification-based testing, and intelligent guidance for specification-based testing. |
授業外に行うべき学習活動
Preview and review the contents taught in classes.
Materials
“Formal Engineering for Industrial Software Development'', Shaoying Liu, Springer-Verlag, 2004, ISBN 3-540-20602-7. ``Experimentation in Software Engineering'', C. Wohlin, P. Runeson, M. Host, M. C. Ohlsson, B. Regnell, and A. Wesslen, Kluwer Academic Publishers, 2000.
References
Published papers.
Evaluation Method
Tool implementation and report.
情報機器使用
PC
前年度の授業改善アンケートからの気づき
None
Remarks
None