Die Suche ergab 268 Treffer

von tgp
7. Nov 2011 12:36
Forum: Automated Software Engineering
Thema: sheet2, ex2: ownedBy vs. accessedBy
Antworten: 1
Zugriffe: 136

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?
von tgp
6. Nov 2011 22:42
Forum: Automated Software Engineering
Thema: Trace errors?
Antworten: 3
Zugriffe: 496

Re: Trace errors?

If you do not want to start the solutions from zero, specify something like

Code: Alles auswählen

run {
	#Company > 1
	#conflictWith > 0
}
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...)
von tgp
6. Nov 2011 22:04
Forum: Automated Software Engineering
Thema: $e - meaning?
Antworten: 2
Zugriffe: 243

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..."...
von tgp
31. Okt 2011 17:32
Forum: Automated Software Engineering
Thema: Slides and Sheet 2 online
Antworten: 6
Zugriffe: 254

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.
von tgp
31. Okt 2011 15:45
Forum: Automated Software Engineering
Thema: Slides and Sheet 2 online
Antworten: 6
Zugriffe: 254

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 :).
von tgp
31. Okt 2011 12:03
Forum: Automated Software Engineering
Thema: Slides and Sheet 2 online
Antworten: 6
Zugriffe: 254

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...
von tgp
19. Okt 2011 15:07
Forum: Archiv
Thema: SE-Messe Vorbereitung
Antworten: 4
Zugriffe: 477

Re: SE-Messe Vorbereitung

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?
von tgp
28. Sep 2011 14:49
Forum: Archiv
Thema: Review 3 - 05.10.2011
Antworten: 4
Zugriffe: 442

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 ...
von tgp
13. Sep 2011 23:50
Forum: Archiv
Thema: 100% Test Coverage ...
Antworten: 35
Zugriffe: 2625

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...
von tgp
8. Sep 2011 13:38
Forum: Archiv
Thema: 100% Test Coverage ...
Antworten: 35
Zugriffe: 2625

Re: 100% Test Coverage ...

Doch, nur ist das die Erklärung dafür, dass wir sie noch nicht sehen können.
von tgp
8. Sep 2011 12:45
Forum: Archiv
Thema: 100% Test Coverage ...
Antworten: 35
Zugriffe: 2625

Re: 100% Test Coverage ...

War heute auch im Studienbüro – nach deren Aussage hat der Veranstalter noch keine vollständige Ergebnisliste verschickt ;)
von tgp
2. Sep 2011 04:59
Forum: Studieninteressierte
Thema: Glasfaseranbindung zur Uni
Antworten: 5
Zugriffe: 1096

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...
von tgp
25. Aug 2011 12:50
Forum: Archiv
Thema: Allgemeine Fragen zu SE D&C
Antworten: 18
Zugriffe: 1573

Re: Allgemeine Fragen zu SE D&C

*bump* - würde mich auch mal interessieren :)
von tgp
12. Aug 2011 15:52
Forum: Archiv
Thema: Demo eurer Buildsysteme
Antworten: 14
Zugriffe: 1380

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...
von tgp
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?

Zur erweiterten Suche