| １． |
Outline |
|
The contents of the lectures are summarized as follows: (1) software process models (waterfall model and agile model), (2) phasese of software process model (requirement analysis, software design, programming, software test and software maintenance), (3) software development methods (structured analysis/design technique and object-oriented methodology), and (4) software verification/specification methods (formal method, model checking, etc.).
|
| ２． |
Objectives |
|
The aim of this course is to understand the following items: (1) software process models, (2) software development methods, and (3) logic-based software verification/specification methods such as model checking.
|
| ３． |
Grading Policy |
|
Students are evaluated by a term examination, some midterm examinations, and some quizzes.
|
| ４． |
Textbook and Reference |
|
[1] Michael Huth and Mark Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2012.
[2] Guide to the Software Engineering Body of Knowledge (SWEBOK Guide) , IEEE Computer Society, http://www.computer.org/web/swebok
|
| ５． |
Requirements (Assignments) |
|
Students should read the slides of the lecture. The video contents of the lecture should be viewed.
The following site should be bookmarked:
Guide to the Software Engineering Body of Knowledge (SWEBOK Guide) , IEEE Computer Society, http://www.computer.org/web/swebok
|
| ６． |
Note |
|
LMS is used in this course.
|
| ７． |
Schedule |
|
１. Introduction
|
２. Software process models
|
３. Requirement analysis
|
| ４. Software design |
| ５. Programming |
６. Software test
|
| ７. Software maintenance |
| ８. Structured analysis/design technique |
| ９. Object-oriented methodology (1): Concepts |
| 10. Object-oriented methodology (2): Examples |
11. Modeling technique (1): Concepts
|
12. Modeling technique (2): Examples
|
| 13. Formal methods and verification technique (1): Concepts |
| 14. Formal methods and verification technique (2): Model checking |
| 15. Software evaluation |
|
| １． |
Outline |
|
The contents of the lectures are summarized as follows: (1) software process models (waterfall model and agile model), (2) phasese of software process model (requirement analysis, software design, programming, software test and software maintenance), (3) software development methods (structured analysis/design technique and object-oriented methodology), and (4) software verification/specification methods (formal method, model checking, etc.).
|
| ２． |
Objectives |
|
The aim of this course is to understand the following items: (1) software process models, (2) software development methods, and (3) logic-based software verification/specification methods such as model checking.
|
| ３． |
Grading Policy |
|
Students are evaluated by a term examination, some midterm examinations, and some quizzes.
|
| ４． |
Textbook and Reference |
|
[1] Michael Huth and Mark Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2012.
[2] Guide to the Software Engineering Body of Knowledge (SWEBOK Guide) , IEEE Computer Society, http://www.computer.org/web/swebok
|
| ５． |
Requirements (Assignments) |
|
Students should read the slides of the lecture. The video contents of the lecture should be viewed.
The following site should be bookmarked:
Guide to the Software Engineering Body of Knowledge (SWEBOK Guide) , IEEE Computer Society, http://www.computer.org/web/swebok
|
| ６． |
Note |
|
LMS is used in this course.
|
| ７． |
Schedule |
|
１. Introduction
|
２. Software process models
|
３. Requirement analysis
|
| ４. Software design |
| ５. Programming |
６. Software test
|
| ７. Software maintenance |
| ８. Structured analysis/design technique |
| ９. Object-oriented methodology (1): Concepts |
| 10. Object-oriented methodology (2): Examples |
11. Modeling technique (1): Concepts
|
12. Modeling technique (2): Examples
|
| 13. Formal methods and verification technique (1): Concepts |
| 14. Formal methods and verification technique (2): Model checking |
| 15. Software evaluation |
|
|