199.103 Domain Science and Engineering
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2022W, VU, 2.0h, 3.0EC, to be held in blocked form

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise
  • Format: Presence

Learning outcomes

After successful completion of the course, students are able to...

understand principles of domain-specific modeling and engineering and applying their knowledge on concrete case studies. Hands-on formal exercise, with practical sessions/discussions will assist students in this course. 

Subject of course

The lecturer of this course will be Professor emeritus, Dr.Techn., Dr.h.c., Dines Bjørner from DTU Compute, Technical University, Denmark.

Contact: bjorner@gmail.com

Teaching methods

The course will be held in a blocked manner, with 7 lectures (each lecture of 2x45 minutes).

Lecture notes will be available online and the lectures will discuss the material of the lecture notes in-class. 

Interested students will also have the possibility to engage in project work, consisting of 2+2 hours of each of  7 course days:

- 2 hours tutored by Prof. Bjorner (exercise sessions)

- and 2 hours with students working their own. 

 

Mode of examination

Immanent

Additional information

This is a guest professor course of the TU Wien Informatics Doctoral School.

The course is open to all PhD students and interested Master students and will be held from Oct 24 - Nov 4, 2022.

Detailed schedule (each day features a double lecture, tentatively 2*45 mins):

- Lecture 1, Monday, Oct 24:
Introductory concepts, Domain overview, Examples

- Lecture 2, Tuesday, Oct 25:
Endurants - External Qualities (Analysis and Synthesis)

- Lecture 3, Thursday, Oct 27:
Endurant - Internal Qualities (Unique Identifiers and Mereology)

- Lecture 4, Friday, Oct 28:
Endurants - Internal Qualities (Attributes)

- Lecture 5, Monday, Oct 31:
Examples

- Lecture 6, Thursday, Nov 3:
Perdurants - The Discrete Statics

- Lecture 7, Friday, Nov.4: 
Perdurants - The Discrete Dynamics, Summary Discussions

In addition to the above lectures, each lecture day will also offer in-class exercises (1-3pm each lecture day).

For further information please refer to the following course webpage which will be updated by Prof. Bjørner regularly: http://www.imm.dtu.dk/~dibj/2022/tuv/

 

 

 

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Mon10:00 - 12:0024.10.2022Seminarraum FAV EG B (Seminarraum von Neumann) Domain Science and Engineering - Lecture 1
Mon13:00 - 15:0024.10.2022 Seminar room Menger, Favoritenstrasse 9-11, Building 3, 3rd floorDomain Science and Engineering - Exercises 1
Tue08:00 - 10:0025.10.2022 Room HC 03 11, Favoritenstrasse 9-11, Building 3, 3rd floorDomain Science and Engineering - Lecture 2
Tue10:00 - 12:0025.10.2022 Room HC 03 11, Favoritenstrasse 9-11, Building 3, 3rd floorDomain Science and Engineering - Exercises 2
Thu08:00 - 10:0027.10.2022 Room HC 03 11, Favoritenstrasse 9-11, Building 3, 3rd floorDomain Science and Engineering - Lecture 3
Thu10:00 - 12:0027.10.2022 Room HC 03 11, Favoritenstrasse 9-11, Building 3, 3rd floorDomain Science and Engineering - Exercises 3
Fri08:00 - 10:0028.10.2022 Room HC 03 11, Favoritenstrasse 9-11, Building 3, 3rd floorDomain Science and Engineering - Lecture 4
Fri10:00 - 12:0028.10.2022 Room HC 03 11, Favoritenstrasse 9-11, Building 3, 3rd floorDomain Science and Engineering - Exercises 4
Mon08:00 - 10:0031.10.2022 Room HC 03 11, Favoritenstrasse 9-11, Building 3, 3rd floorDomain Science and Engineering - Lecture 5
Mon10:00 - 12:0031.10.2022 Room HC 03 11, Favoritenstrasse 9-11, Building 3, 3rd floorDomain Science and Engineering - Exercises 5
Thu08:00 - 10:0003.11.2022 Room HC 03 11, Favoritenstrasse 9-11, Building 3, 3rd floorDomain Science and Engineering - Lecture 6
Thu10:00 - 12:0003.11.2022 Room HC 03 11, Favoritenstrasse 9-11, Building 3, 3rd floorDomain Science and Engineering - Exercises 6
Fri08:00 - 10:0004.11.2022 Room HC 03 11, Favoritenstrasse 9-11, Building 3, 3rd floorDomain Science and Engineering - Lecture 7
Fri10:00 - 12:0004.11.2022 Room HC 03 11, Favoritenstrasse 9-11, Building 3, 3rd floorDomain Science and Engineering - Exercises 7
Course is held blocked

Examination modalities

The exam will take place as an oral exam. 

Course registration

Begin End Deregistration end
05.09.2022 00:00 16.10.2022 23:59

Registration modalities

Please register in TISS.

Curricula

Study CodeObligationSemesterPrecon.Info
PhD TU Wien Informatics Doctoral School Mandatory

Literature

Lecture notes: www.imm.dtu.dk/~dibj/2022/primer/primer.pdf

Miscellaneous

  • Attendance Required!

Language

English