Die Suche ergab 124 Treffer

von Markus Tasch
30. Okt 2017 11:38
Forum: Archiv
Thema: Zugriff auf interne Website
Antworten: 12
Zugriffe: 1113

Re: Zugriff auf interne Website

Schaut in eure PNs.
von Markus Tasch
23. Okt 2017 12:12
Forum: Archiv
Thema: Termin Klausureinsicht für Klausur im SS17
Antworten: 0
Zugriffe: 199

Termin Klausureinsicht für Klausur im SS17

Die Klausureinsicht zur Klausur Modellierung, Spezifiaktion und Semantik im SS17 findet am Montag, 30.10.2017, 17:30-18:30 Uhr in S2|02 E202 statt. Bitte bringen Sie sowohl einen Lichtbildausweis als auch Ihren Studentenausweis mit.
von Markus Tasch
23. Okt 2017 12:07
Forum: Archiv
Thema: Exam-Inspection Final Term
Antworten: 0
Zugriffe: 775

Exam-Inspection Final Term

The exam inspection for the final-term exam will take place on Thursday 26.10.2017, 16:00-16:45 in A313. Bring your student ID card and official photo ID for authentication.
von Markus Tasch
19. Sep 2017 09:05
Forum: Archiv
Thema: Sprechstunde SoSe 17
Antworten: 2
Zugriffe: 291

Re: Sprechstunde SoSe 17

Hallo,

ich biete eine weitere Sprechstunde am Mittwoch 20.09 von 17:00-18:00 (E321) an. Bitte senden Sie Fragen für die Sprechstunden schon vorab an mich per E-Mail. Danke.
von Markus Tasch
18. Sep 2017 09:25
Forum: Archiv
Thema: Raumeinteilung MoSeS SS17 Klausur
Antworten: 0
Zugriffe: 192

Raumeinteilung MoSeS SS17 Klausur

Die Raumeinteilung für die Klausur im SS 17 zur Veranstaltung "Modellierung,Spezifikation und Semantik" am Fr. 22.09.2017, 09:00 steht jetzt auf der Webseite der Veranstaltung (http://www.mais.informatik.tu-darmstadt.de/moses-ws16).
von Markus Tasch
11. Sep 2017 10:58
Forum: Archiv
Thema: Sprechstunde SoSe 17
Antworten: 2
Zugriffe: 291

Re: Sprechstunde SoSe 17

Hallo,

ich biete eine Sprechstunde am Mittwoch 13.09 von 15:00-16:30 in E302 an. Bitte senden Sie Fragen für die Sprechstunden schon vorab an mich per E-Mail. Danke.
von Markus Tasch
28. Apr 2017 18:17
Forum: Archiv
Thema: Klausureinsicht - Freitag 12.05.2017
Antworten: 0
Zugriffe: 545

Klausureinsicht - Freitag 12.05.2017

Die Klausureinsicht zur Klausur Modellierung, Spezifiaktion und Semantik findet am Freitag, 12.05.2017, 13:00-18:00 Uhr in S2|02 E302 statt. Wenn Sie an der Klausureinsicht teilnehmen möchten, melden Sie sich für organisatorische Zwecke bitte über die entsprechende Gruppeneinteilung in Moodle ( http...
von Markus Tasch
12. Apr 2017 08:41
Forum: Archiv
Thema: Klausurergebnisse
Antworten: 5
Zugriffe: 1514

Re: Klausurergebnisse

Einen konkreten Termin kann ich leider nicht nennen.

Wir sind uns aber der Deadline für den Übergang in dem Master am 30.04 bewusst. Dementsprechend ist mit den Klausurergebnissen in TUCaN in der Woche 24.04-28.04 zu rechnen.
von Markus Tasch
5. Apr 2017 13:43
Forum: Archiv
Thema: Lab: "Formal Specification and Verification in Isabelle/HOL" in SS17
Antworten: 0
Zugriffe: 408

Lab: "Formal Specification and Verification in Isabelle/HOL" in SS17

In the summer term 2017, the MAIS group (Prof. Mantel) offers the lab "Formal Specification and Verification in Isabelle/HOL" (6 CP, TUCaN Id: 20-00-0778-pr). Further information can be found on the course webpage ( http://www.mais.informatik.tu-darmstadt.de/isabelle-ss17.html ) The joint introducto...
von Markus Tasch
5. Apr 2017 13:30
Forum: Archiv
Thema: Lecture: "Formal Methods for Information Security" in SS17
Antworten: 0
Zugriffe: 495

Lecture: "Formal Methods for Information Security" in SS17

In the summer term 2017, the MAIS group (Prof. Mantel) offers the lecture "Formal Methods for Information Security" (9CP, 6 SWS, TUCaN ID 20-00-0362-iv).

Further information can be found on the course webpage (http://www.mais.informatik.tu-darmstadt ... -ss17.html).
FMIS-Ad-SS17.png
FMIS-Ad-SS17.png (186.68 KiB) 488 mal betrachtet
von Markus Tasch
7. Mär 2017 19:53
Forum: Archiv
Thema: Traces (P||Q)
Antworten: 4
Zugriffe: 735

Re: Traces (P||Q)

Die Erklärung wirkt irgendwie falsch: Also: Angenommen \alpha(P)\cap \alpha(Q)=\emptyset , dann entspricht traces(P || Q) allen Interleavings der Spuren von P und Q . Synchronization tritt keine auf, da keine Ereignisse geteilt sind. Angenommen \neg \alpha(P)\cap \alpha(Q)=\emptyset , dann entsprich...
von Markus Tasch
7. Mär 2017 17:47
Forum: Archiv
Thema: Traces (P||Q)
Antworten: 4
Zugriffe: 735

Re: Traces (P||Q)

Abhängig davon wie der Index bei den beiden STOP aussieht ist das Ergebnis unterschiedlich: Für den Beispiel gilt, wenn STOP_{\{x\}} und STOP_{\{y\}} : traces(P) = \{(), (x), (y), (x,y), (y,x)\} Für den Beispiel gilt, wenn STOP_{\{x,y\}} und STOP_{\{x,y\}} : traces(P) = \{()\} EDIT: Im zweiten Beisp...
von Markus Tasch
7. Mär 2017 17:41
Forum: Archiv
Thema: Lösung 13.4.b
Antworten: 1
Zugriffe: 301

Re: Lösung 13.4.b

Unter Annahme, dass die Klammern stimmen (das habe ich nicht geprüft), ja.
von Markus Tasch
7. Mär 2017 17:40
Forum: Archiv
Thema: Gegenbeispiel zu Programmäquivalenz
Antworten: 1
Zugriffe: 456

Re: Gegenbeispiel zu Programmäquivalenz

Falls die Aufgabe so gestellt wird, würde eine solche Antwort auch ausreichen.
von Markus Tasch
7. Mär 2017 17:37
Forum: Archiv
Thema: Anforderungen mit mathematischem Konzept modellieren
Antworten: 3
Zugriffe: 571

Re: Anforderungen mit mathematischem Konzept modellieren

"Anforderungen mit mathematischem Konzept modellieren" bedeutet nur, dass das ganze formal passieren soll, was im Kontext der Vorlesung potenziell auch selbstverständlich ist

Zur erweiterten Suche