Faculty of Computer Science

  • 5000

    Belgium

Research Output

Filter
Conference 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

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

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

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

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

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

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

1991

Clean algebraic exceptions with implicit propagation

Schobbens, P-Y., 1991, Proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST).

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

Database Reverse Engineering, Models, Techniques and Strategies

Hainaut, J-L., 1991, Proc. of the 10th Conf. on Entity-Relationship Approach. p. 729-741 13 p.

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

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

1992

A Temporal Statistical Model for Entity-Relationship Schemas

Hainaut, J-L., 1992, Proc. of the 11th Conf. on the Entity-Relationship Approach. Karlsruhe: Springer Verlag, Vol. LNCS 645. p. 79-96 18 p.

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

Database CASE tool Architecture: Principles for Flexible Design Strategies

Hainaut, J-L., Cadelli, M., Decuyper, B. & Marchand, O., 1992, Proc. of the 4th Int. Conf. on Advanced Information System Engineering - CAiSE'92. Manchester: Springer Verlag, Vol. LNCS 593. p. 187-207 21 p.

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

PHENIX: methods and tools for database reverse engineering

Joris, M., VAN HOE, R., Hainaut, J-L., Chandelon, M., Tonneau, C. & Bodart, F., 1992, Proc. 5th Int. Conf. on Software Engineering and Applications. Toulouse: EC2 Publish

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

TRAMIS : A Transformation-Based Database CASE Tool

Hainaut, J-L., Cadelli, M., Decuyper, B. & Marchand, O., 1992, Proc. of the 5th International Conference on Software Engineering and Applications. Toulouse: EC2 Publish

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

1993

A logic for legal hierarchies

Schobbens, P. Y., 1 Aug 1993, Proceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993. ACM Press, Vol. Part F127196. p. 272-281 10 p.

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

Circumscribing equality: a better way

Schobbens, P-Y., 1993, Proceedings of First Dutch/German Workshop on Non-Monotonic Reasoning. Nejdl, W. (ed.).

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

Contribution to a Theory of Database Reverse Engineering

Hainaut, J-L., Chandelon, M., Tonneau, C. & Joris, M., 1993, Proc. of the IEEE Working Conf. on Reverse Engineering. Baltimore: IEEE Computer Society Press, p. 161-170 10 p.

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

Elicitating and formalising requirements for CIM information systems

Dubois, E., Du Bois, P. & Petit, M., 1993, Proc. of the 5th conference on advanced information systems engineering: CAiSE'93, June 8-11, 1993, Paris (France). Roll, C., Bodart, F. & Cauvet, C. (eds.). Springer Verlag, Vol. 685. p. 252-274 23 p.

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

O-O requirements analysis: an agent perspective

Dubois, E., Du Bois, P. & Petit, M., 1993, ECOOP'93 - Object-Oriented Programming: 7th European Conference, Kaiserslautern, Germany, July 1993, Proceedings. Oscar, M. & Nierstrasz, . (eds.). Berlin: Springer Verlag, Vol. 707. p. 458-481 24 p.

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

Operators and laws for combining preference relations

Ryan, M., Schobbens, P-Y. & Andréka, H., 1993, Selected Papers of the Intl. Workshop on Information Systems: Correctness and Reuse. Wieringa, R. & Feenstra, R. (eds.). p. 191-206 16 p.

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

Schema Transformation Techniques for Database Reverse Engineering

Hainaut, J-L., Tonneau, C., Joris, M. & Chandelon, M., 1993, Proc. of the 12th Int. Conf. on ER Approach. Arlington-Dallas: Springer Verlag, p. 353-372 20 p.

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

1994

Agent-oriented Requirements Engineering: A Case Study using the Albert Language

Dubois, E., Du Bois, P., Dubru, F. W. & Petit, M., 1994, Proc. of the Fourth International Working Conference on Dynamic Modelling and Information System (DYNMOD-IV). Verbraeck, A., Sol, A. G. & Bots, P. W. G. (eds.). Delft: Delft University Press, p. 205-238 34 p.

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

ALBERT: an Agent-oriented Language for Building and Eliciting Requirements for real-Time systems

Dubois, E., Du Bois, P. & Petit, M., 1994, Proc. of the 27th Hawaii International Conference on System Sciences - HICSS-27.

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

Database Applications Evolution - the DB-MAIN Project

Hainaut, J-L., Englebert, V., Henrard, J., Hick, J-M. & Roland, D., 1994, Actes des Journées d'études de l'AFCET "Ingénierie des Bases de Données - Migration, Intégration et Evolution". CNRS - Paris: Association française pour la cybernétique économique et technique

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

Database Evolution - the DB-MAIN Approach

