Search results: Found 7

Listing 1 - 7 of 7
Sort by
Flexible Views for View-based Model-driven Development

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783731502760 Year: Volume: 15 Pages: XXI, 324 p. DOI: 10.5445/KSP/1000043437 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

Modern software development faces the problem of fragmentation of information across heterogeneous artefacts in different modelling and programming languages. In this dissertation, the Vitruvius approach for view-based engineering is presented. Flexible views offer a compact definition of user-specific views on software systems, and can be defined the novel ModelJoin language. The process is supported by a change metamodel for metamodel evolution and change impact analysis.

Bildung und Erziehung im Kontext globaler Transformationen

Authors: --- ---
ISBN: 9783847421740 9783847412014 Year: DOI: 10.3224/84742174 Language: German
Publisher: Verlag Barbara Budrich Grant: Knowledge Unlatched - 104838
Subject: Education
Added to DOAB on : 2019-07-03 11:21:04
License:

Loading...
Export citation

Choose an application

Abstract

Der Band widmet sich der Reflexion ausgewählter Aspekte von Bildung und Erziehung im Kontext globaler Transformationen. Die Beiträge untersuchen die Transformationsprozesse der Bildung für den globalen Süden sowie Europas Rolle im Kontext dieser Entwicklungen. Zudem zeigen sie, dass die globalen Herausforderungen nicht nur die Frage nach Normen und Werten für Bildung und Erziehung aufwerfen, sondern auch die nach der Veränderung der Erziehungswissenschaft selbst.

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783731504726 Year: Volume: 22 Pages: XIII, 162 p. DOI: 10.5445/KSP/1000051517 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-28 18:37:01
License:

Loading...
Export citation

Choose an application

Abstract

This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment.

Modellbasierte Entwicklung eines aktiven Sicherheitssystems für elektrifizierte Fahrräder

Author:
Book Series: Karlsruher Schriftenreihe Fahrzeugsystemtechnik / Institut für Fahrzeugsystemtechnik ISSN: 18696058 ISBN: 9783731507789 Year: Volume: 61 Pages: XII, 236 p. DOI: 10.5445/KSP/1000081286 Language: GERMAN
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-28 18:37:01
License:

Loading...
Export citation

Choose an application

Abstract

The electrical energy on electrified bicycles offers new functional possibilities such as an active safety system to assist the rider during the braking process. This work shows the technical feasibility of such a system by presenting a rideable prototype. The so-called braking dynamics assistance system prevents the cyclist from both front wheel lockup and rollover (along the vehicle’s transverse axis).

Sustainable Water Management and Wetland Restoration Strategies in Northern China

Authors: --- --- --- --- et al.
ISBN: 9788860460691 9788860461094 Year: Pages: 242 Language: English
Publisher: bu,press
Subject: Environmental Sciences
Added to DOAB on : 2017-11-23 11:02:25
License:

Loading...
Export citation

Choose an application

Abstract

This book depicts the results of a research project in northern China, where an international and interdisciplinary team of researchers from Italy, Germany and China has applied a broad range of methodology in order to answer basic and applied research questions and derive comprehensive recommendations for sustainable water management and wetland restoration. The project primarily focused on ecosystem services, e.g. the purification of water and biomass production. In particular, the ecosystem function and use of reed (Phragmites australis) and the perception as well as the value of water as a resource for Central Asia's multicultural societies was analysed.

Modellbasierte Entwicklung funktional sicherer Hardware nach ISO 26262

Author:
Book Series: Steinbuch Series on Advances in Information Technology / Karlsruher Institut für Technologie, Institut für Technik der Informationsverarbeitung ISSN: 21914737 ISBN: 9783731504429 Year: Volume: 10 Pages: VI, 291 p. DOI: 10.5445/KSP/1000049863 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

The compliance with functional safety according to the standard ISO 26262 in context of the increasing electrification of road vehicles is a significant challenge. This work provides a concept and methodology for the model-based development of functional safe hardware. This is characterized by the description of hardware designs, annotation of failure data and performing the demanded safety evaluations.

Listing 1 - 7 of 7
Sort by
Narrow your search

Publisher

KIT Scientific Publishing (4)

Springer Nature (1)

Verlag Barbara Budrich (1)

bu,press (1)


License

CC by-sa (7)


Language

german (4)

english (3)


Year
From To Submit

2021 (1)

2019 (1)

2018 (2)

2015 (1)

2014 (2)