Dines Bjørner:
The FM2012 Paris August 28 Tutorial
The FM2012 Symposium at CNAM:
Domain Science & Engineering
A Precursor for Requirements Engineering

Professor Emeritus of Computing Science
DTU Informatics, Bldg.322, DTU, DK-2800 Kgs.Lyngby, Denmark

Fredsvej 11, DK-2840 Holte, Denmark
August 24, 2012

Tutorial Proposal

• The Tutorial Proposal, 31 Dec. 2011.

Revised Tutorial Notes and Slides

• The tutorial as I shall actually present it:
  • Notes
  • Notes, reduced 2:1
  • Slides
  • Slides, reduced 4:1

Lecture Slides

• Lecture 1: 09:00-09:40 + 09:50-10:30
• Lecture 2: 11:00-11:40 + 11:50-12:30
• Lecture 3: 14:00-14:40 + 14:50-15:30
• Lecture 4: 16:00-16:40 + 16:50-17:30

...
...
...
...

Dec. 1998, Puerto Montt, Chile;
Jan. 2003, Techn.Univ., DK;
Sept. 2007 UNU-IIST, Macau

...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...

/home/db/plasit/profile/index/fm2012cnam.tex

About this document ...

Dines Bjørner
The FM2012 Paris August 28 Tutorial:

This document was generated using the LaTeX2HTML translator Version 2002-2-1 (1.71)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -split 0 -toc_depth 6 fm2012cnam

The translation was initiated by Dines Bjorner on 2012-08-24