Faculty of Computer Science

  • 5000

    Belgium

Research Output

Filter
Conference contribution
1991

Entity-generating Schema Transformations for Entity-Relationship Models

Hainaut, J-L., 1991, Proc. of the 10th Entity-Relationship Approach. San Mateo (CA): North-Holland, p. 643-670 28 p.

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

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

1990

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

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

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

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

1988

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

1981

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

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

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

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