Integrating Database Technology, Rule-Based Systems and Temporal Reasoning for Effective Software

Informations projet

TEMPORA

N° de convention de subvention: 1700

Projet clôturé

Date de début 1 Janvier 1989

Date de fin 31 Janvier 1994

Financé au titre de

• European strategic programme (EEC) for research and development in information technologies (ESPRIT), 1987-1992

Coût total

Aucune donnée

Contribution de l’UE

Aucune donnée

Coordonné par

BELG.INST.FOR MANAGEMENT
Belgium

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Other (2)

TEMPORA - INTEGRATING DATABASE TECHNOLOGY, RULE BASED SYSTEMS AND TEMPORAL REASONING FOR EFFECTIVE SOFTWARE

Auteurs: LOUCOPOULOS P (UMIST, DEPARTMENT OF COMPUTATION, MANCHESTER (GB)), MCBRIEN P (IMPERIAL COLLEGE, DEPARTMENT OF COMPUTING, LONDON (GB)), PERSSON U (SISU, KISTA (SE)), SCHUMACKER F (UNIVERSITE DE LIEGE, INSTITUTE MONTEFIORE (BE)), VASEY P (LOGIC PROGRAMMING ASSOCIATES, LONDON (GB))
Publié dans: EXTRACT: ESPRIT '90 : CONFERENCE PROCEEDINGS (1990) PP. 388-411 (EUR 13148) KLUWER ACADEMIC PUBLISHERS GROUP, PO BOX 322, 3300 AH DORDRECHT (NL) ISBN 0-7923-1039-X, 1990, Page(s) 388-411, ISBN 0-7923-1039-X

DATABASES AND EXECUTABLE TEMPORAL LOGIC

Auteurs: FINGER M (IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE, DEPARTMENT OF COMPUTING, LONDON (GB)), MCBRIEN P (IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE, DEPARTMENT OF COMPUTING, LONDON (GB))
Publié dans: EXTRACT: ESPRIT 1991 : CONFERENCE PROCEEDINGS (1991) PP. 288-302 (EUR 13853) THE OFFICE FOR OFFICIAL PUBLICATIONS OF THE EUROPEAN COMMUNITIES, L-2985 LUXEMBOURG, 1991, Page(s) 288-302