Search
Now showing items 1-2 of 2
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 ...
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 ...