Hainaut, J-L., Englebert, V., Henrard, J., Hick, J-M. & Roland, D., 1994, Proc. of the 13th Int. Conf. on ER Approach. Manchester: Springer Verlag, Vol. 881. p. 112-131 20 p.

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

Extensions of initial models and their second-order proof systems

Schobbens, P. Y., 1 Jan 1994, Higher-Order Algebra, Logic, and Term Rewriting - 1st International Workshop, HOA 1993, Selected Papers. Springer Verlag, p. 326-344 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 816 LNCS).

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

Second-order proof systems for algebraic specification languages

Schobbens, P. Y., 1 Jan 1994, Recent Trends in Data Type Specification - 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Selected Papers. Springer Verlag, p. 321-336 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 785 LNCS).

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

The Formal Requirements Engineering of Manufacturing Systems

Dubois, E. & Petit, M., 1994, Proceedings of the Second International Working Conference on Cooperative Knowledge Based Systems - CKBS'94: University of Keele, June 14-17, 1994. Deen, S. M. (ed.). University of Keele: DAKE Center, p. 67-82 16 p.

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

Transformation-based Database Reverse Engineering

Hainaut, J-L., Tonneau, C., Joris, M. & Chandelon, M., 1994, Entity-Relationship Approach — ER '93: 12th International Conference on the Entity-Relationship Approach Arlington, Texas, USA, December 15–17, 1993 Proceedings. Elmasri, R. A., Kouramajian, V. & Thalheim, B. (eds.). Arlington-Dallas: Springer Verlag, p. 364-375 12 p. (Lecture Notes in Computer Science; vol. 823).

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

1995

DB-MAIN: a Database Reverse Engineering CASE tool

Hainaut, J-L., Englebert, V., Henrard, J., Hick, J-M. & Roland, D., 1995, Proc. of the 6th European Conference on Next Generation CASE tools.

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

DB-MAIN: un atelier d'ingénierie de bases de données

Henrard, J., Englebert, V., Hick, J-M., Roland, D. & Hainaut, J-L., 1995, Actes des 11emes journées Base de Données Avancées (BDA'95). p. 345-364 20 p.

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

Distributed audit trail analysis

Mounji, A., Le Charlier, B., Zampunidris, D. & Habra, N., 1 Jan 1995, Proceedings of the Symposium on Network and Distributed System Security, NDSS 1995. Institute of Electrical and Electronics Engineers Inc., p. 102-112 11 p. 390641. (Proceedings of the Symposium on Network and Distributed System Security, NDSS 1995).

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

DTMS: A Framework for Multigrain Distributed Computing

Colin, J-N., 1995, Proceedings of the IEEE HiNet'95 Conference, Santa Barbara, California. Computer, IEEE. & Press, S. (eds.). p. 83-89 7 p.

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

Legal aspects of the patient data cards: implications of a new technology

Poullet, Y. & Louveaux, S., 1995, Symposion at the 14th International Congress on Cybernetics, Namur, 21-25 August 1995. s.l.: s.n., p. 17-22

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

Open Access

Requirements for Information System Reverse Engineering Support

Hainaut, J-L., Englebert, V., Henrard, J., Hick, J-M. & Roland, D., 1995, Proc. of the IEEE Working Conf. on Reverse Engineering. Toronto: IEEE Computer Society Press, p. 134-145 12 p.

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

Transformation-Based Database Engineering

Hainaut, J-L., 1995, Tutorial at the Proceedings of 21th International Conference on Very Large Data Bases (VLDB'95).

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

Using threads to implement parallel tasks

Colin, J-N., Libert, G. & Geib, J-M., 1995, Proceedings of the ParCo95 Conference.

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

1996

A Formal Framework for Managing Evolution in Manufacturing Systems

Petit, M. & Dubois, E., 1996, Proc. of the Agent-Oriented Systems in Manufacturing Workshop (AOSiM'96): Daimler-Benz AG Berlin and Technical University of Berlin, September 16-17, 1996. Albayrak, S. & Bussmann, S. (eds.). Berlin: Daimler-Benz AG and Technical University of Berlin

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

Counterfactuals and updates as inverse modalities

Rodrigues, O., Ryan, M. & Schobbens, P-Y., 1996, Proceedings of the International Conference on Theoretical Aspects of Rationality and Knowledge (TARK96). Shoham, Y. (ed.). p. 163-173 11 p.

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

Database Design Recovery

Hainaut, J-L., Henrard, J., Hick, J-M., Roland, D. & Englebert, V., 1996, Proc. of the 8th Conf. on Advanced Information Systems Engineering (CAISE'96). Springer Verlag, p. 272-300 29 p.

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