The Internet of Things (IoT) connects everyday objects with each other and with the Internet. IoT applications are complex to develop. Model-driven methods ...
auch als Online-Publikation verfügbar
In model-driven development (MDD), models are central software engineering artifacts. MDD is applied to various domains in which the domain engineers ...
auch als Online-Publikation verfügbar
Die heutige und zukünftige Komplexität in großen Cyber-Physischen Systemen ist ohne systematische und digitalisierte Herangehensweisen kaum noch beherrschbar. ...
auch als Online-Publikation verfügbar
Kontext: Neben dem aktuellen Bestreben die Elektrizierung des Antriebs von Automobilen durch Innovationen voranzutreiben kommt der Integration ...
auch als Online-Publikation verfügbar
Systems engineering has produced striking results in many domains. Researchers and practitioners have devised concepts, methods, tools that autonomously ...
auch als Online-Publikation verfügbar
The development of cyber-physical systems poses a multitude of challenges requiring experts from different fields. Such systems cannot be developed successfully ...
auch als Online-Publikation verfügbar
This handbook for the language workbench MontiCore describes how to efficiently develop tools that deal with language processing.
MontiCore allows ...
auch als Online-Publikation verfügbar
Robustness is an important property of a software, which must be tested in addition to a software's functionality. This requires invalid values and invalid ...
auch als Online-Publikation verfügbar
Models are the primary development artifacts used in model-driven software development. Models continuously evolve during the design, development, and ...
auch als Online-Publikation verfügbar
This report describes a specification and verification framework for distributed interactive systems. The framework encodes the untimed part of the formal ...
auch als Online-Publikation verfügbar
|