Die Suche ergab 681 Treffer

von yourmaninamsterdam
20. Nov 2012 20:40
Forum: Archiv
Thema: Fragen zu Lab1
Antworten: 29
Zugriffe: 1435

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...
von yourmaninamsterdam
17. Nov 2012 13:55
Forum: Archiv
Thema: Verifikation Server-Drucker
Antworten: 8
Zugriffe: 484

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...
von yourmaninamsterdam
17. Nov 2012 13:37
Forum: Archiv
Thema: Deklarationen in atomic-Blöcken
Antworten: 3
Zugriffe: 209

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...
von yourmaninamsterdam
17. Nov 2012 12:43
Forum: Archiv
Thema: Deklarationen in atomic-Blöcken
Antworten: 3
Zugriffe: 209

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.
von yourmaninamsterdam
17. Nov 2012 12:42
Forum: Archiv
Thema: Verifikation Server-Drucker
Antworten: 8
Zugriffe: 484

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.
von yourmaninamsterdam
17. Nov 2012 12:37
Forum: Archiv
Thema: Warum timeout?
Antworten: 3
Zugriffe: 245

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.
von yourmaninamsterdam
14. Nov 2012 19:29
Forum: Archiv
Thema: Warum timeout?
Antworten: 3
Zugriffe: 245

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.
von yourmaninamsterdam
26. Okt 2012 13:03
Forum: Suche / Biete
Thema: Ein Paar postmoderne Romane zu verschenken!
Antworten: 5
Zugriffe: 546

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...
von yourmaninamsterdam
26. Okt 2012 11:49
Forum: Suche / Biete
Thema: Ein Paar postmoderne Romane zu verschenken!
Antworten: 5
Zugriffe: 546

Re: Ein Paar postmoderne Romane zu verschenken!

Can hat geschrieben:Und Bret Easton Ellis werde ich mir jetzt definitiv mal näher ansehen.
Das kann nie schaden. :-)
von yourmaninamsterdam
26. Okt 2012 10:45
Forum: Suche / Biete
Thema: Ein Paar postmoderne Romane zu verschenken!
Antworten: 5
Zugriffe: 546

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...
von yourmaninamsterdam
25. Okt 2012 15:05
Forum: Suche / Biete
Thema: Ein Paar postmoderne Romane zu verschenken!
Antworten: 5
Zugriffe: 546

Ein Paar postmoderne Romane zu verschenken!

Ich verschenke folgende Bücher. Bringe sie gern zu einem noch zu vereinbarenden Zeitpunkt ins Piloty mit.

Chuck Palahniuk - Lullaby (Link)
Chuck Palahniuk - Choke (Link)
Douglas Coupland - Generation X (Link)
J. G. Ballard - Crash (Link)

Bei Interesse einfach melden.
von yourmaninamsterdam
24. Okt 2012 13:12
Forum: Archiv
Thema: Wozu PROMELA when man auf plain C schreiben kann?
Antworten: 1
Zugriffe: 223

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...
von yourmaninamsterdam
20. Jul 2012 18:24
Forum: Archiv
Thema: Klausur Unternehmensführung und Marketing am 31.07.2012
Antworten: 2
Zugriffe: 1607

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...
von yourmaninamsterdam
13. Jul 2012 12:03
Forum: Offtopic
Thema: Grill Spotter - Android App
Antworten: 1
Zugriffe: 2715

Re: Grill Spotter - Android App

Warum verwendet die App die Permission READ_PHONE_STATE?

Zur erweiterten Suche