Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2019

1991

On the Meaning of "but

Schobbens, P. Y., 25 Oct 1991, IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design. ACM Press, p. 185-192 8 p. (IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Specifications

The language laboratory: A new evaluation

Kelly, P. & Vanparys, J., 1991, In : Zielsprache Englisch. 4, p. 29-34 6 p.

Research output: Contribution to journalArticle

Woorden in Context Deel 1: Herhalingsoefeningen bij het Basiswoordenboek Nederlands

Dieltjens, L., Vanparys, J., Baten, L., Claes, M-T., Alkema, P. & Lodewick, J., 1991, Bruxelles: De Boeck Université. 344 p.

Research output: Book/Report/JournalBook

1990

ADAM & EVE - Computer-aided instruction

Vanparys, J., 1990, In : Celex News.

Research output: Contribution to journalArticle

An experiment in formal software development

Lafontaine, C., Ledru, Y. & Schobbens, P-Y., 1990, Proceedings of the 12th International Conference on Software Engineering (ICSE). p. 34-42 9 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Applying VDM to large developments

Ledru, Y. & Schobbens, P-Y., 1990, In : ACM Sigsoft Software Engineering Notes (SEN). 15, 4, p. 55-58 4 p.

Research output: Contribution to journalArticle

Entity-Relationship Models: Formal Specification and Comparison

Hainaut, J-L., 1990, Proc. of the 9th Int. Conf. on the Entity-Relationship Approach. North-Holland, p. 53-64 12 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Semantics
Formal specification

Formalising methods: an experiment with VDM

Ledru, Y. & Schobbens, P-Y., 1990, Proceedings of the 5th Australian Software Engineering Conference (ASWEC'90). p. 45-50 6 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

"On Pareto Improving Commodity Tax Changes under Fiscal Competition"

De Crombrugghe, A. & Tulkens, H., 1990, In : Journal of Public Economics. 41, 3, p. 335-350 16 p.

Research output: Contribution to journalArticle

Systèmes d'aide à la décision - Une approche méthodologique intégrée

Hainaut, J-L., 1990, Proc. of the INFORSID 90 Conf.. Biarritz - France: AFCET/EYROLLES, p. 7-34 28 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Two approaches towards the formalisation of VDM

Lafontaine, C., Ledru, Y. & Schobbens, P-Y., 1990, VDM'90: VDM and Z!. Vol. 428. p. 370-398 29 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Vers une nouvelle réglementation des télécommunications

Monville, C., Van Bastelaer, P., Amory, B., Janfils, C., De Meester De Ravestein, J-C., Poullet, Y. & Queck, R., 1990, Bruxelles: Story Scientia. 249 p. (Cahiers du Centre de Recherches Informatique et Droit; vol. 4)

Research output: Book/Report/JournalBook

1989

ADAM & EVE (Nederlands): Tekstanalyse en het genereren van oefeningen

Baten, L. & Vanparys, J., 1989, Handelingen 10e Colloquium Neerlandicum: Colloquium van docenten in de neerlandistiek aan buitenlandse universiteiten. Balk-Smit, F. (ed.).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

ADAM & Eve (Nederlands): Tekstanalyse en het genereren van oefeningen met de PC

Baten, L. & Vanparys, J., 1989, In : Levende talen.

Research output: Contribution to journalArticle

A Generic Entity-Relationship Model

Hainaut, J-L., 1989, Information System Concepts: an in-depth analysis: Proc. of the IFIP WG 8.1 Conf. on Information System Concepts. North-Holland, p. 109-138 30 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Data structures
Information systems
Semantics
Systems analysis
Specifications

La maintenance du logiciel : aspects juridiques et techniques

Dewulf, G., Lesuisse, R. & Schauss, M., 1989, Bruxelles: Story Scientia. 83 p. (Cahiers du Centre de Recherches Informatique et Droit; vol. 3)

Research output: Book/Report/JournalBook

Words

Ostyn, P., Kelly, P., Deville, G., Vandecasteele, M. & Vanparys, J., 1989, Bruxelles: Plantyn.

Research output: Book/Report/JournalBook

1988

LPG: a Generic, Logic and Functional Programming Language

Bert, D., Declerfayt, O., Demeuse, B., Drabik, P., Echahed, R., Schobbens, P-Y. & Wautier, F., 1988

Research output: Other contribution

Precise Standards through Formal Specifications: a Case Study: the Unix File System

Declerfayt, O., Demeuse, B., Milgrom, E., Schobbens, P-Y. & Wautier, F., 1988, Proc. Autumn '88 EUUG Conference.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Une Notation pour la Spécification Algébrique de Systèmes Concurrents

Broy, M. & Schobbens, P-Y., 1988, 4e Colloque de Génie Logiciel (CGL4). Paris: Association française pour la cybernétique économique et technique , p. 141-152 12 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Vers une réglementation basée sur le notion d'infrastructure?

Bielande, P., Van Bastelaer, P., Simonet, S. & DEFRAIGNE, P., 1988

Research output: Other contribution

1987

Aspects juridiques du Telebanking & Teleshopping (2 vol.)

Schauss, M., Van Den Berghe, T., STUURMAN, C., MEIJBOOM, A., VANDENBERGHE, G., KASPERSEN, H. & Poullet, Y., 1987, Namur: CRID.

Research output: Book/Report/JournalCommissioned report

Towards a pragmatic approach to modality: the case of permissive "can" and "may"

Vanparys, J., 1987, The pragmatic perspective: Selected papers from the 1985 International Pragmatics Conference. Verschueren, J. & Bertuccelli-Papi, M. (eds.).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

1986

A prototype ADP System to assist judicial Decision Making

Poullet, Y., Stenne, P., Bodart, F. & HELLA, M., 1986, Automated analysis of legal texts : logic, informatics. Amsterdam: North-Holland, p. 187-209 23 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Conception assistée des applications informatiques: 2 Conception de la base de données - Masson, 1986

Hainaut, J-L., 1986, Paris: Masson. 206 p. (Méthode + Programmes)

Research output: Book/Report/JournalBook

Droit et informatique, informatique et droit

Poullet, Y., Amory, B. & Berleur, J., 1986, In : Journal de Réflexion sur l'Informatique. 2, p. 1-32 32 p.

Research output: Contribution to journalArticle

Selecting an ADA Environment

Ada-Europe Env. Working Group, N. V. & Schobbens, P-Y., 1986

Research output: Other contribution

Un prototype de système d'information d'aide à l'élaboration de jugements

Bodart, F., Stenne, P., HELLA, M. & Poullet, Y., 1986

Research output: Other contribution

1985

Towards an optimal programme of foreign language vocabulary acquisition, in

Ostyn, P., Deville, G., Vandecasteele, M. & Kelly, P., 1985, Beads or Bracelets: how do we approach LSP?. Oxford: Oxford University Press, p. 292-305

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

1984

Source metaphors in English

Vanparys, J., 1984, In : Journal of Pragmatics.

Research output: Contribution to journalArticle

Van Dales Groot Woordenboek Engels-Nederlands

Martin, W. & Vanparys, J., 1984, Utrecht/Antwerpen: van Dale Lexicografie.

Research output: Working paper

1983

Belgian privacy bill has problems and diffirencies

Poullet, Y. & Berleur, J., 1983, In : Transnational Data Report. 6, 1, p. 38-40 3 p.

Research output: Contribution to journalArticle

1982

Le droit à la vie privée selon le projet Gol

Poullet, Y. & Berleur, J., 1982, In : Journal des Tribunaux. 5230, p. 769-711 59 p.

Research output: Contribution to journalArticle

Système portable de manipulation de bases de données

Delvaux, Y. & Hainaut, J-L., 1981, Actes du congrès AFCET. Editions Hommes et Techniques, p. 385-395 11 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Theorical and Practical Tools for Data Base Design

Hainaut, J-L., 1981, Proc. of 7th International Conference on Very Large Data Bases . ACM Press, p. 216-224 9 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

1978

Informatique et vie privée: enjeux réels

Berleur, J. & Poullet, Y., 1978, In : Interdoc. 1, p. 6-12 7 p.

Research output: Contribution to journalArticle

Modèles, Langages et Systèmes pour la conception et l'exploitation de bases de données

Le Charlier, B. & Hainaut, J-L., 1978, Actes du congrès AFCET 178. Editions Hommes et Techniques, p. 179-189 11 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

1977

Informatique et vie privée: le projet de loi H. Vanderpoorten : commentaire du texte et comparaison avec les législations étrangères

Poullet, Y. & Berleur, J., 1977, Une banque de données économiques régionale ? : Aspects économique, informatique, juridique et socio-politique. Namur: Presses universitaires de Namur, p. 299-381 83 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Some Tools for Data Independence in Multilevel Data Base Systems

Hainaut, J-L., 1977, Proc. of the IFIP WC on Modelling in Data Base Management Systems. North-Holland, p. 187-211 25 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

1976

Evaluation des performances d'une base de données par modèle probabiliste

Hainaut, J-L., 1976, Cahier INFORSID n° 2, Actes de la conférence sur la Représentation des systèmes d'information : Maquette, modèle et prototype. St-Pierre-de-Chartreuse: IRIA, p. 177-221 45 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

NUL: A Navigational User's Language for a Network Structured Data Base

Deheneffe, C. & Hennebert, H., 1976, Proc. of the 1976 ACM SIGMOD International Conference on Management of Data. ACM Press, p. 135-142 8 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

1974

An Extensible Semantic Model of Data Base and its Data Language

Hainaut, J-L. & Le Charlier, B., 1974, Proc. of IFIP Congress 74. North-Holland, p. 1026-1030 5 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

A Relational Model for a Data Base

Deheneffe, C., Hennebert, H. & Paulus, W., 1974, Proceedings of the IFIP congress 74. Amsterdam: North-Holland, p. 1022-1025 4 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Introductory Report

Benci, N. V., Bodart, F., Cabanes, N. V., Carfantan, N. V., Deheneffe, C., Hainaut, J-L., Leroy, H., Randon, N. V., Savoyski, N. V. & Thuly, N. V., 1974, Proc. of the Intern. Workshop on Data Structure Models for Information Systems. Presses universitaires de Namur, Vol. 4. p. 15-56 42 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

The Individual Model

Deheneffe, C., Hainaut, J-L. & TARDIEU, H., 1974, Proc. of the Intern. Workshop on Data Structure Models for Information Systems. Namur: Presses universitaires de Namur, p. 89-118 30 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution