Top SE
Top SE Top SE
Home Project Goals Courses Events FAQ Message

2012 Course Series

# Syllabuses linked from this page are written in Japanese

Lecture hours:

  • 18:20-19:50, 20:00-21:30 (weekdays)
  • 10:30-12:00, 13:00-14:30, 14:45-16:15, 16:30-18:00 (Saturdays)

Term 0 (Feb-Mar)

  • Wed: Introduction to Practical Software Engineering (Syllabus)
  • Thu: Foundations of Computer Science (Syllabus)

Term 1 (Apr-May)

  • Mon: Software Metrics (Syllabus)
  • Tue: Basic Testing (Syllabus)
  • Wed: Foundations of Computer Science (Syllabus)
  • Thu in Apr: Requirements Elicitation (Syllabus)
  • Fri in Apr: Introduction to Security (Syllabus)
  • Fri in May: Requirements Identification (Syllabus)
  • Sat: Introduction to Cloud Computing (Syllabus)
  • Sat: Practical Exercises in Cloud Computing (Syllabus)
  • Sat: Software Cost Estimation (Syllabus)

Term 2 (Jun-Jul)

  • Mon: Basic Model Checking in Software Design (Syllabus)
  • Tue: Component-based Software Development (Syllabus)
  • Wed: Formal Specification (VDM) (Syllabus)
  • Thu: Goal-oriented Requirements Analysis (Syllabus)
  • Fri in Jun: Scenario-based Requirements Analysis (Syllabus)
  • Fri in Jul: Domain Requirements Analysis (Syllabus)
  • Sat: Infrastructure Implementation in Cloud Computing (Syllabus)

Summer Intensive Courses (Aug)

  • Model-driven Development (Syllabus)
  • Theorem Proving and Verification (Syllabus)

Term 3 (Sep-Oct)

  • Mon: Advanced Model Checking in Software Design (Syllabus)
  • Tue: Software Patterns (Syllabus)
  • Wed: Formal Specification (B Method) (Syllabus)
  • Thu: Verification and Implementation of Concurrent Systems (Syllabus)
  • Fri: Software Model Checking (Syllabus)
  • Sat: Foundations of Distributed Systems and Its Application to Cluod Computing (Syllabus)
  • Sat: Best Practices in Formal Specification (Syllabus)

Term 4 (Nov-Dec)

  • Mon: Model Checking for Performance (Syllabus)
  • Tue: Aspect-oriented Software Development (Syllabus)
  • Wed: Super Upper-stream Requirement Engineering (Syllabus)
  • Wed: Advanced Testing (Syllabus)
  • Thu: Formal Specification (Security) (Syllabus)
  • Fri: Security Requirements Analysis (Syllabus)
  • Fri: Program Analysis (Syllabus)
  • Sat: Model Checking with Case Studies (Syllabus)
  • Sat: Implementation of Distributed Applications (Syllabus)

Winter Intensive Courses (Jan)