Die Suche ergab 38 Treffer

von monperrus
22. Apr 2010 18:12
Forum: Automated Software Engineering
Thema: Exercise #2
Antworten: 6
Zugriffe: 542

Re: Exercise #2

Hi all,

You can find the slides and the example programs of the lecture in http://cage.st.informatik.tu-darmstadt. ... /lectures/.

Viele Grüße,

--Martin
von monperrus
22. Apr 2010 16:55
Forum: Automated Software Engineering
Thema: Exercise #2
Antworten: 6
Zugriffe: 542

Exercise #2

Hi all, Exercise #2 can be found here: http://cage.st.informatik.tu-darmstadt.de/SS2010-ASE/exercises/blatt02.pdf Alloy can be downloaded here: http://alloy.mit.edu The reference manual of Alloy is here (also valid for Alloy 4): http://alloy.mit.edu/reference-manual.pdf I'll also give you the slides...
von monperrus
21. Apr 2010 11:42
Forum: Automated Software Engineering
Thema: SVN checkout of the exercise repository
Antworten: 0
Zugriffe: 224

SVN checkout of the exercise repository

Hi all, Carsten wrote: I'm on Ubuntu and use the command line SVN tools, $ svn co http://cage.st.informatik.tu-darmstadt.de/SS2010-ASE/students/ enables you to create your directory folder afterwards. However, once it is secured, $ svn co http://cage.st.informatik.tu-darmstadt.de/SS2010-ASE/students...
von monperrus
19. Apr 2010 15:43
Forum: Automated Software Engineering
Thema: Registration via Webreg
Antworten: 0
Zugriffe: 183

Registration via Webreg

If you plan to attend this lecture, please register
via WebReg:
https://www.dekanat.informatik.tu-darms ... mester=10S

Thanks!
von monperrus
19. Apr 2010 15:39
Forum: Automated Software Engineering
Thema: Slides of the first lecture
Antworten: 2
Zugriffe: 310

Slides of the first lecture

Hi all,

The slides of the first lecture are available here:
http://cage.st.informatik.tu-darmstadt. ... ture01.pdf

Don't hesitate to ask questions on the forum!

Best regards,

--Martin
von monperrus
19. Apr 2010 09:48
Forum: Automated Software Engineering
Thema: First Exercise
Antworten: 10
Zugriffe: 906

Re: First Exercise

Hi Stefan,

>> I'd like to know if the group size of two is mandatory.
No it is not mandatory. It will just be easier and interesting to discuss and solve the exercises in pair.

Viele Grüße,

--Martin
von monperrus
16. Apr 2010 09:48
Forum: Automated Software Engineering
Thema: First Exercise
Antworten: 10
Zugriffe: 906

Re: First Exercise

Hi all,

>> Is there a problem with the rights?
There was a problem with rights...

>> But thank you for the "private"-folder
... which also caused this "high security perimeter" violation :-)

Both problems are (normally) solved.

Viele Grüße,

--Martin
von monperrus
15. Apr 2010 16:38
Forum: Automated Software Engineering
Thema: First Exercise
Antworten: 10
Zugriffe: 906

First Exercise

Hi all,

The first exercise can be found here:
https://cage.st.informatik.tu-darmstadt ... latt01.pdf

The slides come a bit later.

Viele Grüße,

--Martin

Zur erweiterten Suche