Dines Bjørner's T.U.Graz Course Web Page

E-Mail: bjorner@gmail.com

URLs: www.ist.tugraz.at/staff/bjorner, www.imm.dtu.dk/~db

November 12, 2008

Stop Press !

This section will - as from after Oct.29, 2009 -- contain information "bytes" on the course.
Pls. consult this section regularly, i.e., daily.
Enumerated list of messages:
1. (Re)Read entire Web page !
2. 31 October 2008 - since previous version:
  1. Removed one course participant.
  2. Removed previous "Course Texts" section.
  3. Inserted of many ".pdf" text and slide files in Lecture Timetable and Course Texts and Slides section.
3. 2 November 2008 - since 31 October 2008:
  1. Please do not print other than Chapter 1 and Lecture 1-2-3-4 Slides.
    I am regularly updating Chaps. 2-3, but have "frozen" Chap. 1 for this course.
    Since slides are automatically produced from same L^ATEX files as are the chapter texts, printing of slides should follow printing of chapter texts.
  2. Welcome tomorrrow, Monday 3 Nov. at 8am.
  3. For that lecture you may wish to print
    - Chapter 1
    - Lect.1
    - Supplement Example: Intrinsics (Appendix F)
      I might start the lecture showing some of this example.
    - Supplement Example:Prelude Domain Engineering (Appendix E)
  4. 5 November 2008 - since 2 November 2008:
    - I have updated the ``back matter'': Bibliography, Indexes, Glossary, etc.
    - I have put a full version of the
      - Book
      - and ``all'' Slides ``so far'' on our home page,
      - the latter also in 1/8 format.
  5. 7 November 2008 - since 5 November 2008:
    - Update "Lecture Timetable and Course Texts and Slides" for Nov.7.
    - Moved exam: from Tue.9.12 to Tue.2.12.
    - I expect a reasonably coherent intermediate report from all of you (i.e., 3 groups) Friday 21 Nov., 2008, at 1:00 pm sharp.

Overview

This Web page, with its sub-Web pages, provides informaton about the course given at T.U.Graz November-December 2009.

Course Name: Ausgewählte Kapitel aus Formalen Methoden
Course Period: 1-18 + 21 Nov.; 1-5 Dec.
Course Days: Monday-Friday , every day, normally, but pls. confer with:
- Lectures and
- Exercise Sessions
also see Section Timetable below.
Course Hours: 9:30-11:00, 14:00-16:00 , normally, but pls. confer with:
- Lectures and
- Exercise Sessions

Course Participants:

Weiglhofer, Martin weiglhofer@ist.tugraz.at

Krenn, Willibald Karl wkrenn@ist.tugraz.at

Krempler, Alan alan.krempler@mmm-komm.at

Galler, Stefan galler@ist.tugraz.at

Nica, Mihai mnica@ist.tugraz.at

Brandl, Harald hbrandl@ist.tugraz.at

Ahsan, Syed Nadeem sahsan@ist.tu-graz.ac.at

Ferzund, Javed jferzund@ist.tu-graz.ac.at

Riaz, Naveed nriaz@ist.tu-graz.ac.at

The three project teams as listed above. Photos taken at T.U.Graz, Wedn. 12 Nov., 2008

Course Plan

"Theoretically Speaking"

Please confer with:
- Full Plan, Aims & Objectives, Etc.
- Day-by-day Plan

Exceptions

Bjørner is away
- Wedn.19 Nov. (all day) and Thu.20 Nov. till 2pm (in Denmark).
- Fri.21 Nov. 4pm till Mon.1 Dec.7:45 am (in Wien, Japan, Wien)

Lecture Timetable and Course Texts and Slides

The below, tentative , table overrides anything found in documents referred to above and elsewhere!
Especially this part of this Web page will be subject to frequent updates.

Lect.No. Lect.Subj. Day Hours Text Meth.Slides Ex.Slides

1 Triptych, Inform.Docs. Mon.3.11 8:00-9:30 Chap.1: 1.1-1.6.9 incl. Lect.1 Supp.:Prel.Dom.

2 Inform.Docs., Method. Tue.4.11 8:00-9:30 Chap.1: 1.6.10-1.6.16 Lect.2 Supp.:Prel.Dom.

3 Concept.Frame.I Wed.5.11 9:30-11:00 Chap.1: 1.7-1.11.2 incl. Lect.3 Supp.:Prel.Dom.

4 Concept.Frame.II Thu.6.11 9:30-11:00 Chap.1: 1.12-1.14 incl. Lect.4 Supp.:Prel.Dom.

5 DE Prelude Fri.7.11 9:30-11:00 Chap.2: 2.1-2.8 incl. Lect.5 Supp.: Prelude DE

6 Dom.Mod.:I+ST Mon.10.11 8:00-9:30 Chap.2: 2.9.1-2.9.4 incl. Lect.6 Supp.: Intrin. + Supp.: Supp.Techn.

7 Dom.Mod.:M&O,R&R Tue.11.11 8:00-9:30 Chap.2: 2.9.5-2.9.6 incl. Lect.7 Supp.: Mgt.Org.+ Supp.: Rul.Reg.

8 Dom/Mod.:Scr.,HB Wed.12.11 9:30-11:00 Chap.2: 2.9.7-2.9.10 incl. Lect.8 Supp.: Scripts+ Supp.: Hum.Behav.

9 DE Postlude Thu.13.11 9:30-11:00 Chap.2: 2.10-2.16 incl. Lect.9 Supp.: Postlude DE

10 RE Prelude Fri.14.11 9:30-11:00 Chap.3: 3.1-3.8 incl. Lect.10 Supp.: Prelude RE

11 Dom.Reqs. Mon.17.11 8:00-9:30 Chap.3: 3.9.1 Lect.11 Supp.: Domain Reqs.

