Context: Model-Driven Development (MDD) is about to become a reality in the development of enterprise information systems due to its benefits, such as reduction of development and maintenance costs, and support for controlled evolution. Consequently, testing model transformations, considering their high complexity particularly regarding Model-to-Text (M2T) transformations, plays a key role to i...

The aim of this paper is to propose a natural definition of a winding number for a m-note mode, generalizing the concept of well formedness (proposed by Carey and Clampitt) providing and discussing some aspects regarding the Stern-Brocot trees. We start by giving an algebraic definition of a m-notes mode in a chromatic set of n elements as a composed map between Zm and Zn. Then we introduce the...

A defining trait of linguistic competence is the ability to combine elements into increasingly complex structures to denote, and to comprehend, a potentially infinite number of meanings. Recent magnetoencephalography (MEG) work has investigated these processes by comparing the response to nouns in combinatorial (blue car) and non-combinatorial (rnsh car) contexts. In the current study we extend...

Morphological and phonological processes are tightly interrelated in spoken production. During processing, morphological processes must combine the phonological content of individual morphemes to produce a phonological representation that is suitable for driving phonological processing. Further, morpheme assembly frequently causes changes in a word's phonological well-formedness that must be ad...

The paper discusses three different kinds of syntactic ill-formedness: ellipsis, conjunctions, and actual syntactic errors. It is shown how a new grammatical formalism, based on a two-level repr_e sentation of the syntactic knowledge is used to cope with Ill-formed sentences. The basic control struc ture of the parser is briefly sketched; the paper shows that it can be applied without any subst...

We study synchronous digital circuits in an abstract setting A circuit is viewed as a collection of modules connected through their boundary ports where each port assumes a xed direction input or output over one cycle of operation and can change directions across cycles No distinction is made between clock inputs and non clock inputs A cycle of operation consists of the application of a set of ...

The Radical Unacceptability Hypothesis (RUH) has been proposed as a way of explaining the unacceptability extraction from islands and frozen structures. This hypothesis explicitly assumes distinction between due to violations local well-formedness conditions—conditions on constituency, constituent order, morphological form—and extra-grammatical factors. We explore RUH with respect classical isl...

Phonological grammars characterize distinctions between relatively well-formed (unmarked) and relatively ill-formed (marked) phonological structures. We review evidence that markedness influences speech error probabilities. Specifically, although errors result in both unmarked as well as marked structures, there is a markedness asymmetry: errors are more likely to produce unmarked outcomes. We ...

In this paper, we extend the conventional concept of a database as a set of discrete relations to include a set of piecewise continuous functions. We extend the features of Query-by-Example to operations on this piecewise continuous data. Further, we include the concept of iteration in the language, which enhances its capabilities to that of a general programming language. These extensions are ...