Die Suche ergab 268 Treffer
- 7. Nov 2011 12:36
- Forum: Automated Software Engineering
- Thema: sheet2, ex2: ownedBy vs. accessedBy
- Antworten: 1
- Zugriffe: 193
sheet2, ex2: ownedBy vs. accessedBy
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?
- 6. Nov 2011 22:42
- Forum: Automated Software Engineering
- Thema: Trace errors?
- Antworten: 3
- Zugriffe: 563
Re: Trace errors?
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...)
Code: Alles auswählen
run {
#Company > 1
#conflictWith > 0
}
(the constraint on #Company is obviously not needed if the one for conflictWith is there...)
- 6. Nov 2011 22:04
- Forum: Automated Software Engineering
- Thema: $e - meaning?
- Antworten: 2
- Zugriffe: 377
Re: $e - meaning?
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..."...
- 31. Okt 2011 17:32
- Forum: Automated Software Engineering
- Thema: Slides and Sheet 2 online
- Antworten: 6
- Zugriffe: 332
Re: Slides and Sheet 2 online
Now copying works – at least to the folder our-group-name/sheet2_tmp, since sheet2 exists already, of course.
- 31. Okt 2011 15:45
- Forum: Automated Software Engineering
- Thema: Slides and Sheet 2 online
- Antworten: 6
- Zugriffe: 332
Re: Slides and Sheet 2 online
I did not manage to copy the files, even after your fix. A workaround is to download and add them manually, which i did
.

- 31. Okt 2011 12:03
- Forum: Automated Software Engineering
- Thema: Slides and Sheet 2 online
- Antworten: 6
- Zugriffe: 332
Re: Slides and Sheet 2 online
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...
- 19. Okt 2011 15:07
- Forum: Archiv
- Thema: SE-Messe Vorbereitung
- Antworten: 4
- Zugriffe: 599
Re: SE-Messe Vorbereitung
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?mitschke hat geschrieben:2. Handzettel (Kurz mit den Betreuern Besprechen in der Woche vor der Messe)
- 28. Sep 2011 14:49
- Forum: Archiv
- Thema: Review 3 - 05.10.2011
- Antworten: 4
- Zugriffe: 537
Re: Review 3 - 05.10.2011
- 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 ...
- 13. Sep 2011 23:50
- Forum: Archiv
- Thema: 100% Test Coverage ...
- Antworten: 35
- Zugriffe: 3147
Re: 100% Test Coverage ...
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...
- 8. Sep 2011 13:38
- Forum: Archiv
- Thema: 100% Test Coverage ...
- Antworten: 35
- Zugriffe: 3147
Re: 100% Test Coverage ...
Doch, nur ist das die Erklärung dafür, dass wir sie noch nicht sehen können.
- 8. Sep 2011 12:45
- Forum: Archiv
- Thema: 100% Test Coverage ...
- Antworten: 35
- Zugriffe: 3147
Re: 100% Test Coverage ...
War heute auch im Studienbüro – nach deren Aussage hat der Veranstalter noch keine vollständige Ergebnisliste verschickt 

- 2. Sep 2011 04:59
- Forum: Studieninteressierte
- Thema: Glasfaseranbindung zur Uni
- Antworten: 5
- Zugriffe: 1274
Re: Glasfaseranbindung zur Uni
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...
- 25. Aug 2011 12:50
- Forum: Archiv
- Thema: Allgemeine Fragen zu SE D&C
- Antworten: 18
- Zugriffe: 1697
Re: Allgemeine Fragen zu SE D&C
*bump* - würde mich auch mal interessieren 

- 12. Aug 2011 15:52
- Forum: Archiv
- Thema: Demo eurer Buildsysteme
- Antworten: 14
- Zugriffe: 1801
Re: Demo eurer Buildsysteme
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...
- 30. Jul 2011 22:01
- Forum: Archiv
- Thema: Die letzten beiden AOP-Abschnitte
- Antworten: 1
- Zugriffe: 264
Die letzten beiden AOP-Abschnitte
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?