ICIS Research Publications


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 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969 1968 1967 1966 1965 1964 1963 1962 1960 1959 1958 1957 1956 1955 1953 1952 1951 1950 1949 1948 1947 1946 1945 1941 1938 1923 1911

Unclassified

H. Ehrig, and B. Mahr. Fundamentals of Algebraic Specifications. In: Monographs on Theoretical Computer Science 1 (2), EATCS edition, Vol: Volume 6 (, Springer, 1985.

[ Missing PDF ] [ Bibtex ]

B. Adelson, and E. Soloway. The Role of Domain Experience in Software Design. In: IEEE Transactions on Software Engineering, Nr: 11, Vol: 11, Pages: 1351-1360, 1985.

[ Missing PDF ] [ Bibtex ]

A. Amikam. On the automatic generation of optimal internal schemata. In: Information Systems, Nr: 1, Vol: 10, Pages: 37-45, 1985.

[ Missing PDF ] [ Bibtex ]

F.L. Bauer, and others. The Munich project CIP. Volume 1: The wide spectrum language CIP-L. Lecture Notes in Computer Science, Vol: 183, Springer, 1985.

[ Missing PDF ] [ Bibtex ]

S. Beer. Diagnosing the System for Organizations. Wiley, New York, New York, USA, 1985.

[ Missing PDF ] [ Bibtex ]

L. Belady. MCC: Planning the Revolution in Software. In: IEEE Software, Nr: 6, Vol: 2, Pages: 68-73, 1985.

[ Missing PDF ] [ Bibtex ]

Claude Berge. Graphs. North-Holland, Amsterdam, The Netherlands, EU, 1985.

[ Missing PDF ] [ Bibtex ]

A. Borgida. Features of Languages for the Development of Information Systems at the Conceptual Level. In: IEEE Software, Pages: 63-72, January, 1985.

[ Missing PDF ] [ Bibtex ]

Ronald J. Brachman, and James G. Schmolze. An Overview of the KL-ONE Knowledge Representation System. In: Cognitive Science, Vol: 9, Pages: 171-216, 1985.

[ Missing PDF ] [ Bibtex ]

H. Briand, H. Habrias, J.-F. Hue, and Y. Simon. Expert system for translating an ER diagram into databases. In: Proceedings of the 4th International Conference on the Entity Relationship Approach, Edited by: P.P. Chen. Pages: 199-206, 1985.

[ Missing PDF ] [ Bibtex ]

L. Cardelli, and P. Wegner. On Understanding Types, Data Abstraction, and Polymorphism. In: ACM Computing Surveys, Nr: 4, Vol: 17, Pages: 471-522, December, 1985.

Our objective is to understand the notion of type in programming languages, present a model of typed, polymorphic programming languages that reflects recent research in type theory, and examine the relevance of recent research to the design of practical programming languages.

Object-oriented languages provide both a framework and a motivation for exploring the interaction among the concepts of type, data abstraction, and polymorphism, since they extend the notion of type to data abstraction and since type inheritance is an important form of polymorphism. We develop a Lamda-calculus-based model for type systems that allows us to explore these interactions in a simple setting, unencumbered by complexities of production programming languages.

The evolution of languages from untyped universes to monomorphic and then polymorphic type systems is reviewed. Mechanisms for polymorphism such as overloading, coercion, subtyping, and parameterization are examined. A unifying framework for polymorphic type systems is developed in terms of the typed Lambda-calculus augmented to include binding of types by quantification as well as binding of values by abstraction.

The typed Lambda-calculus is augmented by universal quantification to model generic functions with type parameters, existential quantification and packaging (information hiding) to model abstract data types, and bounded quantification to model subtypes and type inheritance. In this way we obtain a simple and precise characterization of a powerful type system that includes abstract data types, parametric polymorphism, and multiple inheritance in a single consistent framework. The mechanisms for type checking for the augmented Lamda-calculus are discussed.

The augmented typed Lamda-calculus is used as a programming language for a variety of illustrative examples. We christen this language Fun because fun instead of Lambda is the functional abstraction keyword and because it is pleasant to deal with.

Fun is mathematically simple and can serve as a basis for the design and implementation of real programming languages with type facilities that are more powerful and expressive than those of existing programming languages. In particular, it provides a basis for the design of strongly typed object-oriented languages.

[ PDF ] [ Bibtex ]

S. Ceri, and G. Gottlob. Translating SQL Into Relational Algebra: Optimization, Semantics and Equivalence of SQL Queries. In: IEEE Transactions on Software Engineering, Nr: 4, Vol: 11, Pages: 324-345, April, 1985.

[ Missing PDF ] [ Bibtex ]

W.J. Clancey. Heuristic Classification. In: Artificial Intelligence, Nr: 27, Vol: 1985, Pages: 289-350, 1985.

[ Missing PDF ] [ Bibtex ]

D. Connor. Information system specification and design road map. Prentice-Hall, Englewood Cliffs, New Jersey, USA, 1985.

[ Missing PDF ] [ Bibtex ]

C.J. Date. An Introduction to Data Base Systems. Addison Wesley, 1985.

[ Missing PDF ] [ Bibtex ]

G.B. Davis, and M.H. Olson. Management Information Systems: Conceptual Foundations, Structure and Development. McGraw-Hill, New York, New York, USA, 1985.

[ Missing PDF ] [ Bibtex ]

B. Demo, A. DiLeva, and P. Giolito. An Entity-Relationship Query Language. In: Proceedings of IFIP WG 8.1 Working Conference. Information Systems: Theoretical and Formal Aspects, Sitges, Spain, EU, Pages: 19-32, April, North-Holland, Amsterdam, The Netherlands, EU, 1985.

[ Missing PDF ] [ Bibtex ]

A. Dogac, P.P. Chen, and N. Erol. The design and implementation of an integrity subsystem for the relational DBMS RAP. In: Proceedings of the 4th International Conference on the Entity Relationship Approach, Edited by: P.P. Chen. Pages: 199-206, 1985.

[ Missing PDF ] [ Bibtex ]

E. Dubois, J. Hagelstein, E. Lahou, A. Rifaut, and F. Williams. A Formalisation of Entities, Relationships, Attributes, and Events. Technical report, Philips Research Laboratory, Brussels, Belgium, EU, 1985.

[ Missing PDF ] [ Bibtex ]

R. Elmasri, J. Weeldreyer, and A. Hevner. The category concept: An extension to the entity-relationship model. In: Data & Knowledge Engineering, Vol: 1, Pages: 75-116, North-Holland, Amsterdam, The Netherlands, EU, 1985.

[ Missing PDF ] [ Bibtex ]

R.E. Fairley. Software Engineering Concepts. McGraw-Hill, New York, New York, USA, 1985.

[ Missing PDF ] [ Bibtex ]

A.L. Furtado, and E.J. Neuhold. Formal Techniques for Data Base Design. Springer, 1985.

[ Missing PDF ] [ Bibtex ]

C.F. Gibson, and T.H. Davenport. System Change: Managing Organizational and Behavioral Impact. In: Information Strategy - The Executives Journal, 1985.

[ Missing PDF ] [ Bibtex ]

O. Hanson. Essentials of computer data files. Pitman, London, United Kingdom, EU, 1985.

[ Missing PDF ] [ Bibtex ]

C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, New Jersey, USA, 1985.

[ Missing PDF ] [ Bibtex ]

K. De Jong. Genetic Algorithms: A 10 Year Perspective. In: Proceedings of the first International Conference on Genetic Algorithms and their Applications, Pages: 169-177, 1985.

[ Missing PDF ] [ Bibtex ]

G.M. Kuper, and M. Vardi. On the Expressive Power of the Logical Data Model. In: Proceedings of the ACM SIGMOD International Conference on the Management of Data, Austin, Texas, USA, Pages: 180-187, ACM, New York, New York, USA, 1985.

[ Missing PDF ] [ Bibtex ]

A. Lew. Computer Science: A Mathematical Introduction. Prentice-Hall, Englewood Cliffs, New Jersey, USA, 1985.

[ Missing PDF ] [ Bibtex ]

T.W. Ling. A Normal Form for Entity Relationship Diagrams. In: Proceedings of the 4th International Conference on the Entity Relationship Approach, Edited by: P.P. Chen. Pages: 199-206, 1985.

[ Missing PDF ] [ Bibtex ]

G. Longworth. Designing Systems for Change. NCC, Manchester, United Kingdom, EU, 1985.

[ Missing PDF ] [ Bibtex ]

G.J. Milne. CIRCAL and the representation of communication, concurrency and time. In: ACM TOPLAS, Nr: 2, Vol: 7, Pages: 270-298, April, 1985.

[ Missing PDF ] [ Bibtex ]

M. Pilote. A data modelling approach to simplify the design of user interfaces. In: Proceedings of the 9th International Conference on Very Large Databases, Pages: ??, 1985.

[ Missing PDF ] [ Bibtex ]

M. Porter. Competitive Advantage: Creating and Sustaining Superior Performance. Free Press, New York, New York, USA, 1985.

[ Missing PDF ] [ Bibtex ]

M.E. Porter, and V.E. Millar. How Information Gives You Competitive Advantage. In: Harvard Business Review, Nr: July - Aug, 1985.

[ Missing PDF ] [ Bibtex ]

W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, Springer, 1985.

[ Missing PDF ] [ Bibtex ]

G. Richter, and K. Voss. Towards a comprehensive office model integration information and resources. In: Advances in Petri Nets, Lecture Notes in Computer Science edition, Vol: 222, Pages: 401-417, Springer, 1985.

[ Missing PDF ] [ Bibtex ]

D. Schaffer. Multiple objective optimization with vector evaluated genetic algorithms. In: Proceedings of the International Conference on Genetic Algorithms and their Applications, 1985.

[ Missing PDF ] [ Bibtex ]

U. Schiel. The Time Dimension in Information Systems. In: Information Systems: Theoretical and Formal Aspects, Amsterdam, The Netherlands, EU, Edited by: A.Sernadas et al. North-Holland, Amsterdam, The Netherlands, EU, 1985.

[ Missing PDF ] [ Bibtex ]

M. Schkolnick, and P. Tiberio. Estimating the Cost of Updates in a Relational Database. In: ACM Transactions on Database Systems, Nr: 2, Vol: 10, Pages: 163-179, 1985.

[ Missing PDF ] [ Bibtex ]

J.R. Searle, and D. Vanderveken. Foundations of Illucutionary Logic. Cambridge University Press, Cambridge, United Kingdom, EU, 1985.

[ Missing PDF ] [ Bibtex ]

D.E. Shasha. NetBook- a data model to support knowledge exploration. In: Proceedings of the Eleventh International Conference on Very Large Data Bases, Pages: 418-425, 1985.

[ Missing PDF ] [ Bibtex ]

P. Shoval. Essential information structure diagrams and database schema design. In: Information Systems, Nr: 4, Vol: 10, Pages: 417-423, 1985.

[ Missing PDF ] [ Bibtex ]

R.T. Snodgrass, and I. Ahn. A Taxonomy of Time in Databases. In: Proceedings of the ACM SIGMOD International Conference on the Management of Data, Pages: 236-246, 1985.

[ Missing PDF ] [ Bibtex ]

H.G. Sol. Kennis en ervaring rond het ontwerpen van informatiesystemen. In: Informatie, Nr: 3, Vol: 27, Pages: 184-192, 1985, In Dutch.

[ Missing PDF ] [ Bibtex ]

Rolf A. Stachowitz. A formal framework for describing and classifying semantic data models. In: Information Systems, Nr: 1, Vol: 10, Pages: 77-96, 1985.

[ Missing PDF ] [ Bibtex ]

R.K. Stamper. A Logic of Social Norms for the Semantics of Business Information. In: Knowledge & Data, Amsterdam, The Netherlands, EU, Edited by: T. Steel, and R. Meersman. North-Holland, Amsterdam, The Netherlands, EU, 1985.

[ Missing PDF ] [ Bibtex ]

P.A. Strassmann. Information Payoff. Information Economics Press, New Canaan, Connecticut, USA, 1985, ISBN 0029317207.

This book looks at information technology from three perspectives: individual, organizational and societal. For the individual, Strassmann draws on documented studies to prove the dramatic effects that electronic workstations can have on employee performance, attitudes and behavior. For the organizational viewpoint, Strassmann reveals his revolutionary techniques for allowing managers to measure quantitatively whether computers enhance productivity - whether, in short, they pay of themselves. And for society, Strassmann explains why no business, no matter how extensively automated, will not remain productive unless it understands the equally tangible value of human capital in an information economy. Managing technology, Strassmann demonstrates in this magisterial work, means managing the people who use it.

[ Missing PDF ] [ Bibtex ]

S. Tehrani, and G.M. Nijssen. UCL: A User-Friendly Conceptual Language. In: The Australian Computer Journal, Nr: 4, Vol: 17, Pages: 174-180, November, 1985.

[ Missing PDF ] [ Bibtex ]

N. Vitalari. Knowledge as a Basis for Expertise in Systems Analysis: An Empirical Study. In: MIS Quarterly, Nr: 3, Vol: 9, Pages: 221-241, 1985.

[ Missing PDF ] [ Bibtex ]

H. van der Waal. ICONCLASS an iconographic Classification System. North-Holland, Amsterdam, The Netherlands, EU, 1985, Completed and edited by L.D.Couprie, E.Tolen and G.Vellenkoop..

[ Missing PDF ] [ Bibtex ]

J. Walker. Documentation and help online. Tutorial 9, SIGCHI, San Francisco, California, USA, 1985.

[ Missing PDF ] [ Bibtex ]

P.T. Ward, and S.J. Mellor. Introduction and Tools. Structured Development for Real-Time Systems, Vol: 1, Yourdon Press, New York, New York, USA, 1985.

[ Missing PDF ] [ Bibtex ]

P.T. Ward, and S.J. Mellor. Essential Modeling Techniques. Structured Development for Real-Time Systems, Vol: 2, Yourdon Press, New York, New York, USA, 1985.

[ Missing PDF ] [ Bibtex ]

J.J.V.R. Wintraecken. Informatie-analyse volgens NIAM. Academic Service, 1985, In Dutch.

[ Missing PDF ] [ Bibtex ]

A.T. Wood-Harper, L. Antill, and D.E. Avison. Information Systems Definition: The Multiview Approach. Blackwell, Oxford, United Kingdom, EU, 1985, ISBN 0632012168.

[ Missing PDF ] [ Bibtex ]

S. Yadav. Classifying an organisation to identify its information requirements: a comprehensive framework. In: Journal of Management Information Systems, Nr: 1, Vol: 2, Pages: 39-60, 1985.

[ Missing PDF ] [ Bibtex ]

N. Yankelovich et al. Reading and Writing the Electronic Book. In: IEEE Computer, Nr: 10, Vol: 18, Pages: 15-30, October, 1985.

[ Missing PDF ] [ Bibtex ]

A.F. Case Jr. Information systems development: principles of computer-aided software engineering. Prentice-Hall, Englewood Cliffs, New Jersey, USA, 1985.

[ Missing PDF ] [ Bibtex ]

Book

C.H.A. Koster, and Th.P. van der Weide. Manual for the Elan0 Programming Environment for personal computers. March, Educaboek, 1985.

[ Missing PDF ] [ Bibtex ]

C.H.A. Koster, and Th.P. van der Weide. Manual for the Elan1 Programming Environment for personal computers. March, 1985.

[ Missing PDF ] [ Bibtex ]

Conference

C.H.A. Koster, and Th.P. van der Weide. A programming environment for secondary schools. , July, 1985.

A programming environment for classroom use must satisfy extreme requirements of conceptual simplicity, user interface, integration of services and support for desirable learning behaviour.

This paper discusses the considerations for the design of the portable Elan0 programming environment for the teaching of systematic programming in secondary schools.

[ Missing PDF ] [ Bibtex ]