Search
Now showing items 1-3 of 3
Model-Based Engineering for Embedded Systems in Practice
(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
(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
(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 ...