INF5130 - Autumn 2015

Updated teaching plan

_澳门葡京手机版app下载

Overview INF5130

1 Lectures (temporary plan)

 

1.1 Week 1 – Intro: 1. part of Lectures1 slides

1.2 Week 2 – Overview of Maude: 2. part of Lectures1 slides

1.3 Week 3 – Full Maude: 3. part of Lectures1 slides

1.4 Week 4 – About assignment 1 – Lectures2 slides

1.5 Week 5 – Metaprogramming

1.6 Week 6 – Metaprogramming

1.7 Week 7 – Metaprogramming, assignment 2

1.8 Week 8 – Temporal Logic and Model checking

1.9 Week 9 to Week 14 – Paper presentations

2 Assignments

 

2.1 Assignment 1

  • What to do, given in Assignment1.pdf
  • Lectures1 slides, with more info
  • The associated paper

Deadline Sunday Sept. 27.

2.2 Assignment 2 (metaprogramming)

not yet released

Date: 1. Sept. 2015

Author: Olaf Owe

Created: 2015-09-01 Tue 14:30

Emacs 23.1.1 (Org mode 8.2.5h)

Validate

Published Sep. 1, 2015 2:36 PM - Last modified Sep. 1, 2015 2:42 PM
E-mail this page