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