COMPOSITIONAL approaches to mobile accentuation of the Indo-European type derive the accent of words from the lexically specified accentual features of their constituent morphemes, together with the BASIC ACCENTUATION PRINCIPLE (BAP), which erases all accents but the leftmost one, and assigns an accent to the left edge of an unaccented domain.1 I propose here a compositional analysis in which B...

With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artifacts in the development process. To adapt to changing requirements and improve internal software quality such models have to evolve while preserving aspects of their behaviour. These behaviour preserving developments are known as refactorings. The ve...

In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification of each activity. In this paper the process of Requirements Engineering has been analyzed using knowledge-level modelling techniques, resulting in a well-specified compositional process model for the Requirements Engi...

In Germán Puebla (Ed.): Pre-Proceedings of 16th International Symposium on Logic Based Program Syntehsis and Transformation (LOPSTR 2006), Venice, Italy, 85–101, 2006. c © Springer-Verlag (to be transferred) Abstract. When giving a program access to secret information, one must ensure that the program does not leak the secrets to untrusted sinks. For reducing the complexity of such an informati...

We discuss the role of synchrony of activation in higher-level cognitive processes. In particular, we analyze the question of whether synchrony of activation provides a mechanism for compositional representation in neural systems. We will argue that synchrony of activation does not provide a mechanism for compositional representation in neural systems. At face value, one can identify a level of...

The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc system-level design methodologies, that lift modeling to higher levels of abstraction, and the concept of intellectual property (IP), that promotes reuse of existing components, are essential steps to manage design comp...

In this paper we study the properties of a compositional semantics for logic programs and its applications to modular analysis and logic-based databases, focusing on programs deened on a nite domain (i.e. on a function free nite signature). By this restriction we obtain a nite characterization of the compositional semantics which has the same correctness and compositionality properties of the o...