Faculte d'informatique

Filtrer
Article dans les actes d'une conférence/un colloque

Résultats de recherche

  • 1998

    Specialising the other way around

    Vanhoof, W., Martens, B., De Schreye, D. & De Vlaminck, K., 1998, Logic Programming, Proceedings of 1998 Joint International Conference and Symposium on Logic Programming. MIT, T. (Ed.). Jaffar, J., p. 279-293 15 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Supporting the Analyst when Reasoning on Requirements Specifications for Real-Time and Distributed Systems

    Zeippen, J-M., Dubois, E. & Du Bois, P., 1998, Proc. of the First IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98). Kyoto (Japan), p. 215-219

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • The regular real-time languages

    Henzinger, T., Raskin, J-F. & Schobbens, P-Y., 1998, Proceedings of ICALP'98: International Colloquium on Automata, Languages and Programming. Larsen, K. (Ed.). Vol 1343. p. 580-591 12 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 1997

    An environment for the parallel execution of multigrain clustered tasks

    Colin, J-N., 1997, Proceedings of the Advance in Parallel and Distributed Computing Conference (APDC'97), Shanghai, PR China. p. 320-327 8 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Bottom up information propagation for partial deduction

    Vanhoof, W., 1997, Proceedings of the International Workshop on Specialization of Declarative Programs and its Applications. Leuschel, M. (Ed.). p. 73-82 10 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Contribution to the Reverse Engineering of OO Applications - Methodology and Case Study

    Hainaut, J-L., Henrard, J., Hick, J-M., Roland, D. & Englebert, V., 1997, Proc. of the IFIP 2.6 Working Conference on Database Semantics. Leysin, CH: Chapman & Hall, p. 131-161 31 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    88 Téléchargements (Pure)

  • Database Engineering Process Modeling

    Roland, D. & Hainaut, J-L., 1997, Proceedings of the First International Workshop on the Many Factes of Process Engineering. Gammarth, Tunisie: ENSI, Laboratoire PGL, p. 37-49 13 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Event clock logic : a decidable real-time logic

    Raskin, J-F. & Schobbens, P-Y., 1997, Proc. International Workshop on Real-time and Hybrid Systems: HART'97.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Formal semantics of enterprise models: Report of the Working Group 2 on Formal Semantics of Enterprise Model, ICEIMT Workshop 4, Brussels, June 16-18, 1997.

    Goossenaerts, J., Gruninger, M., Nell, J. G., Petit, M. & Vernadat, F., 1997, Enterprise Engineering and Integration: Proc. of ICEIMT'97, International Conference on Enterprise Integration an Modeling Technology. Kosanke, K. & Nell, J. G. (eds.). Springer, p. 135-139 5 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Knowledge Transfer in Database Reverse Engineering - A Supporting Case Study

    Hainaut, J-L., Englebert, V., Hick, J-M., Henrard, J. & Roland, D., 1997, Proc. of the 4th IEEE Working Conference on Reverse Engineering. IEEE Computer Society Press, p. 194-203 10 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    72 Téléchargements (Pure)

  • On the Use of a Formal RE Language - The Generalized Railroad Crossing Problem

    Du Bois, P., Dubois, E. & Zeippen, J-M., 1997, Proc. of the Third IEEE International Symposium on Requirements Engineering (RE '97). Annapolis, Maryland (USA), p. 171-183

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Real-time logics: Fictitious clock as an abstraction of dense time

    Raskin, J. F. & Schobbens, P. Y., 1 janv. 1997, Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings. Springer Verlag, p. 165-182 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1217).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • State clock logic: A decidable real-time logic

    Raskin, J. F. & Schobbens, P. Y., 1 janv. 1997, Hybrid and Real-Time Systems - International Workshop, HART 1997, Proceedings. Springer Verlag, p. 33-47 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1201).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • To parse or not to parse

    Vanhoof, W. & Martens, B., 1997, Logic Program Synthesis and Transformation, Proceedings of the 7th International Workshop LOPSTR'97. Vol 1463. p. 314-333 20 p. (Logic Program Synthesis and Transformation, Proceedings of the 7th International Workshop LOPSTR'97 ).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Database Reverse Engineering - A Case Study

    Hainaut, J-L., Roland, D., Englebert, V., Hick, J-M. & Henrard, J., 1996, Actes du 2ème Forum International d'Informatique Appliquée.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Intertranslating counterfactuals and updates

    Ryan, M. & Schobbens, P-Y., 1996, 12th European Conference on Artificial Intelligence (ECAI). Wahlster, W. (Ed.). p. 100-104 5 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Lightweight Distributed Computing: (Invited Speaker)

    Colin, J-N., 1996, Proceedings of the Stratagem'96 Conference, Sophia-Antipolis, France. p. 59-74 16 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Structure Elicitation in Database Reverse Engineering

    Hainaut, J-L., Henrard, J., Roland, D., Englebert, V. & Hick, J-M., 1996, Proc. of the 3rd Working Conf. on Reverse Engineering. IEEE Computer Society Press, p. 131-140 10 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Techniques d'analyse de programmes pour la rétro-ingénierie de bases de données

    Henrard, J., Hick, J-M., Roland, D., Englebert, V. & Hainaut, J-L., 1996, INFORSID'96. INFORSID, p. 215-232 18 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    748 Téléchargements (Pure)

  • Understanding the implementation of IS-A relations

    Hainaut, J. L., Hick, J. M., Englebert, V., Henrard, J. & Roland, D., 1996, Conceptual Modeling, ER 1996 - 15th International Conference on Conceptual Modeling, Proceedings. Springer Verlag, Vol 1157. p. 42-57 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1157 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 1995

    A Formal Requirements Engineering Method for Real-Time, Concurrent, and Distributed Systems

    Dubois, E., Du Bois, P. & Zeippen, J-M., 1995, Proc. of the Real-Time Systems Conference (RTS '95). PAris (France)

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Distributed audit trail analysis

    Mounji, A., Le Charlier, B., Zampunidris, D. & Habra, N., 1 janv. 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    4 Téléchargements (Pure)

  • 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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Towards a Goal-Oriented Security Framework for Elaborating Formal Cooperative System Requirements

    Dubois, E., Suchun, W. & Zeippen, J-M., 1995, Proc. of the Second International Workshop on Requirements Engineering: Foundation of Software Quality (REFSQ '95): (held in conjunction with CAiSE '95). Pohl, K. & Peters, P. (eds.). Jyväskylä (Finland), p. 22-32

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Transformation-Based Database Engineering

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Using threads to implement parallel tasks

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Extensions of initial models and their second-order proof systems

    Schobbens, P. Y., 1 janv. 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Second-order proof systems for algebraic specification languages

    Schobbens, P. Y., 1 janv. 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Specification of a Control System by Domain Specialists with OBLOG

    Zeippen, J-M. & Hartel, P., 1994, Proc. of the CAiSE '94 Workshop on Formal Methods for Information Systems Dynamics. Utrecht (The Netherlands), p. 137-146

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 1993

    A logic for legal hierarchies

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Circumscribing equality: a better way

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 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.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque