Search
Now showing items 1-7 of 7
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 ...
Creating and Assessing Multimodal Texts. Negations at the Boundary
(2014-04-09)
Digital technologies are becoming increasingly common in educational settings. The availability of such tools facilitates the creation of multimodal
texts in which several kinds of expression are combined. In this thesis, ...
A Scholarship Approach to Model-Driven Engineering
(2014-09-26)
Model-Driven Engineering is a paradigm for software engineering where software models are the primary artefacts throughout the software life-cycle. The aim is to define suitable representations and processes that enable ...
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 ...
Computational linguistics resources for Indo-Iranian languages
(2014-08-19)
Can computers process human languages? During the last fifty years, two main approaches have been used to find an answer to this question: data- driven (i.e. statistics based) and knowledge-driven (i.e. grammar based). The ...
Narrativer i förändringsarbete – Från projekt till Athenas plan
(2014-09-24)
Planned changes occur constantly in organizations. Most of these change management projects fail to reach decided goals and have limited impact within the organization. An important prerequisite for anchoring changes is ...
Formalizing Refinements and Constructive Algebra in Type Theory
(2014-11-21)
The extensive use of computers in mathematics and engineering has led to an increased demand for reliability in the implementation of algorithms in computer algebra systems. One way to increase the reliability is to formally ...