## Die Suche ergab 19 Treffer

14. Jul 2018 18:30
Forum: Software Engineering - Design and Construction
Thema: Linearization Steps - Query Related to Exam Solution Method
Antworten: 15
Zugriffe: 723

### Re: Linearization Steps - Query Related to Exam Solution Method

Hello, if you did the exercise for linearization or check its solution it should get clear. Every resolution from Lin to LinResult yields the result and appends AnyRef, Any. Lin("A") === LinResult("A","AnyRef","Any"). This is true for any calculation regarding other inputs than A. When computing the...
12. Jul 2018 15:55
Forum: Software Engineering - Design and Construction
Thema: Exam WS 15/16 - Question 2 - c)
Antworten: 3
Zugriffe: 274

### Re: Exam WS 15/16 - Question 2 - c)

Disclaimer: I'll try to make a more educated guess after I figured out what exactly the 6.3-slides are trying to teach us. The UML diagram is a mess and doesn't make any sense at all. My ad hoc idea would be mixin composition of traits. You could apply the strategy pattern within the decorator patte...
12. Jul 2018 11:58
Forum: Software Engineering - Design and Construction
Thema: Signal[List[Int],rescala.parrp.ParRP] to List[Int] How?
Antworten: 7
Zugriffe: 414

### Re: Signal[List[Int],rescala.parrp.ParRP] to List[Int] How?

I'm not anywhere as good with scala to either understand your approach or tell you how to fix it. My code is just my naive approach to your task/problem.
12. Jul 2018 11:37
Forum: Software Engineering - Design and Construction
Thema: Signal[List[Int],rescala.parrp.ParRP] to List[Int] How?
Antworten: 7
Zugriffe: 414

### Re: Signal[List[Int],rescala.parrp.ParRP] to List[Int] How?

Hello, I' m not exactly sure, what you are trying to do, but if you want to combine the values of the event to a list I'd recommend something like this: val e = Evt[List[Int]]() val f = (x: List[Int], y: List[Int]) => (x:::y) val s: Signal[List[Int]] = e.fold(List(10))(f) If you want to apply it on ...
11. Jul 2018 14:06
Forum: Software Engineering - Design and Construction
Thema: REScala compilation errors
Antworten: 3
Zugriffe: 163

### Re: REScala compilation errors

I downgraded the REScala version manually by using build.sbt :

Code: Alles auswählen

scalaVersion := "2.12.4"

resolvers += Resolver.bintrayRepo("stg-tud", "maven")

libraryDependencies += "de.tuda.stg" %% "rescala" % "0.20.0"
11. Jul 2018 13:48
Forum: Software Engineering - Design and Construction
Thema: REScala compilation errors
Antworten: 3
Zugriffe: 163

### Re: REScala compilation errors

Hello, I just realized I was using wrong Slides for the example of using Last. Yet the error for snapshot persists. According to the manual of REScala : scalaVersion := "2.12.4" resolvers += Resolver.bintrayRepo("stg-tud", "maven") libraryDependencies += "de.tuda.stg" %% "rescala" % "0.22.0" the ver...
11. Jul 2018 13:07
Forum: Software Engineering - Design and Construction
Thema: REScala compilation errors
Antworten: 3
Zugriffe: 163

### REScala compilation errors

Hello,

I used the manual from REScala to compile code via sbt console. I tried to run both examples from slides 5-RP2.pdf Last and Snapshot, and neither .get nor .snapshot are availible according to the compiler. What am I doing wrong?

Thank you.
10. Jul 2018 13:02
Forum: Software Engineering - Design and Construction
Thema: UML associations / terminology reference
Antworten: 2
Zugriffe: 179

### Re: UML associations / terminology reference

solved
10. Jul 2018 09:42
Forum: Software Engineering - Design and Construction
Thema: UML associations / terminology reference
Antworten: 2
Zugriffe: 179

### UML associations / terminology reference

Hello, just for clarifications since the definitions are not 100% specific on this: I'd like to know, what exactly satisfies an association between classes in UML and what is considered a reference we need to watch out for when looking for fragments of SOLID-priniciples or design patterns. Does this...
6. Jul 2018 10:29
Forum: Software Engineering - Design and Construction
Thema: 2-PL-Design-Style Slide 29
Antworten: 1
Zugriffe: 130

### 2-PL-Design-Style Slide 29

Hello, is there some point to override used in: override def eat(food: this.SuitableFood) : Unit = {} Maybe I am missing something but the method to be overridden is within an abstract class an has no body whatsoever. So I couldnt figure out why a class inheriting the abstract class should override ...
26. Apr 2018 23:34
Forum: Software Engineering - Design and Construction
Thema: VPN access not working
Antworten: 2
Zugriffe: 263

### VPN access not working

Hello, I'm working on a Linux distribution and the VPN AnyConnect autoinstaller does not work on any browser with any options I tried. It says I'd have no Java VM, but in fact I have several installed. Most of them even come with the distribution. The manual installation which prompts doesn't help m...
6. Mär 2018 13:20
Forum: Archiv
Thema: (P || Q) vs (P ||| Q)
Antworten: 2
Zugriffe: 373

### Re: (P || Q) vs (P ||| Q)

Hallo, um dir mathematisch eine lapidare Antwort zu geben: Menge der Verschachtelungen: Interleaving ist definiert ueber einer Menge E*. Um nach Definition von P ||| Q interleaving(t,u) mit t element traces(P) und u element traces(Q) zu bilden, muessen beide Elemente aus derselben Menge E* sein. Dah...
4. Mär 2018 20:19
Forum: Archiv
Thema: Modul 10 Folie 15
Antworten: 2
Zugriffe: 332

### Re: Modul 10 Folie 15

Hallo, vielen Dank zunaechst fuer die ausfuehrliche Antwort. Ich denke, ich verstehe jetzt die Problematik. Laut Definition ist Traces(TS) die kleinste Menge, sodass Bedingung 1 und Bedingung 2 gilt. Das bedeutet, ich bilde die kleinste Menge Traces(TS)={...}, fuer die beide Bedingungen gelten. Klei...
4. Mär 2018 19:36
Forum: Archiv
Thema: Modul 11 Folie 9 und 11
Antworten: 2
Zugriffe: 298

### Re: Modul 11 Folie 9 und 11

Hallo,

vielen Dank fuer die Antwort. Ich habe nicht bedacht, dass bei dem kartesischen Produkt die Menge S = S1 x S2 auch leer sein muss, falls einer der beiden Mengen S1 oder S2 leer sind. Das macht Sinn!

Danke
4. Mär 2018 14:18
Forum: Archiv
Thema: Modul 11 Folie 9 und 11
Antworten: 2
Zugriffe: 298

### Modul 11 Folie 9 und 11

Hallo, falls ich mich nicht irre, duerfte die folgende Ungenaugikeit bei der Definition des Transitionssystems auf Modul 10 Folie 9 erst auf Folie 9 und 11 des Moduls 11 Schwierigkeiten machen. Laut Definition kann S und S0 eines Transitionssystems leer sein. Damit gelten allerdings the Theoreme der...