Die Suche ergab 681 Treffer
- 20. Nov 2012 20:40
- Forum: Archiv
- Thema: Fragen zu Lab1
- Antworten: 29
- Zugriffe: 1831
Re: Fragen zu Lab1
was soll denn in die abgabe dann alles mit rein? alle asserts die uns so eingefallen sind? was ist mit weiteren ausgaben? haben uns noch einige prints eingebaut damit wir den code leichter testen konnten, aber das macht den code an sich unübersichtlicher. wenn die asserts drin bleiben sollen: solle...
- 17. Nov 2012 13:55
- Forum: Archiv
- Thema: Verifikation Server-Drucker
- Antworten: 8
- Zugriffe: 655
Re: Verifikation Server-Drucker
Hier ein paar Hinweise: Interleaving kann nach jeder Anweisung stattfinden. Auch nach Guards, denn bei denen handelt es sich im Anweisungen. Dein assert scheint mir ungeeignet, die gewünschte Eigenschaft zu überprüfen. Was soll 'counter == 0' denn an der Stelle aussagen? Niemand druckt? Bedenke, das...
- 17. Nov 2012 13:37
- Forum: Archiv
- Thema: Deklarationen in atomic-Blöcken
- Antworten: 3
- Zugriffe: 284
Re: Deklarationen in atomic-Blöcken
Das ändert ja nichts daran, dass es genaugenommen unzulässig ist, Deklarationen von Variablen nicht zu Beginn des Prozesses zu machen. Ich halte es zwar für eine schlechte Idee, das so zu handhaben, wie Promela das macht, nämlich über die Unzulässigkeit zu schweigen und irgendwelche Anweisungen zu v...
- 17. Nov 2012 12:43
- Forum: Archiv
- Thema: Deklarationen in atomic-Blöcken
- Antworten: 3
- Zugriffe: 284
Re: Deklarationen in atomic-Blöcken
Das hat nicht unbedingt was mit atomic-Blöcken zu tun, sondern damit, dass Promela Deklarationen immer an den Beginn der Prozesse schiebt. Meines Erachtens lohnt es sich nicht wirklich, sich zu fragen, warum oder ob das toll ist, sondern man muss einfach damit leben.
- 17. Nov 2012 12:42
- Forum: Archiv
- Thema: Verifikation Server-Drucker
- Antworten: 8
- Zugriffe: 655
Re: Verifikation Server-Drucker
Lies doch mal das Material für die Vorlesung. Aus der Einführung kannst du entnehmen, warum deine Lösung nicht korrekt ist. Im Kapitel "Verifying with SPIN" kannst du nachlesen, wie du deine Modelle verifizieren kannst.
- 17. Nov 2012 12:37
- Forum: Archiv
- Thema: Warum timeout?
- Antworten: 3
- Zugriffe: 312
Re: Warum timeout?
Naja, eine offensichtliche Variante wäre, nur zwei Nachrichten mit dem Server zu empfangen, wenn du genau weißt, dass nur zwei gesendet werden.
Ansonsten gibt es da noch die end-labels.
Ansonsten gibt es da noch die end-labels.
- 14. Nov 2012 19:29
- Forum: Archiv
- Thema: Warum timeout?
- Antworten: 3
- Zugriffe: 312
Re: Warum timeout?
Dein Server empfängt über den Rendezvous-Channel erst die Nachricht von Client1, dann von Client2, erreicht dann die Anweisung 'request ? num', die aber nie ausgeführt werden kann, weil alle Clients terminiert sind. Daher endet dein Programm mit einem Timeout.
- 26. Okt 2012 13:03
- Forum: Suche / Biete
- Thema: Ein Paar postmoderne Romane zu verschenken!
- Antworten: 5
- Zugriffe: 640
Re: Ein Paar postmoderne Romane zu verschenken!
Hab noch eins ausgegraben: Mikhail Bulgakov - The Master and Margarita ( Link ) Ziemlich abgefahrenes Setting (der Teufel kommt nach Moskau und versucht, dort ein wenig Unruhe zu stiften, während andere Handelsstränge das Schicksals eines Schriftstellers und Jesus' Unterredung mit Pontius Pilatur be...
- 26. Okt 2012 11:49
- Forum: Suche / Biete
- Thema: Ein Paar postmoderne Romane zu verschenken!
- Antworten: 5
- Zugriffe: 640
Re: Ein Paar postmoderne Romane zu verschenken!
Das kann nie schaden.Can hat geschrieben:Und Bret Easton Ellis werde ich mir jetzt definitiv mal näher ansehen.

- 26. Okt 2012 10:45
- Forum: Suche / Biete
- Thema: Ein Paar postmoderne Romane zu verschenken!
- Antworten: 5
- Zugriffe: 640
Re: Ein Paar postmoderne Romane zu verschenken!
Naja, verschenken will ich sie, weil ich sie nicht wirklich aufbewaren möchte und so Paperbacks auf dem Wiederverkaufsmarkt ca. 1 Cent wert sind. Es hat nichts mit der Qualität des Inhalts zu tun. Die Chuck-Palahnuk-Bücher kann man ganz gut lesen, Generation X hat mir damals nicht so gut gefallen (a...
- 25. Okt 2012 15:05
- Forum: Suche / Biete
- Thema: Ein Paar postmoderne Romane zu verschenken!
- Antworten: 5
- Zugriffe: 640
- 24. Okt 2012 13:12
- Forum: Archiv
- Thema: Wozu PROMELA when man auf plain C schreiben kann?
- Antworten: 1
- Zugriffe: 231
Re: Wozu PROMELA when man auf plain C schreiben kann?
Man kann das schon machen, aber C-Code wird vom Verifier als korrekt angenommen. Da es hier nicht im Kern um Programmierung, sondern um Modellierung und Verifikation geht, hast du nichts davon, dass Promela embedded C unterstützt. Promela selbst hat andere Kerneigenschaften als C, z. B. Nichtdetermi...
- 20. Jul 2012 21:51
- Forum: Archiv
- Thema: Klausur Unternehmensführung und Marketing am 31.07.2012
- Antworten: 2
- Zugriffe: 1760
Re: Klausur Unternehmensführung und Marketing am 31.07.2012
Vielen Dank für den Link.
- 20. Jul 2012 18:24
- Forum: Archiv
- Thema: Klausur Unternehmensführung und Marketing am 31.07.2012
- Antworten: 2
- Zugriffe: 1760
Klausur Unternehmensführung und Marketing am 31.07.2012
Schreibt jemand zufällig diese Klausur und weiß, ob die Inhalte in Unternehmensführung in irgendeiner Weise eingegrenzt wurden oder es in der Vorlesung Hinweise auf die Beschaffenheit möglicher Klausuraufgaben gab? Ich konnte der Vorlesung leider nicht beiwohnen und finde den inhaltlichen Umfang der...
- 13. Jul 2012 12:03
- Forum: Offtopic
- Thema: Grill Spotter - Android App
- Antworten: 1
- Zugriffe: 2788
Re: Grill Spotter - Android App
Warum verwendet die App die Permission READ_PHONE_STATE?