Die Suche ergab 4 Treffer

von dominik.reis
4. Apr 2014 16:27
Forum: Archiv
Thema: JML: "ensures" und "assignable \nothing"
Antworten: 2
Zugriffe: 701

Re: JML: "ensures" und "assignable \nothing"

Alles klar.
Danke für die Antwort!
von dominik.reis
4. Apr 2014 15:10
Forum: Archiv
Thema: JML: "ensures" und "assignable \nothing"
Antworten: 2
Zugriffe: 701

JML: "ensures" und "assignable \nothing"

Hallo, ich habe mal ein Frage zu Problem 5 aus Exercise 4. In der Lösung zur add-Methode steht folgender Contract: /*@ public normal_behavior @ ... @ @ also @ @ public normal_behavior @ requires (size == limit) || contains(elem); @ ensures \result == false; @ ensures (\forall int e; contains(e) <==>...
von dominik.reis
14. Nov 2013 15:52
Forum: Archiv
Thema: 3er Gruppe - schlimm?
Antworten: 4
Zugriffe: 665

Re: 3er Gruppe - schlimm?

Servus, ich wäre interessiert. Allerdings hab ich Dienstags nur bis 13:30 und von 15:20-16:15 Zeit. Mittwochs geht bei mir leider garnicht. Man könnte aber von mir aus das Lab auch aufteilen. Ich arbeite dann einfach dort weiter, wo ihr Mittwochs aufgehört habt. Dann trifft man sich Dienstags und ic...
von dominik.reis
5. Mär 2012 20:44
Forum: Archiv
Thema: Hilfsmittel für die Klausur
Antworten: 16
Zugriffe: 3112

Hilfsmittel für die Klausur

Hi,
wurde eigentlich irgendwo bekannt gegeben, welche Hilfsmittel für die Klausur zugelassen sind?

Gruß, Dominik

Zur erweiterten Suche