Die Suche ergab 44 Treffer
- 17. Okt 2013 10:42
- Forum: Automated Code Analysis for Large Software Systems
- Thema: Partners - vmtl erledigt
- Antworten: 1
- Zugriffe: 241
Re: Partners
Check your inbox, I sent you a PM.
- 17. Okt 2013 10:40
- Forum: Automated Code Analysis for Large Software Systems
- Thema: Group of two is searching it's last member
- Antworten: 4
- Zugriffe: 446
Group of two is searching it's last member
We are a group of two guys and are looking for a third person. Both of us are bachelor students and are currently writing on our thesis.
Feel free to contact us either by PM or as a short reply.
Regards
Robert
Feel free to contact us either by PM or as a short reply.
Regards
Robert
- 28. Aug 2013 18:58
- Forum: Archiv
- Thema: SEDC Post-Exam Review (Klausureinsicht)
- Antworten: 29
- Zugriffe: 4184
- 9. Jul 2013 12:04
- Forum: Archiv
- Thema: ex09 - Task 2
- Antworten: 8
- Zugriffe: 3013
Re: ex09 - Task 2
I think Osterlaus is right. The Scala exercises are formulated way too short. For Task 2 it's basically 5 sentences. Most of us have pretty much no idea what to implement, how to implement and what this exercise is for. The Java exercises were all about those design patterns; which I really liked. I...
- 6. Apr 2013 13:17
- Forum: Archiv
- Thema: Klausur - LTL auswerten - No- oder weak-fairness als default
- Antworten: 5
- Zugriffe: 956
Klausur - LTL auswerten - No- oder weak-fairness als default
In den Probeklausuren gab es immer eine Aufgabe bei denen wir LTL Formeln auswerten sollten, ob diese valid oder invalid sind. Meine Frage ist nun was in der Klausur unter Default-Fairness zu verstehen ist: - No-Fairness - oder Weak-Fairness Welche Art von Fairness sollen wir für die Auswertung verw...
- 3. Apr 2013 20:04
- Forum: Archiv
- Thema: Probeklausur 1, Aufgabe 7
- Antworten: 2
- Zugriffe: 430
Re: Probeklausur 1, Aufgabe 7
Danke dir, habe ich total übersehn da ich mir die PDFs schon vor na' Weile gesaugt hatte 

- 3. Apr 2013 19:45
- Forum: Archiv
- Thema: Probeklausur 1, Aufgabe 7
- Antworten: 2
- Zugriffe: 430
Probeklausur 1, Aufgabe 7
Hallo ihr Lieben, ich habe eine Frage zu der Aufgabe Nr. 7 der ersten Probeklausur. In Aufgabenteil (b) sind uns 4 Implementationen gegeben. Wir sollten entscheiden welche den "JML-Vertrag" verletzen bzw. erfüllen. Ich komme leider immer zu dem Ergebniss, dass alle 4 Implementationen den JML Vertrag...
- 27. Dez 2012 18:59
- Forum: Archiv
- Thema: Aufgabe 2b - OBF? Anzahl der Durchgänge?
- Antworten: 3
- Zugriffe: 1403
Aufgabe 2b - OBF? Anzahl der Durchgänge?
Guten Abend ihr Lieben, mir ist es ein völliges Rätsel was bei Aufgabe 2b) der Hausaufgaben gemeint ist. Geht es da um eine reine Blockchiffre, die keinen Modus wie bspw. OBF oder CBC oder so verwendet, oder geht es um eine, die einen dieser Modi verwendet? Wenn ja, welchen? Außerdem ist die Frage, ...
ElGamal
In den Vorlesungsfolien steht, dass sich der Public Key bei ElGamal aus g und h zusammen setzt, wobei sich h aus der Potenz von g mit a errechnen lässt. Die Verschlüsselung erfolgt dann durch: E(m)= (c1,c2):=(g^k,mh^k) Entschlüsselung durch: D(c1,c2)=c2(c1)^(-a) Ich habe mir einen Wolf gegoogelt und...
- 25. Apr 2012 20:35
- Forum: Archiv
- Thema: Klausurkorrektur und -einsicht
- Antworten: 77
- Zugriffe: 11278
Re: Klausurkorrektur und -einsicht
Ich würde mich über eine PM mit Bildern freuen.
Achso,... es dürfen ja keine Bilder gemacht werden... *hust*
Also ich würde mich freuen, wenn jemand zufällig den Aushang von B002 gesehen, sich mit seinem fotografischem Gedächtnis gemerkt hat und mir meine Note mitteilen kann =)
Achso,... es dürfen ja keine Bilder gemacht werden... *hust*
Also ich würde mich freuen, wenn jemand zufällig den Aushang von B002 gesehen, sich mit seinem fotografischem Gedächtnis gemerkt hat und mir meine Note mitteilen kann =)
- 19. Apr 2012 15:44
- Forum: Archiv
- Thema: Task 3 - Tests?
- Antworten: 2
- Zugriffe: 329
Task 3 - Tests?
Halli hallo,
werden zu Task 3 des Praktikums noch tests geliefert, oder sollen wir zu diesem Teil selbst welche erstellen?
Lg
werden zu Task 3 des Praktikums noch tests geliefert, oder sollen wir zu diesem Teil selbst welche erstellen?
Lg
- 9. Nov 2011 19:42
- Forum: Archiv
- Thema: Übungsblatt 1, Hausübung H3 - 0 Punkte
- Antworten: 2
- Zugriffe: 1322
Übungsblatt 1, Hausübung H3 - 0 Punkte
Eine Frage an die Übungsleiter: Warum bekommt man bei der H3 des ersten Übungsblattes 0 Punkte wenn man lediglich hinschreibt welche Relation reflexsiv, symmetrisch, antisymmetrisch und transitiv ist und keine Behaupt mit abliefert? Ich finde wir haben mind. die Hälfte der Punkte verdient, denn es f...
- 20. Sep 2011 16:50
- Forum: Archiv
- Thema: Ergebnisse
- Antworten: 363
- Zugriffe: 31356
Re: Ergebnisse
Yo pls an mich. Danke dir 

- 20. Sep 2011 16:34
- Forum: Archiv
- Thema: Ergebnisse
- Antworten: 363
- Zugriffe: 31356
Re: Ergebnisse
Bitte auch PN an mich =)