199.103 Domain Science and Engineering
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022W, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Präsenz

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

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. 

Inhalt der Lehrveranstaltung

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

 

 

Methoden

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 (2+2 hours off each of  7 course days: 2 hours tutored by Prof. Bjorner and 2 hours with students working their own. 

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

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

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/

 

 

 

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
14:00 - 16:0024.10.2022 - 25.10.2022Seminarraum FAV 01 B (Seminarraum 187/2) Domain Science and Engineering
Do.14:00 - 16:0027.10.2022Seminarraum FAV EG B (Seminarraum von Neumann) Domain Science and Engineering
Fr.14:00 - 16:0028.10.2022Seminarraum FAV 01 B (Seminarraum 187/2) Domain Science and Engineering
Mo.14:00 - 16:0031.10.2022Seminarraum FAV 01 B (Seminarraum 187/2) Domain Science and Engineering
Do.14:00 - 16:0003.11.2022Seminarraum FAV EG B (Seminarraum von Neumann) Domain Science and Engineering
Fr.14:00 - 16:0004.11.2022Seminarraum FAV 01 B (Seminarraum 187/2) Domain Science and Engineering
Domain Science and Engineering - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.24.10.202214:00 - 16:00Seminarraum FAV 01 B (Seminarraum 187/2) Domain Science and Engineering
Di.25.10.202214:00 - 16:00Seminarraum FAV 01 B (Seminarraum 187/2) Domain Science and Engineering
Do.27.10.202214:00 - 16:00Seminarraum FAV EG B (Seminarraum von Neumann) Domain Science and Engineering
Fr.28.10.202214:00 - 16:00Seminarraum FAV 01 B (Seminarraum 187/2) Domain Science and Engineering
Mo.31.10.202214:00 - 16:00Seminarraum FAV 01 B (Seminarraum 187/2) Domain Science and Engineering
Do.03.11.202214:00 - 16:00Seminarraum FAV EG B (Seminarraum von Neumann) Domain Science and Engineering
Fr.04.11.202214:00 - 16:00Seminarraum FAV 01 B (Seminarraum 187/2) Domain Science and Engineering
LVA wird geblockt abgehalten

Leistungsnachweis

The exam will take place as an oral exam. 

LVA-Anmeldung

Von Bis Abmeldung bis
05.09.2022 00:00 16.10.2022 23:59

Anmeldemodalitäten

Please register in TISS.

Curricula

StudienkennzahlSemesterAnm.Bed.Info
PhD TU Wien Informatics Doctoral School

Literatur

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch