Dynamic reconfiguration, understood as the ability to manage at run time the live components and how these interact in a system, is a feature that is crucial in various languages and computing paradigms, in particular in object orientation. In this paper, we study a categorical approach for characterising dynamic reconfiguration in a logical specification language. The approach is based on the ...

The four principles approach to medical ethics plus specification is used in this paper. Specification is defined as a process of reducing the indeterminateness of general norms to give them increased action guiding capacity, while retaining the moral commitments in the original norm. Since questions of method are central to the symposium, the paper begins with four observations about method in...

This study proposes a model to analyze the relationship between leadership, intellectual capital (human, structural, and relational), and their contribution to economic renewal. The study contributes to the literature and higher education institution (HEI) management, by examining empirically and in greater depth, the antecedents and determinants of this problem. This study applies variance-bas...

Institutions are linkage mechanisms that bridge across three kinds of social divides—they link micro systems of social interaction to meso (and macro) levels of organization, they connect the symbolic with the material, and the agentic with the structural. Two key analytic principles are identified for empirical research, relationality and duality. These are linked to new research strategies fo...

An institution for a simple logic of behaviour is built using a cofibration from a category of transition systems into the envisaged category of signatures. The chosen propositional, linear temporal logic distinguishes between event occurrence and event enabling. The satisfaction condition is proved using a fibered adjunction between transition systems and their computations. The operational se...

The development of a denotational framework for graph transformation systems proved elusive so far. Despite the existence of many formalisms for modelling various notions of rewriting, the lack of an explicit, algebraic notion of “term” for describing a graph (thus different from the usual view of a graph as an algebra in itself) frustrated the efforts of the researchers. Resorting to the theor...

Though I was in the service of the institution f?r only forty years, I have known it all my life. % father began his work there in 1864, and my earliest recollection is going there to an entertainment. I am to try and tell you of the changes in trends and attitudes which I have noticed during my forty years. They are the memories of a " has been ". After qualifying as a medical man, I had five ...

INTRODUCTION The higher education landscape, all over the world, is in constant flux. A changing external and internal environment is not a new phenomenon in higher education but is an inherent characteristic of the higher education system over centuries. The Association for Institutional Research (AIR) was established in the United States of America in 1959. The relevant burning issues confron...

These two books dealing with psychotherapy are in sharp contrast. The first, by a P^Iosopher, was written fifty years ago and is a small book, consisting of two .Prions taken from the large volume newly translated from the German under the 'le "General Psychopathology". The second is a contemporary work written by a Poetising psychoanalyst, who is concerned with the description of levels of psy...