Die Suche ergab 30 Treffer

von Jonnylein
22. Okt 2014 22:30
Forum: Archiv
Thema: Korrektur der Klausur im SoSe14?
Antworten: 4
Zugriffe: 1160

Re: Korrektur der Klausur im SoSe14?

Kann ich bestätigen, Noten sind verfügbar!
von Jonnylein
10. Okt 2014 16:07
Forum: Archiv
Thema: Korrektur der Klausur im SoSe14?
Antworten: 4
Zugriffe: 1160

Re: Korrektur der Klausur im SoSe14?

Hallo,

die Ergebnisse würden mich auch langsam interessieren - zumal die Menge der Teilnehmer an der Klausur doch recht überschaubar war.
Eine Rückmeldung in diesem Forenthread wäre auch nett. Oder schauen die Veranstalter vor Vorlesungsbeginn nicht mehr hier rein?

mfg
von Jonnylein
17. Mai 2014 12:27
Forum: Archiv
Thema: Vorläufige Klausurnoten, Klausureinsicht
Antworten: 1
Zugriffe: 751

Re: Vorläufige Klausurnoten, Klausureinsicht

Laut der Webseite müsste ich um 14.30 Uhr zur Einsicht erscheinen, aber da bin ich noch auf der Arbeit. 15.30 Uhr ist auch knapp, da ich allerfrühestens und mit viel Glück um 15.15 Uhr da sein könnte.

Gibt es einen Alternativtermin, oder ist es möglich, die Einsicht nach hinten etwas zu verlängern?
von Jonnylein
6. Mär 2014 19:43
Forum: Archiv
Thema: Semantik von assignable und arrays in JML
Antworten: 6
Zugriffe: 1153

Re: Semantik von assignable und arrays in JML

Moin! Ich habe auch noch eine Frage zu diesem Thema. Was mich interessiert ist, ob man die Hilfsvariable i die man in dem assignable benutzt noch extra als Integer deklarieren muss. Was ich meine ist, ist int i; assignable i, array[i]; nötig? MfG Faxe Wenn i in assignable angegeben wird, muss i vor...
von Jonnylein
4. Mär 2014 15:55
Forum: Archiv
Thema: Semantik von assignable und arrays in JML
Antworten: 6
Zugriffe: 1153

Re: Semantik von assignable und arrays in JML

* Hint: If you use variables for array indices in an assignable-clause, * their values are evaluated in the pre-state. Dementsprechend folgender Code als richtig, um auf das Feld mit pre-state Index zuzugreifen: /*@ assignable i, array[i] @*/ Was, wenn ich nun aber nur das Feld des Arrays als assig...
von Jonnylein
4. Mär 2014 13:54
Forum: Archiv
Thema: Semantik von assignable und arrays in JML
Antworten: 6
Zugriffe: 1153

Semantik von assignable und arrays in JML

Hallo, angenommen, ich möchte für eine Methode m, ein array a und einen Integerwert i folgendes festlegen: m verändert den Inhalt von a an der Stelle von i m verändert den Wert von i Da man laut JML Syntax nicht \old in assignable-clauses stehen haben darf, kann ich nicht spezifizieren, dass ich den...
von Jonnylein
18. Dez 2013 14:46
Forum: Archiv
Thema: Lab 2: Problem 2.1
Antworten: 5
Zugriffe: 738

Re: Lab 2: Problem 2.1

Können wir in 2.1 davon ausgehen, dass Alice nur ein einziges Mal das Protokoll mit Server ausführt? (Und analog dazu für die Schlüsselübergabe von Server an Bob.)

Und sollen wir davon ausgehen, dass Alice und Bob eine nicht festgelegte Anzahl von Nachrichten austauschen?
von Jonnylein
17. Dez 2013 16:25
Forum: Archiv
Thema: Timeout bei Aufgabe 2.3
Antworten: 3
Zugriffe: 475

Re: Timeout bei Aufgabe 2.3

Hallo,

wir haben auch das Problem, dass uns das Webinterface ein nichtssagendes "timeout" ausspuckt, nachdem wir den Intruder in unsere protocols.pml kopiert hatten.

Beste Grüße,
Jonny
von Jonnylein
17. Dez 2013 00:35
Forum: Archiv
Thema: Correction status
Antworten: 2
Zugriffe: 1595

Re: Correction status

Hello,

we are pretty much done with the grading of Ex04 (which took a little bit longer due to the complexity of grading UML diagrams) and are in the middle of grading Ex05 - which should be done until Wednesday.

Well. That's the plan, at least. ;)


Best regards,
Jonathan
von Jonnylein
12. Dez 2013 02:09
Forum: Archiv
Thema: Signal and functions
Antworten: 4
Zugriffe: 681

Re: Signal and functions

Hi, ah thanks, I was just wondering, as I feel my code shoul work now. But another two questions arose to me. First, the exercisesheet tels "Your Animation class .. it's method should create new animation objects" this only applys for the animate-method of the actual object and not to the class met...
von Jonnylein
12. Dez 2013 02:00
Forum: Archiv
Thema: One last question about Ex6
Antworten: 1
Zugriffe: 416

Re: One last question about Ex6

The result should be a ball moving back and forth on the x-axis in a linear fashion and back and forth on the y-axis in a non-linear fashion. The idea is to use an Animation which has sine-behaviour for the movement on the y-axis. You should leave your Path-DSL as it is from the previous task. Think...
von Jonnylein
20. Nov 2013 23:38
Forum: Archiv
Thema: Points for ex02
Antworten: 1
Zugriffe: 359

Re: Points for ex02

Give it a day or two (or three..), corrections will be available soon. :)
von Jonnylein
19. Nov 2013 21:30
Forum: Archiv
Thema: Ex03 Task1: Liskov Principle and precise parameters
Antworten: 7
Zugriffe: 1769

Re: Ex03 Task1: Liskov Principle and precise parameters

'ello! This fits quite well to what Task 1 tells me to do. As for example contravariance of the contains method, and covariance of the add method and a class/ object signature without variance annotations, results in a behaviour like I expect it to have. So lets have a short example to clarifiy thin...
von Jonnylein
13. Nov 2013 14:25
Forum: Archiv
Thema: Naming convention exercise
Antworten: 6
Zugriffe: 565

Re: Naming convention exercise

Exactly. Change <name>ex02</name> in .project into something representing your team, like in your example, and leave everything else as it is.

Best regards
von Jonnylein
12. Nov 2013 22:38
Forum: Archiv
Thema: Ex02 Task1, color
Antworten: 2
Zugriffe: 275

Re: Ex02 Task1, color

Hello,

since the constructors you are inquiring about are pretty much defined in task 1, I suggest setting the public variables instead.

A good alternative would be a default value, so you don't have to set it in each extending class.



Best regards

Zur erweiterten Suche