Advanced Software Engineering
TeachersKAMIDE, NorihiroStaffInfo
Grade, SemesterYear 1 2nd semest [Master's program, Division of Integrated Science and Engineering]
CategorySpecial Subjects
Elective, CreditsElective 2credit
 Syllabus Number

Course Description

 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.).

Course 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

TextbookNo textbook.
ReferencesLogic in Computer Science: Modelling and Reasoning about SystemsMichael Huth and Mark RyanCambridge 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,


 LMS is used in this course.


2Software process models
3Requirement analysis
4Software design
6Software test
7Software maintenance
8Structured analysis/design technique
9Object-oriented methodology (1): Concepts
10Object-oriented methodology (2): Examples
11Modeling technique (1): Concepts
12Modeling technique (2): Examples
13Formal methods and verification technique (1): Concepts
14Formal methods and verification technique (2): Model checking
15Software evaluation