Search results: Found 3

Listing 1 - 3 of 3
Sort by
Eine Technologie für das durchgängige und automatisierte Testen eingebetteter Software

Author:
ISBN: 9783731506638 Year: Pages: VIII, 233 p. DOI: 10.5445/KSP/1000069280 Language: GERMAN
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:01:57
License:

Loading...
Export citation

Choose an application

Abstract

Embedded software demands intensive testing of functional and non-functional requirements. Automation of such tests is performed with different technologies. Source-code level tests require specialized unit-testing tools. Tests of the high-level behavior of control systems follow the model-, software- and hardware-in-the-loop approach. This work studies the integration of such system-level and source-code level tests. The focus lies on a new programming language to implement test cases.

View-based textual modelling

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783866446427 Year: Volume: 6 Pages: xxi, 376 p. DOI: 10.5445/KSP/1000022234 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

This work introduces the FURCAS approach, a framework for view-based textual modelling. FURCAS includes means that allow software language engineers to define partial and overlapping textual modelling languages. Furthermore, FURCAS provides an incremental update approach that enables modellers to work with multiple views on the same underlying model. The approach is validated against a set of formal requirements, as well as several industrial case studies showing its practical applicability.

Model Transformation Languages with Modular Information Hiding

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783731503460 Year: Volume: 17 Pages: XX, 360 p. DOI: 10.5445/KSP/1000045910 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

Model transformations, together with models, form the principal artifacts in model-driven software development. Industrial practitioners report that transformations on larger models quickly get sufficiently large and complex themselves. To alleviate entailed maintenance efforts, this thesis presents a modularity concept with explicit interfaces, complemented by software visualization and clustering techniques. All three approaches are tailored to the specific needs of the transformation domain.

Listing 1 - 3 of 3
Sort by
Narrow your search

Publisher

KIT Scientific Publishing (3)


License

CC by-sa (2)

CC by-nc-nd (1)


Language

english (2)

german (1)


Year
From To Submit

2017 (1)

2015 (1)

2011 (1)