Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017. The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.

Computer science. --- Special purpose computers. --- Software engineering. --- Programming languages (Electronic computers). --- Operating systems (Computers). --- Computer logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Special Purpose and Application-Based Systems. --- Logics and Meanings of Programs. --- Operating Systems. --- Computer science logic --- Computer operating systems --- Computers --- Disk operating systems --- Computer software engineering --- Special purpose computers --- Informatics --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Operating systems --- Logic, Symbolic and mathematical --- Systems software --- Engineering --- Science --- Electronic data processing --- Languages, Artificial --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Building the City Together explores the topic of action in public space, through the scope of a common space for living, working and thinking together designed and built on the Mathildenhöhe in Darmstadt in 2014. The Osthang Summer School, curated by raumlaborberlin, invited 60 participants to settle there for three weeks as a new artist colony. Artists? Or were they architects, furniture makers, landscape designers, cooks, or maybe civilians? This publication contains introductions to the five structures built on the Osthang, including interviews with and text by the individuals involved in the projects, as well as three conversations with professionals reflecting on three aspects of participative projects in urban context: Experimental Architecture, Commoning and Cooperation, and Incremental Urbanism.

711.4 --- 373.67 --- 504 --- The Osthang Project --- Darmstadt --- raumlaborberlin --- Raumlabor --- 711.4(C)(430) --- Stedenbouw --- Studentenprojecten --- Onderzoek (stedenbouw) --- Ecologisch bouwen --- Environmental planning --- architecture [discipline] --- citizen participation --- urban design --- experimental buildings --- temporary structures --- public spaces --- sustainable architecture

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The German language, due to its verb-final nature, relatively free order of constituents and morphological Case system, poses challenges for models of human syntactic processing which have mainly been developed on the basis of head-initial languages with little or no morphological Case. The verb-final order means that the parser has to make predictions about the input before receiving the verb. What are these predictions? What happens when the predictions turn out to be wrong? Furthermore, the German morphological Case system contains ambiguities. How are these ambiguities resolved under the normal time pressure in comprehension? Based on theoretical as well as experimental work, the present monograph develops a detailed account of the processing steps that underly language comprehension. At its core is a model of linking noun phrases to arguments of the verb in the developing phrase structure and checking the result with respect to features such as person, number and Case. This volume contains detailed introductions to human syntactic processing as well as to German syntax which will be helpful especially for readers less familiar with psycholinguistics and with Germanic.

Psycholinguistics --- Linguistics --- Germanic languages --- taalfamilies --- syntaxis --- psycholinguïstiek

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In the 1980's generative grammar recognized that functional material is able to project syntactic structure in conformity with the X-bar-format. This insight soon led to a considerable increase in the inventory of functional projections. The basic idea behind this line of theorizing, which goes by the name of cartography, is that sentence structure can be represented as a template of linearly ordered positions, each with their own syntactic and semantic import. In recent years, however, a number of problems have been raised for this approach. For example, certain combinations of syntactic elements cannot be linearly ordered. In light of such problems a number of alternative accounts have been explored. Some of them propose a new (often interface-related) trigger for movement, while others seek alternative means of accounting for various word order patterns. These alternatives to cartography do not form a homogeneous group, nor has there thus far been a forum where these ideas could be compared and confronted with one another. This volume fills that gap. It offers a varied and in-depth view on the position taken by a substantial number of researchers in the field today on what is presumably one of the most hotly debated and controversial issues in present-day generative grammar.

Grammar, Comparative and general --- Generative grammar. --- Phrase structure grammar. --- Constituent structure grammar --- Grammar, Phrase structure --- Generative grammar --- Grammar, Generative --- Grammar, Transformational --- Grammar, Transformational generative --- Transformational generative grammar --- Transformational grammar --- Psycholinguistics --- Language and languages --- Word order --- Order (Grammar) --- Word order. --- Derivation --- Linguistics --- Philology --- Syntax. --- cartography.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Linguistics