D120.de/forum

In sheet2, ex2 a) it is stated that an employee acquires a piece of knowledge if and only if working or having worked for a company that happens to have access to that piece of knowledge Is this meant literally? So can a company own knowledge which it has no access to? Or: does ownership imply access?

If you do not want to start the solutions from zero, specify something like
Perhaps there are more sensible minimum constraints on the relations and types/sets?

(the constraint on #Company is obviously not needed if the one for conflictWith is there...)

I have the same elements, so my guess is: This could be a result from skolemization . Since the arrow points from a company to an employee, i guess it belongs to the fact f1b2 (every company has some employee). If you specified this as something like "for all companies c there is some employee e..."...

Now copying works – at least to the folder our-group-name/sheet2_tmp, since sheet2 exists already, of course.

I did not manage to copy the files, even after your fix. A workaround is to download and add them manually, which i did .

There seems to be a problem with the access rights on public/alloy/: svn cp https://cage.st.informatik.tu-darmstadt.de/ASE/WS2011-12/public/alloy/ https://cage.st.informatik.tu-darmstadt.de/ASE/WS2011-12/students/our-group-name/sheet2 Authentication realm: <https://cage.st.informatik.tu-darmstadt.de...

mitschke hat geschrieben:2. Handzettel (Kurz mit den Betreuern Besprechen in der Woche vor der Messe)

D.h., wir machen die Handzettel bis spätestens zum Wochenende nach dem 27.10. fertig, und treffen uns dann Anfang der Woche der SE-Messe (31.10-3.11.) mit dem Betreuer?

- Fazit der Veranstaltung Was lief gut, was könnte besser werden? Ist damit unser persönliches / Team-Fazit gemeint, oder eher Feedback an die Veranstalter bzgl. Organisation etc.? Der Vortrag wird gehalten von zwei Team-Mitgliedern, die bisher noch keinen Review-Vortrag gehalten haben. ...und was ...

Ich habe heute feststellen müssen, dass das Prüfungssekretariat auf einen von Prof. Mezini unterschriebenen Ausdruck der Notenliste wartet. Ohne Unterschrift werden diese vorläufigen Noten nicht veröffentlicht. Das ist mir scheint mir leider entgangen zu sein. Nana, hat da jemand den einfachen Work...

Doch, nur ist das die Erklärung dafür, dass wir sie noch nicht sehen können.

War heute auch im Studienbüro – nach deren Aussage hat der Veranstalter noch keine vollständige Ergebnisliste verschickt

Du meinst höchstwahrscheinlich das neue Studentenwohnheim am Steubenplatz , das wird diese Internet-Konditionen haben. Näheres dazu kann dir hier wohl eher keiner sagen, da man es erst dieses Wochenende besichtigen kann. Es wird aber sicher im Vertrag stehen (den man durchlesen sollte, bevor man ihn...

*bump* - würde mich auch mal interessieren

Wir hatten ja heute morgen gezeigt, dass unser hudson nur dann anspringt, wenn auf dem default-Branch was geändert wurde. Zusätzlich wird noch überprüft, ob die Änderung außerhalb des Dokumenten-Ordners ("Deliverables") passiert, weil ja z.B. ein QS-Doku-Update keinen Build triggern muss. Für den, d...

Beim Durchgehen der AOP-Folien sind mir die letzten beiden Abschnitte (7.6 Inter-Type Declarations und 7.7 Static Advice and Property Enforcement) neu vorgekommen. Ich war in jeder Vorlesung – kann es sein, dass wir 7.6 und 7.7 ausgelassen haben, oder spielt mir mein Gedächnis einen Streich?