Search results: Found 3

Listing 1 - 3 of 3
Sort by
Specification Languages for Preserving Consistency between Models of Different Languages

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783731507840 Year: Volume: 24 Pages: XX, 440 p. DOI: 10.5445/KSP/1000081446 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

When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and implementations. To address this problem, this work contributes a classification of consistency preservation challenges and an approach for preserving consistency. It is formalized using set theory and monitors changes to avoid matching and diffing problems. Three new languages that follow this preservation approach are presented.

User Interfaces to the Web of Data based on Natural Language Generation

Author:
ISBN: 9783731504627 Year: Pages: VIII, 178 p. DOI: 10.5445/KSP/1000051072 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Business and Management
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

We explore how Virtual Research Environments based on Semantic Web technologies support research interactions with RDF data in various stages of corpus-based analysis, analyze the Web of Data in terms of human readability, derive labels from variables in SPARQL queries, apply Natural Language Generation to improve user interfaces to the Web of Data by verbalizing SPARQL queries and RDF graphs, and present a method to automatically induce RDF graph verbalization templates via distant supervision.

From Data Modeling to Knowledge Engineering in Space System Design

Author:
ISBN: 9783731507208 Year: Pages: xiii, 281 p. DOI: 10.5445/KSP/1000073688 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Business and Management
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

The technologies currently employed for modeling complex systems, such as aircraft, spacecraft, or infrastructures, are sufficient for system description, but do not allow deriving knowledge about the modeled systems. This work provides the means to describe space systems in a way that allows automating activities such as deriving knowledge about critical parts of the system’s design, evaluation of test success, and identification of single points of failure.

Listing 1 - 3 of 3
Sort by
Narrow your search

Publisher

KIT Scientific Publishing (3)


License

CC by-sa (3)


Language

english (3)


Year
From To Submit

2019 (1)

2017 (2)

-->