ICIS Technical Reports:


2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987

1992

[All BiBTeX entries for this year]

N.E. van Oosterom, and A.H.M. ter Hofstede. Towards the Implementation of Integrated NIAM and ExSpect: Generation of ExSpect Type Definitions from NIAM Schemas based on a Common Repository. Technical report, May, ITI-TNO, Delft, The Netherlands, EU, 1992, ESPRIT II Project PROOFS.

[ Missing PDF ] [ Bibtex ]

C.H.A. Koster. The AGFL Papers 1991/92. Technical report: CSI-R9201, June, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

N. V�lker. Deriving String Matching Algorithms. Technical report: CSI-R9202, January, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

S.J. van Bakel. Partial Intersection Type Assignment of Rank 2 in Applicative Term Rewriting Systems. Technical report: CSI-R9203, January, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

N. V�lker. A Formal Derivation of Odd-Even Transposition Sort. Technical report: CSI-R9207, February, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

H.A. Partsch. Some Experiments in Transforming Towards Parallel Executability. Technical report: CSI-R9208, March, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

L.W.J. Rooijakkers. Description of an Adder Board. Technical report: CSI-R9209, March, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

P.M. Achten, J.H.G. van Groningen, and M.J. Plasmeijer. High level specification of I/O in functional languages. Technical report: CSI-R9210, April, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

J.E.W. Smetsers. Term Graph Rewriting and Strong Sequentiality. Technical report: CSI-R9211, April, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

C. Dekkers, C.H.A. Koster, M.-J. Nederhof, and A. Zwol. GWB: Manual for the Grammar Workbench Version 1.5. Technical report: CSI-R9214, July, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

J.L.A. Oei, L.J.G.T. van Hemmen, E.D. Falkenberg, and S. Brinkkemper. The Meta Model Hierarchy: A Framework for Information Systems Concepts and Techniques. Technical report: CSI-R9217, July, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

M.C.J.D. van Eekelen, H. Huitema, E.G.J.M.H. N�cker, J.E.W. Smetsers, and M.J. Plasmeijer. Concurrent Clean - Language Manual - Version 0.8. Technical report: CSI-R9218, August, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

H. Huitema, and M.J. Plasmeijer. The Concurrent Clean System User's Manual & PABCstat User's Manual - Version 0.8. Technical report: CSI-R9219, August, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

E. Barendsen, and J.E.W. Smetsers. Graph Rewriting and Copying. Technical report: CSI-R9220, August, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

M.-J. Nederhof. Generalized Left-Corner Parsing. Technical report: CSI-R9221, August, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

W. van der Hoek, M. van Hulst, and J.-J.Ch. Meijer. Towards an Epistemic Approach to Reasoning about Concurrent Programs. Technical report: CSI-R9225, October, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

S.J. van Bakel. Essential Intersection Type Assignement Systems. Technical report: CSI-R9228, November, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

T.A. Halpin, and J.L.H. Oei. A Framework for Comparing Conceptual Modelling Languages. Technical report: CSI-R9229, Department of Information Systems, University of Nijmegen, Nijmegen, The Netherlands, 1992.

[ Missing PDF ] [ Bibtex ]

A.H.M. ter Hofstede, H.A. (Erik) Proper, and Th.P. van der Weide. A Note on Schema Equivalence. Technical report: CSI-R9230, Department of Information Systems, University of Nijmegen, Nijmegen, The Netherlands, EU, 1992.

In this paper we introduce some terminology for comparing the expressiveness of conceptual data modelling techniques, such as ER, NIAM, and PM, that are finitely bounded by their underlying domains. Next we consider schema equivalence and discuss the effects of the sizes of the underlying domains. This leads to the introduction of the concept of finite equivalence. We give some examples of finite equivalence and inequivalence in the context of PM.

[ PDF ] [ Bibtex ]

E.G.J.M.H. N�cker. Strictness Analysis by Abstract Reduction in Orthogonal Term Rewriting Systems. Technical report: CSI-R9231, December, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

E.A. Boiten. Parsing in ISBES. Technical report: CSI-R9232, December, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

H.A. Partsch, and D. Tuijnman. Exercises in Formal Specifications and Program Development by Transformations (niet te krijgen). Technical report: CSI-R9233, December, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

P. Frederiks. Some Experiences with CIP-S (niet te krijgen). Technical report: CSI-R9235, December, Radboud University Nijmegen, 1992.

[ Missing PDF ] [ Bibtex ]

J.L.H. Oei, H.A. (Erik) Proper, and E.D. Falkenberg. Modelling the Evolution of Information Systems. Technical report: CSI-R9236, Department of Information Systems, University of Nijmegen, Nijmegen, The Netherlands, EU, 1992.

In this article, we discuss the need for information systems capable of evolving to the same extent as organisation systems do. A set of requirements for evolving information systems is presented, implying the importance of the time concept in these systems. On the basis of these requirements an architecture and a conceptual framework for evolving information systems is proposed.

In our conceptual framework for update we distinguish recording, correction and forgetting. State transitions are considered on three different levels of abstraction, viz. the event level, the recording level and the correction level. A formal specification of the transformation process between user update requests, primitive update requests, and the three-level model for update is provided.

[ PDF ] [ Bibtex ]