Die Suche ergab 104 Treffer

von L4_
9. Mär 2013 12:49
Forum: Archiv
Thema: Alternative Semantik Rechenbeispiel
Antworten: 1
Zugriffe: 361

Alternative Semantik Rechenbeispiel

Hallo, den Term auf folgendem Link oben versuche ich mit alternativer Semantik herzuleiten, jedoch scheitere ich. http://bamboodock.wacom.com/doodler/08a9426c-86ce-442b-90ca-e30fa7336123 (Hinweis: in H1 in der Mitte sollte bei (3*5) + (2*3) ein - stehen, also (3*5) - (2*3) und ar-2 statt at+2) Mein ...
von L4_
26. Feb 2013 16:58
Forum: Archiv
Thema: Use Cases - letzte Übung
Antworten: 4
Zugriffe: 759

Re: Use Cases - letzte Übung

Wieso wird der Messenger nicht als solcher angegeben? Man darf die Musterlösung nicht als einzige Lösung sehen. Jedoch wird Messenger von den Usern genutzt, daher würde ich es nicht als Akteur sehen. In meinem eigenen Domainmodel habe ich z.B. die Klasse "Messenger" mit einer 1:n Assoziation zur Kl...
von L4_
25. Feb 2013 20:05
Forum: Archiv
Thema: User vs System Requirements
Antworten: 4
Zugriffe: 591

Re: User vs System Requirements

Hey, also ich lag beim lösen anfangs auch falsch, aber habe die Lösung nachvollziehen können, indem ich mir immer jeweils eine Frage bewusst mache: User-Requirement: Was wird gefordert? (näher: was interessiert den Anwender/User) System-Requirement: Wie wird die Anforderung realisiert? (d.h. etwas, ...
von L4_
22. Feb 2013 16:20
Forum: Archiv
Thema: Lab4 - Probleme mit HighscoreSorted Invariante und insertAt
Antworten: 11
Zugriffe: 546

Re: Lab4 - Probleme mit HighscoreSorted Invariante und inser

Oh man - ich habs wohl in der zwischenzeit iwann richtig gehabt, nur dann nicht gemerkt, dass an meinem PC Anzahl Knoten auf 1000 eingestellt war und nicht auf 10000 oder mehr. Daher dachte ich, dass der Beweis nie geklappt hat. Auf meinem Notebook gings nämlich heut wie ich zufällig entdeckte. Zu b...
von L4_
21. Feb 2013 16:30
Forum: Archiv
Thema: Übung 11 Musterlösung
Antworten: 4
Zugriffe: 491

Re: Übung 11 Musterlösung

Hentschel hat geschrieben: Chrome zeigt bei mir alle Seiten korrekt an.
Ich glaube es ging lediglich um "bessere Qualität" - die Diagramme von Aufgabe 3 sind etwas verpixelt (selbst wenn man die PDF runterlädt, sollte also nichts mit dem Browser zu tun haben)
von L4_
21. Feb 2013 15:35
Forum: Archiv
Thema: Final Excercise - A6 d) eigene Klassen erstellen?
Antworten: 1
Zugriffe: 447

Final Excercise - A6 d) eigene Klassen erstellen?

