A fokolare lelkiségi mozgalom hatása az egyház életére Európában és Magyarországon

The Movement was officially approved within the Catholic Church under the name "Work of Mary". It carries this name because "of its characteristic spirituality, modeled upon Mary, gives Christ spiritually to the world in the diversity of its composition, its worldwide spreading, its relationship with Christians of other Churches and ecclesial Communities, with people of various religious faiths and with persons with no particular religious affiliation, and for the fact that its President is a lay woman". (General Statutes, art.2) The Focolare is part of the present phenomenon of the flourishing of ecclesial movements which have originated over the years from "a precise charism given to the person of the Founder" (John Paul II), meaning that it is a „gift of the Spirit" which unceasingly gives rise to the "novelty of Christianity" (Benedict XVI). John Paul II denoted the charism of Chiara Lubich as a "radicalism of love" and saw in the Movement the lineaments of the Church of the Council, open to the various dialogues (19.8.1984). Dialogue, at the level of individuals, leaders and movements, communities and groups, emerges as the pre-eminent way for promoting unity: within one's own Church, to deepen comunion among ecclesial movements, new communities and lay associations, as well as among religious congregations with new and old charisms; amongst Churches, by weaving relationships based on fraternal communion and shared witness in which ageold prejudices fall and the various Churches open up to a dialogue of life and of people thus accelerating the way towards the visible unity of Christians; with the Jewish people, in orderto heal pastwounds and to rediscoverthe patrimony of our common roots amongst the world faiths, in order to build universal brotherhood based on the values of the spirit; with people of no religious affiliation in order to collaborate on the basis of shared values, respect for human rights in the fields of solidarity and peace

inTrack: High Precision Tracking of Mobile Sensor Nodes

Radio-interferometric ranging is a novel technique that allows for fine-grained node localization in networks of inexpensive COTS nodes. In this paper, we show that the approach can also be applied to precision tracking of mobile sensor nodes. We introduce inTrack, a cooperative tracking system based on radio-interferometry that features high accuracy, long range and low-power operation. The system utilizes a set of nodes placed at known locations to track a mobile sensor. We analyze how target speed and measurement errors affect the accuracy of the computed locations. To demonstrate the feasibility of our approach, we describe our prototype implementation using Berkeley motes. We evaluate the system using data from both simulations and field tests

Supporting user-oriented analysis for multi-view domain-specific visual languages

This is the post-print version of the final paper published in Information and Software Technology. The published article is available from the link below. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. Copyright @ 2008 Elsevier B.V.The integration of usable and flexible analysis support in modelling environments is a key success factor in Model-Driven Development. In this paradigm, models are the core asset from which code is automatically generated, and thus ensuring model correctness is a fundamental quality control activity. For this purpose, a common approach is to transform the system models into formal semantic domains for verification. However, if the analysis results are not shown in a proper way to the end-user (e.g. in terms of the original language) they may become useless. In this paper we present a novel DSVL called BaVeL that facilitates the flexible annotation of verification results obtained in semantic domains to different formats, including the context of the original language. BaVeL is used in combination with a consistency framework, providing support for all steps in a verification process: acquisition of additional input data, transformation of the system models into semantic domains, verification, and flexible annotation of analysis results. The approach has been validated analytically by the cognitive dimensions framework, and empirically by its implementation and application to several DSVLs. Here we present a case study of a notation in the area of Digital Libraries, where the analysis is performed by transformations into Petri nets and a process algebra.Spanish Ministry of Education and Science and MODUWEB

The relevance of model-driven engineering thirty years from now

International audienceAlthough model-driven engineering (MDE) is now an established approach for developing complex software systems, it has not been universally adopted by the software industry. In order to better understand the reasons for this, as well as to identify future opportunities for MDE, we carried out a week-long design thinking experiment with 15 MDE experts. Participants were facilitated to identify the biggest problems with current MDE technologies, to identify grand challenges for society in the near future, and to identify ways that MDE could help to address these challenges. The outcome is a reflection of the current strengths of MDE, an outlook of the most pressing challenges for society at large over the next three decades, and an analysis of key future MDE research opportunities

LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++

Abstract. Traversals of heterogeneous object structures are the most common operations in schema-first applications where the three key is-sues are (1) separation of traversal specifications from type-specific ac-tions, (2) expressiveness and reusability of traversal specifications, and (3) supporting structure-shy traversal specifications that require min-imal adaptation in the face of schema evolution. This paper presents Language for Embedded quEry and traverSAl (LEESA), which pro-vides a generative programming approach to address the above issues. LEESA is an object structure traversal language embedded in C++. Using C++ templates, LEESA combines the expressiveness of XPath’s axes-oriented traversal notation with the genericity and programmabil-ity of Strategic Programming. LEESA uses the object structure meta-information to statically optimize the traversals and check their compat-ibility against the schema. Moreover, a key usability issue of domain-specific error reporting in embedded DSL languages has been addressed in LEESA through a novel application of Concepts, which is an upcoming C++ standard (C++0x) feature. We present a quantitative evaluation of LEESA illustrating how it can significantly reduce the development efforts of schema-first applications.

Component based design of a drug delivery capsule robot

Since the introduction of Wireless Capsule Endoscopy (WCE) researchers have started exploring the design space of Medical Capsule Robots (MCRs): embedded micro-systems that can operate autonomously within the human body and can diagnose, prevent, monitor, and cure diseases. Although the research in the area of MCRs is an active topic and has grown exponentially, current devices provide only limited functionalities because their design process is expensive and time consuming. To open this research field to a wider community and, at the same time, create better designs through advanced tool support, in our previous works we presented a design environment for the rapid development of MCRs. In this paper, this environment was adopted to design a Drug Delivery Capsule (DDC) based on a coil-magnet-piston mechanism. The force of the coil acting on the magnetic piston and the drug release profile were modeled and assessed on bench-top with a maximum relative error below 5%. Then, in vivo trials were performed to validate the DDC functionality with a scheduled drug release profile for a 5 h and 24 min procedure. The resulting design environment template is available open source for further development of drug delivery applications as well as to serve as guideline in prototyping novel MCRs addressing other clinical needs