Die Suche ergab 19 Treffer

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

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...
von llllllll
12. Jul 2018 15:55
Forum: Software Engineering - Design and Construction
Thema: Exam WS 15/16 - Question 2 - c)
Antworten: 3
Zugriffe: 217

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...
von llllllll
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: 345

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.
von llllllll
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: 345

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 ...
von llllllll
11. Jul 2018 14:06
Forum: Software Engineering - Design and Construction
Thema: REScala compilation errors
Antworten: 3
Zugriffe: 138

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"
which successfully runs version 0.20.0 and gives me access to .snapshot.
von llllllll
11. Jul 2018 13:48
Forum: Software Engineering - Design and Construction
Thema: REScala compilation errors
Antworten: 3
Zugriffe: 138

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...
von llllllll
11. Jul 2018 13:07
Forum: Software Engineering - Design and Construction
Thema: REScala compilation errors
Antworten: 3
Zugriffe: 138

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.
von llllllll
10. Jul 2018 09:42
Forum: Software Engineering - Design and Construction
Thema: UML associations / terminology reference
Antworten: 2
Zugriffe: 144

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...
von llllllll
6. Jul 2018 10:29
Forum: Software Engineering - Design and Construction
Thema: 2-PL-Design-Style Slide 29
Antworten: 1
Zugriffe: 107

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 ...
von llllllll
26. Apr 2018 23:34
Forum: Software Engineering - Design and Construction
Thema: VPN access not working
Antworten: 2
Zugriffe: 228

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...
von llllllll
6. Mär 2018 13:20
Forum: Archiv
Thema: (P || Q) vs (P ||| Q)
Antworten: 2
Zugriffe: 337

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...
von llllllll
4. Mär 2018 20:19
Forum: Archiv
Thema: Modul 10 Folie 15
Antworten: 2
Zugriffe: 294

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...
von llllllll
4. Mär 2018 19:36
Forum: Archiv
Thema: Modul 11 Folie 9 und 11
Antworten: 2
Zugriffe: 248

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
von llllllll
4. Mär 2018 14:18
Forum: Archiv
Thema: Modul 11 Folie 9 und 11
Antworten: 2
Zugriffe: 248

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...

Zur erweiterten Suche