Hallo, bei der genannten Aufgabe wird verlangt ein bekanntes Pattern zu verwenden. Dass man bei Template-, Strategy- oder Factory-pattern meist eigene abstrakte klassen erstellt ist soweit klar. Aber wird auch erwartet, dass man eigene Klassen für das Observer-pattern erstellen soll (AbstractObserva...
von L4_
21. Feb 2013 13:31
Forum: Archiv
Thema: Übung 6.2 - Frage zur Musterlösung
Antworten: 1
Zugriffe: 398

Übung 6.2 - Frage zur Musterlösung

Hallo, in der Musterlösung auf Folie 29 steht newState = getGameState() mit einer SelfMessage und anschließend die Message an GameStateEvent mit "new GameStateEvent(this, oldState, newSate)" Ich habe das in eine Zeile gelöst mit der Nachricht "new GameStateEvent(this, oldState, getGameState())" Hier...
von L4_
21. Feb 2013 11:55
Forum: Archiv
Thema: Condition Coverage
Antworten: 8
Zugriffe: 1178

Re: Condition Coverage

In Modul SoftwareQualityAndTesting auf Folie 31 steht etwas unbetont: " For a given condition c in decision d ( multiple occurrences of c are counted as distinct conditions ), ... " Soll also bedeuten, wenn eine Variable mehrfach in einer Formel auftaucht, dass die Auswertung dessen getrennt betrach...
von L4_
20. Feb 2013 21:38
Forum: Archiv
Thema: Lab4 - Probleme mit HighscoreSorted Invariante und insertAt
Antworten: 11
Zugriffe: 546

Re: Lab4 - Probleme mit HighscoreSorted Invariante und inser

Dein letzter Hinweis ließ gab mir dann noch ein paar Ideen :) Jedoch kommen mir nun folgende Fragen auf: Wenn ich in der Loop_invariante \old benutze z.B. in == \old(in ), bedeutet das nun dass \old(in ) vor der Iteration und in nach der Iteration ist? Sprich, dass das aktuelle und alte Objekt immer...
von L4_
20. Feb 2013 17:48
Forum: Archiv
Thema: Lab4 - Probleme mit HighscoreSorted Invariante und insertAt
Antworten: 11
Zugriffe: 546

Re: Lab4 - Probleme mit HighscoreSorted Invariante und inser

Nungut, dann scheint es wohl mit der Invariante in Codezeile 5-8 keine Probleme zu geben. Ich habe mir "Ensures" von insertAt angeschaut und habe in der Loop-invariant gefordert, dass dies auch in jeder Iteration gelte (natürlich angepasst an die Laufvariable "start"). Dachte eigentlich, das wäre be...
von L4_
20. Feb 2013 17:13
Forum: Archiv
Thema: Lab4 - Probleme mit HighscoreSorted Invariante und insertAt
Antworten: 11
Zugriffe: 546

Re: Lab4 - Probleme mit HighscoreSorted Invariante und inser

Du missverstehst mich. Ich habe nicht geschrieben, dass ich die Aufgabe mit "loop_invariant true;" lösen will. Ich habe auch nicht gefragt, weshalb ich die loop-variante spezifiziere. Ich wollte damit lediglich sagen, dass der Beweis selbst damit nicht schließt (obwohl er das doch tun müsste, sofern...
von L4_
20. Feb 2013 17:03
Forum: Archiv
Thema: Lab4 - Probleme mit HighscoreSorted Invariante und insertAt
Antworten: 11
Zugriffe: 546

Lab4 - Probleme mit HighscoreSorted Invariante und insertAt

Hallo, die Invariante quantifiziert über Elemente mit index 0 bis size-1 und beschreibt die Sortierung (jedoch ohne Ausschluss von "null"-Elementen). Die Methode insertAt erlaubt es einen Record überall hinzuzufügen, auch wenn size != capacity. Bsp: Size := 2 Capacity := 5 in := { R2, R1, null, null...
von L4_
18. Feb 2013 14:03
Forum: Archiv
Thema: Probeklausur
Antworten: 5
Zugriffe: 1021

Re: Probeklausur

Ah, hab ich übersehen - top :)
von L4_
18. Feb 2013 13:09
Forum: Archiv
Thema: Probeklausur
Antworten: 5
Zugriffe: 1021

Probeklausur

Hallo,

ich habe in Erinnerung, dass uns zur Vorbereitung unter anderem eine Probeklausur angeboten werde.
Ist dem auch so bzw. bis wann könnten wir dann damit rechnen?

Danke im Voraus!

VG

Zur erweiterten Suche