Browsing by Author "Tichy, Matthias"

Now showing items 1-3 of 3

    • Model-Based Engineering for Embedded Systems in Practice 

      Marko, Nadja; Liebel, Grischa; Sauter, Daniel; Lodwich, Aleksander; Tichy, Matthias; Leitner, Andrea; Hansson, Jörgen (2014-11-18)
      Model-Based Engineering (MBE) aims at increasing the e↵ectiveness of engineering by using models as key artifacts in the development process. While empirical studies on the use and the e↵ects of MBE in industry generally ...

    • Report from the GI Dagstuhl Seminar 14433: Software engineering for Self-Adaptive Systems 

      Vogel, Thomas; Tichy, Matthias; Gorla, Alessandra (2014-10-24)
      Products and services such as business applications, vehicles, or devices in various domains such as transportation, communication, energy, production, or health. Consequently, our daily lives highly depend on such ...

    • Towards Formalizing Assumptions on Architectural Level: A Proof-of-Concept 

      Al Mamun, Abdullah; Tichy, Matthias; Hansson, Jörgen (Departmen of Computer Science and Engineering, 2012-09-10)
      While designing an architecture, architects often make assumptions about different factors like execution environment, structural properties of the artifacts, properties of input/output data etc. Implicit and invalid ...