|Grade, Semester||Year 1 2nd semest [Master's program, Division of Integrated Science and Engineering]|
|Elective, Credits||Elective 2credit|
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.).
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.
Students are evaluated by a term examination, some midterm examinations, and some quizzes.
|References||Logic in Computer Science: Modelling and Reasoning about Systems||Michael Huth and Mark Ryan||Cambridge University Press|
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
LMS is used in this course.
|2||Software process models|
|8||Structured analysis/design technique|
|9||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|