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.

The Psychology of Human Thought

Authors: ---
ISBN: 9783947732333 9783947732340 9783947732357 Year: Pages: 416 DOI: 10.17885/heiup.470 Language: English
Publisher: Heidelberg University Publishing (heiUP)
Subject: Psychology
Added to DOAB on : 2019-08-14 11:21:03
License:

Loading...
Export citation

Choose an application

Abstract

The “Psychology of Human Thought” is an “open access” collection of peer-reviewed chapters from all areas of higher cognitive processes. The book is intended to be used as a textbook in courses on higher process, complex cognition, human thought, and related courses. Chapters include concept acquisition, knowledge representation, inductive and deductive reasoning, problem solving, metacognition, language, expertise, intelligence, creativity, wisdom, development of thought, affect and thought, and sections about history and about methods. The chapters are written by distinguished scholarly experts in their respective fields, coming from such diverse regions as North America, Great Britain, France, Germany, Norway, Israel, and Australia. The level of the chapters is addressed to advanced undergraduates and beginning graduate students.

Latin and Arabic

Author:
Book Series: Heidelberg Studies on Transculturality ISBN: 9783947732241 9783947732258 9783947732265 Year: Pages: 288 DOI: 10.17885/heiup.448 Language: English
Publisher: Heidelberg University Publishing (heiUP)
Subject: Religion
Added to DOAB on : 2020-02-25 11:21:03
License:

Loading...
Export citation

Choose an application

Abstract

As linguistic systems comprising a large variety of written and oral registers including derivate “languages” and “dialects,” Latin and Arabic have been of paramount importance for the history of the Euromediterranean since Antiquity. Moreover, due to their long-term function as languages of administration, intellectual activity, and religion, they are often regarded as cultural markers of Europe and the (Arabic-)Islamic sphere respectively. This volume explores the many dimensions and ramifications of Latin-Arabic entanglement both from macro-historical as well as from micro-historical perspectives. Visions of history marked by the binary opposition of “Islam” and “the West” tend to ignore these important facets of Euromediterranean entanglement, as do historical studies that explain complex transcultural processes without giving attention to their linguistic dimension.

Listing 1 - 3 of 3
Sort by
Narrow your search

Publisher

Heidelberg University Publishing (heiUP) (2)

KIT Scientific Publishing (1)


License

CC by-sa (3)


Language

english (3)


Year
From To Submit

2019 (3)