Research Center on Information Systems Engineering

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

Résultats de recherche

  • 1974

    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.

    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

  • 1976

    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.

    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

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

    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

    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

  • 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

  • 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

  • 1995

    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

  • 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

  • 1997

    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

  • 1998

    From Early to Late Requirements: a Process-Control Case Study

    Dubois, E., Yu, E. & Petit, M., 1998, Proceedings 9th Int. Workshop on Software Specification and Design (IWSSD'98): April 16-18, 1998, Ise-Shima, Japan. IEEE Computer society, p. 34-42 9 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

  • Layered Components

    Claes, L., 1998, Proc. of the Component-based Information Systems Engineering Workshop (CBISE'98): Pisa, June 1998.

    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

  • 1999

    Agents as a Key Concept for Information Systems Requirements Engineering

    Petit, M., Heymans, P. & Schobbens, P-Y., 1999, Agent-Oriented Information Systems'99: AOIS99.

    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

  • A Multi-formalism Reuse-based Approach to Manufacturing Systems Modeling

    Petit, M., 1999, Proc. of the International Enterprise Modeling Conference (IEMC'99): Verdal (Norway), June 14-16, 1999.

    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

  • Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees

    Ferier, L., Raskin, J-F. & Schobbens, P-Y., 1999, SMC'99: First International Workshop on Symbolic Model Checking. Cimatti, A. & Grumberg, O. (eds.). Trento: Elsevier, Vol 23-1. p. 107-127 21 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

  • 2000

    Software Process Improvement for Small Structures: First Results of a Micro-Assessment Framework,

    Habra, N., Niyitugabira, E. M., Lamblin, A-C. L. & Renault, A., 2000, Proceedings of the European Conference on Software Process Improvement SPI'99, Barcelona,.

    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

  • Software Process Improvement in Small Organizations Using Gradual Evaluation Schema

    Habra, N., Niyitugabira, E. M., Lamblin, A-C. L. & Renault, A., 2000, Proceedings of the International Conference on Product Focused Software Process Improvement, VTT, Oulu,.

    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

  • Some Hints for a Clarification of CEN ENV 12204

    Ferier, L., Heymans, P. & Petit, M., 2000, (Non publié) Proc. of the Workshop on Evolution in Enterprise Engineering and Integration (EEEI'00): Berlin, Germany, May 24-26, 2000.

    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

  • 2002

    Rigorous engineering of software architectures: Integrating ADLs, UML and development methodologies

    Guelfi, N. & Perrouin, G., 2002, Software Engineering and Applications. ACTA Press

    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 Synchronization of Independent and Specific Models

    Englebert, V., 2002, Workshop in Software Model Engineering.

    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

  • 2003

    Applying LSCs to the Specification of an Air Traffic Control System

    Bontemps, Y., Heymans, P. & Kugler, H., 2003, Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'03). Uchitel, S. & Bordeleau, F. (eds.). Portland, Oregon, USA: IEEE

    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

  • BIOGRID: A generic framework of federated brokers applied to life sceinces services

    Colet, M., Englebert, V. & Valverde, J. R., 2003, HealthGrid'03.

    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
    202 Téléchargements (Pure)

  • Développement et expérimentation d'un modèle de gestion collaborative des pratiques informatiques à l'usage des petites et moyennes entreprises

    Di Renzo, B. & Feltus, C., 2003, Actes du 8ième Colloque de l'Association Information et Management (AIM 2003), Grenoble, 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

    File
    129 Téléchargements (Pure)

  • Process assessment for use in very small enterprises: the NOEMI assessment methodology

    Di Renzo, B. & Feltus, C., 2003, Proceedings of European Software Process Improvement Conference (EuroSPI'2003), Graz, Austria. der, V. & Universität, T. (eds.). Graz, Austria: Richard Messnarz

    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
    42 Téléchargements (Pure)

  • Supporting model-to-model transformations: The vmt approach

    Sendall, S., Perrouin, G., Guelfi, N. & Biberstein, O., 2003, Model Driven Architecture Foundations and Applications. Vol CTIT Technical Report TR-CTIT-03-27. p. 61-72 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

  • Synthesis of Open Reactive Systems from scenario-based specification

    Bontemps, Y. & Schobbens, P-Y., 2003, (Non publié) Proc. Third International Conference on Application of Concurrency to System Design. Lilius, J. & Balarin, F. (eds.).

    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

  • Synthesis of open reactive systems from scenario-based specifications

    Bontemps, Y. & Schobbens, P. Y., 1 janv. 2003, Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003. Institute of Electrical and Electronics Engineers Inc., Vol 2003-January. p. 41-50 10 p. 1207698

    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

  • 2004

    A Structured Analysis of the McCabe Cyclomatic Complexity Measure

    Lopez Martin, M-A., Habra, N. & Abran, A., 2004, in 14th International Workshop on Software Measurement (IWSM2004) Berlin, Germany, Shaker Verlag, 2004 . Abran, A., Bundschuh, M., Büren, G. & Dumke, R. (eds.).

    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

  • Attribute-Based Refinement of Software Architectures

    Vermaut, F., 2004, Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA4).

    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

  • A Unified Enterprise Modelling Language for Enhanced Interoperability of Enterprise Models

    Panetto, H., Berio, G., Benali, K., Boudjlida, N. & Petit, M., 2004, Proc. of 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM2004), APRIL, 5-7, 2004, BRASIL: Special Session on Interoperability of Enterprise Systems at the shop-floor level, Track Production & Logistics over Manufacturing Networking.

    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

  • Balancing between emergence and control in knowledge creation: A modelling approach rhough Lotka-Volterra system

    Castiaux, A., 2004, Proceeedings of the 5th European Conference on Knowledge Management, 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

  • Collaborative Development of Open Source E-Learning Platforms

    Feltus, C. & Sillaume, G., 2004, Book of Abstract, Online Educa Berlin 2004, Berlin, Germany..

    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
    78 Téléchargements (Pure)

  • El Problema de la Asignación de Evaluadores para los Artículos Presentados a un Evento Académico: Modelamiento e Implementación de dos Solución Usando Programación por Restricciones.

    Ortiz Vega, J. J., Diaz, J. F. & Aranda, J., 2004, Conferencia Latinoamericana en Informática. Lima, Perù, p. 684-695 17 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

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

  • NOEMI, a collaborative management for ICT process improvement in SME: experience report

    Di Renzo, B., Feltus, C. & Prime, S., 2004, Proceedings of European Software Process Improvement (EUROSPI'2004), Trondheim, Norway.. Trondheim, Norway: Torgeir Dingsøyr

    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
    63 Téléchargements (Pure)

  • OpenSST based Clearing Mechanism for e-Business

    Feltus, C., Khadraoui, D. & Costa Pinto, F., 2004, Proceeding of 3rd international conference on information and communication technologies : from theory to application (ICTTA 04), Damascus, Syria. Damascus, Syria: IEEE, p. 89-90 2 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
    63 Téléchargements (Pure)

  • Perspectives on the Scope and Definition Process of the Unified Enterprise Modelling Language

    Petit, M. & Heymans, P., 2004, Proceedings of EMOI-InterOP'04 workshop (held during CAiSE'04, Riga, June 2004). Grundspenkis, J., Kirikova, M. & Missikoff, M. (eds.). Vol 3. p. 274-279 6 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

  • Semantics of FODA Feature Diagrams

    Bontemps, Y., Schobbens, P-Y., Heymans, P. & Trigaux, J-C., 2004, Proceedings of Workshop on Software Variability Management for Product Derivation Towards Tool Support held in conjunction with the 8th international Conference on Software Product Line Conference (SPLC'04): HUT-SoberIT-C6. Mannisto, T. & Bosch, J. (eds.). Helsinki, Finland: T. Mannisto and J. Bosch, p. 48-58 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

  • Solution standard de compensation appliqué à une architecture e-Business sécurisée

    Feltus, C., Khadraoui, D. & Dulaunoy, A., 2004, Proceedings of NOTERE 2004, Les Nouvelles TEchnnologies de la Répartition, Saida, Maroc..

    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
    100 Téléchargements (Pure)

  • UEML: Résultats et Enjeux d'un Langage Unifié de Modélisation d'Entreprise: Papier invité

    Berio, G., Panetto, H. & Petit, M., 2004, Actes de la 5e Conférence Francophone de MOdélisation et SIMulation - Modélisation et simulation pour l'analyse et l'optimisation des systèmes industriels et logistiques (MOSIM'04), 1-3 septembre 2004, Nantes (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

  • Using model transformation and architectural frameworks to support the software development process: The FIDJI approach

    Guelfi, N. & Perrouin, G., 2004, Midwest Software Engineering Conference (MSEC'04). p. 13-22 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

  • 2005

    A Template-based Analysis of GRL

    Dallons, G., Heymans, P. & Pollet, I., 2005, Proc. of EMMSAD'05 (@CAiSE'05), Tenth International Workshop on Exploring Modeling Methods in Systems Analysis and Design. Castro, J., Teniente, E., Halpin, T., Krogstie, J. & Siau, K. (eds.). Porto: FEUP Edicoes, p. 493-504 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

  • BIGRE : Bioinformatics Grid Ressources and Environments

    Dallons, Q., Dugas, O., Buyle, P., Major, J., Englebert, V., Colet, M., Mantrach, A., Salihoglu, U. & Bersini, H., 2005, Belgian Bioinformatics 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

  • BIGRE : Bioinformatics Grid Ressources and Environments

    Englebert, V., Buyle, P. & Dallons, Q., 2005, (Non publié) Journée CNRS ¿ Passage à l'échelle et médiation.

    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

  • Generic Semantics of Feature Diagrams Variants

    Bontemps, Y., Heymans, P., Schobbens, P-Y. & Trigaux, J-C., 2005, Proceedings of 8th International Conference on Feature Interactions in Telecommunications and Software Systems. Reiff-Marganiec, S. & Ryan, M. D. (eds.). Leicester, UK: IOS Press, p. 58-77 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

  • Le coût de l'accès aux connaissances

    Castiaux, A., 2005, Actes du Colloque "Interlignes", Namur.

    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 Formal Methods for Scenario-based Software Engineering

    Bontemps, C., Heymans, P. & Schobbens, P-Y., 2005, Scenarios: Models, Transformations and Tools. Leue, S. & Johanna, T. (eds.). Springer, Vol 3466. p. 174-192 19 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

  • OWL-based Approach for Semantic Interoperability

    Suwanmannee, S., Benslimane, D. & Thiran, P., 2005, Proceedings of the 19th International Conference on Advanced Information Networking and Applications: AINA'05. IEEE Computer Science Press, Vol 1. p. 145-150 6 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

  • Renewable resources for new product development: the case of polymers in the Belgian industry

    Castiaux, A. & Janssens, L., 2005, Proceedings of the ERSCP.

    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