From an arbitrary temporal logic institution we show how to set-up the corresponding institution of objects. The main properties of the resulting institution are studied and used in establishing the denotational, categorial semantics of several basic object specification constructs, namely aggregation (parallel composition), interconnection, abstraction (interfacing) and monotonic specializatio...

Executive Overview This article identifies the emergence of the institution-based view as a third leading perspective in strategic management (the first two being the industry-based and resource-based views). We (a) review the roots of the institution-based view, (b) articulate its two core propositions, and (c) outline how this view contributes to the four fundamental questions in strategy. Ov...

The four primary objectives of this descriptive study were to: 1) design a quality-measurement instrument for institutional cancer registries (ICRs), 2) evaluate the existing ICRs in Colombia with the designed instrument, 3) categorize the different registries according to their quality and prioritize efforts that will efficiently promote better registries with the limited resources available, ...

We consider algebraic speciications with observational features. Axioms as well as observations are formulae of full (Many-Sorted) First Order Logic with Equality. The associated semantics is based on a non standard interpretation of equality called observational equality. We study the adequacy of this semantics for software specii-cation and the relationship with behavioural equivalence of alg...

The main aim of this paper is to present a completeness proof of a formal system for reasoning about logical consequences of structured speciications. The system is based on the proof rules for structural spec-iications build in an arbitrary institution as presented in ST 88]. The proof of its completeness is inspired by the proof due to M. V. Cengarle (see Cen 94]) for speciications in rst-ord...