Teachers | KAMIDE, Norihiro | |
---|---|---|
Grade, Semester | Year 1 2nd semest [Master's program, Division of Integrated Science and Engineering] | |
Category | Special Subjects | |
Elective, Credits | Elective 2credit | |
Syllabus Number |
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.
Kind | Title | Author | Publisher |
---|---|---|---|
Textbook | No textbook. | ||
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.
1 | Introduction |
2 | Software process models |
3 | Requirement analysis |
4 | Software design |
5 | Programming |
6 | Software test |
7 | Software maintenance |
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 |
15 | Software evaluation |