12 I/F Reqs. Tue.18.11 8:00-9:30 Chap.3: 3.9.2 Lect.12 Supp.: I/F Reqs.

- - Wed.19.11 - - - -

- - Thu.20.11 - - - -

13 Mach.Reqs. Fri.21.11 9:30-11:00 Chap.3: 3.9.4 Lect.13 Supp.: M/C Reqs.

- - Mon.24.11 - - -

- - Tue.25.11 - - -

- - Wed.26.11 - - -

- - Thu.27.11 - - -

- - Fri.28.11 - - -

14 RE Postlude Mon.1.12 8:00-9:30 Chap.3: 3.10-3.16 incl. BLANK: Lect.14 BLANK: Supp.: Postlude RE

15 SW Arch. Tue.2.12 8:00-9:30 BLANK: Chap.4: BLANK: Lect.15 BLANK: Supp.: S/W Design

16 SE Comp.+Mods. Wed.3.12 9:30-11:00 BLANK: Chap.4: BLANK: Lect.16 No Support

17 Course Review Thu.4.12 9:30-11:00 BLANK: Chap.5: BLANK: Lect.17 No Support

Last three lecture topics are rather tentative, i.e., "doubful" !
Lect.13 is very-very short and may be used to project discussion

Exam

Exam consist of two parts:
- a report, possibly worked out individually, or in subgroups, or by full group of course participants;
- a two hour written test, Tuesday 2 December, 1-3 pm, 2008.
Written test checks your understanding of the report !

Course Project

Resource ... Project

Text to be provided

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

About this document ...

Dines Bjørner's T.U.Graz Course Web Page

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

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

The translation was initiated by Dines Bjorner on 2008-11-12

Dines Bjorner 2008-11-12

Weiglhofer, Martin	weiglhofer@ist.tugraz.at
Krenn, Willibald Karl	wkrenn@ist.tugraz.at
Krempler, Alan	alan.krempler@mmm-komm.at
Galler, Stefan	galler@ist.tugraz.at
Nica, Mihai	mnica@ist.tugraz.at
Brandl, Harald	hbrandl@ist.tugraz.at
Ahsan, Syed Nadeem	sahsan@ist.tu-graz.ac.at
Ferzund, Javed	jferzund@ist.tu-graz.ac.at
Riaz, Naveed	nriaz@ist.tu-graz.ac.at

Lect.No.	Lect.Subj.	Day	Hours	Text	Meth.Slides	Ex.Slides
1	Triptych, Inform.Docs.	Mon.3.11	8:00-9:30	Chap.1: 1.1-1.6.9 incl.	Lect.1	Supp.:Prel.Dom.
2	Inform.Docs., Method.	Tue.4.11	8:00-9:30	Chap.1: 1.6.10-1.6.16	Lect.2	Supp.:Prel.Dom.
3	Concept.Frame.I	Wed.5.11	9:30-11:00	Chap.1: 1.7-1.11.2 incl.	Lect.3	Supp.:Prel.Dom.
4	Concept.Frame.II	Thu.6.11	9:30-11:00	Chap.1: 1.12-1.14 incl.	Lect.4	Supp.:Prel.Dom.
5	DE Prelude	Fri.7.11	9:30-11:00	Chap.2: 2.1-2.8 incl.	Lect.5	Supp.: Prelude DE
6	Dom.Mod.:I+ST	Mon.10.11	8:00-9:30	Chap.2: 2.9.1-2.9.4 incl.	Lect.6	Supp.: Intrin. + Supp.: Supp.Techn.
7	Dom.Mod.:M&O,R&R	Tue.11.11	8:00-9:30	Chap.2: 2.9.5-2.9.6 incl.	Lect.7	Supp.: Mgt.Org.+ Supp.: Rul.Reg.
8	Dom/Mod.:Scr.,HB	Wed.12.11	9:30-11:00	Chap.2: 2.9.7-2.9.10 incl.	Lect.8	Supp.: Scripts+ Supp.: Hum.Behav.
9	DE Postlude	Thu.13.11	9:30-11:00	Chap.2: 2.10-2.16 incl.	Lect.9	Supp.: Postlude DE
10	RE Prelude	Fri.14.11	9:30-11:00	Chap.3: 3.1-3.8 incl.	Lect.10	Supp.: Prelude RE
11	Dom.Reqs.	Mon.17.11	8:00-9:30	Chap.3: 3.9.1	Lect.11	Supp.: Domain Reqs.
12	I/F Reqs.	Tue.18.11	8:00-9:30	Chap.3: 3.9.2	Lect.12	Supp.: I/F Reqs.
-	-	Wed.19.11	-	-	-	-
-	-	Thu.20.11	-	-	-	-
13	Mach.Reqs.	Fri.21.11	9:30-11:00	Chap.3: 3.9.4	Lect.13	Supp.: M/C Reqs.
-	-	Mon.24.11	-	-	-
-	-	Tue.25.11	-	-	-
-	-	Wed.26.11	-	-	-
-	-	Thu.27.11	-	-	-
-	-	Fri.28.11	-	-	-
14	RE Postlude	Mon.1.12	8:00-9:30	Chap.3: 3.10-3.16 incl.	BLANK: Lect.14	BLANK: Supp.: Postlude RE
15	SW Arch.	Tue.2.12	8:00-9:30	BLANK: Chap.4:	BLANK: Lect.15	BLANK: Supp.: S/W Design
16	SE Comp.+Mods.	Wed.3.12	9:30-11:00	BLANK: Chap.4:	BLANK: Lect.16	No Support
17	Course Review	Thu.4.12	9:30-11:00	BLANK: Chap.5:	BLANK: Lect.17	No Support