C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
TFAIS
1985
1985
1985
Keyphrases
Publications
1985
Leo Mark
,
Nick Roussopoulos
The New Database Architecture Framework - A Progress Report.
TFAIS
(1985)
Angelika Horndasch
,
Rudi Studer
,
Ramin Yasdi
An Approach to Conceptual Schema Design of Information Systems.
TFAIS
(1985)
Randell S. Flint
,
Nancy G. Leveson
The PAMS Approach to Modeling Database Activity.
TFAIS
(1985)
Ulrich Schiel
Time and Space in Information Systems.
TFAIS
(1985)
Carl Gustaf Jansson
A Framework for Representation.
TFAIS
(1985)
Information Systems - Theoretical and Formal Aspects, TFAIS 1985, Proceedings of the IFIP WG8.1 Working Conference, Sitges, Spain, 16-18 April 1985.
TFAIS
(1985)
Paulo A. S. Veloso
,
Antonio L. Furtado
Towards Simpler and Yet Complete Formal Specifications
TFAIS
(1985)
Gernot Richter
Clocks and their Use for Time Modeling.
TFAIS
(1985)
C. Kung
A Tableaux Approach for Consistency Checking.
TFAIS
(1985)
Giampio Bracchi
,
Barbara Pernici
Specification of Control Aspects in Office Information Systems.
TFAIS
(1985)
Udo Pletat
A Graphtheoretic Semantics for Semantic Data Models.
TFAIS
(1985)
Udo W. Lipeck
,
Hans-Dieter Ehrich
,
Martin Gogolla
Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic.
TFAIS
(1985)
José Carmo
The INFOLOG Branching Logic of Events.
TFAIS
(1985)
Matthew Morgenstern
Connections among Application Based Objects in Directed Edge-Labelled Hypergraphs.
TFAIS
(1985)
T. Lougenia Anderson
,
B. B. Claghorn
ADE: Mapping between the External and Conceptual Levels.
TFAIS
(1985)
G. Barbara Demo
,
Antonio Di Leva
,
Piercarlo Giolito
An Entity-Relationship Query Language.
TFAIS
(1985)