Photo de Patrick Heymans

Voir le profil Scopus

Patrick Heymans

  • Belgique

Calculé d’après le nombre de publications stockées dans Pure et de citations dans Scopus
1995 …2024

Résultat de recherche par an

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

Résultats de recherche

  • A Complexity Tale: Web Configurators

    Perrouin, G., Acher, M., Davril, J-M., Legay, A. & Heymans, P., 2016, IEEE/ACM 1st International Workshop on Variability and Complexity in Software Design (VACE). Austin: ACM 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

  • Adapting Secure Tropos for Security Risk Management during the Early Phases of Information Systems Development

    Matulevicius, R., Mayer, N., Mouratidis, H., Dubois, E., Heymans, P. & Genon, N., 2008, Lecture Notes in Computer Science, International Conference on Advanced Information Systems Engineering (CAiSE'08). Bellahsene, Z. & Léonard, M. (eds.). Heidelberg: Springer Verlag

    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 Formal Semantics for Decision-oriented Variability Modeling with DOPLER

    DHUNGANA, D., Heymans, P. & RABISER, R., 2010, (Non publié) Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29. University of Duisburg-Essen, p. 29-38 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

  • A Formal Semantics for Multi-level Staged Configuration

    Classen, A., Hubaux, A. & Heymans, P., 2009, Proceedings of the Third Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09). Duisburg-Essen: Institute for Computer Science and Business Information Systems , p. 51-60 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
    215 Téléchargements (Pure)

  • 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

  • Alignment of Misuse Cases with Security Risk Management

    Matulevicius, R., Mayer, N. & Heymans, P., 2008, (Non publié) Proceedings of the 4th Symposium on Requirements Engineering for Information Security (SREIS'08), collocated with the International Conference of Availability, Reliability and Security (ARES'08). Anton, A. & Massacci, F. (eds.). Barcelone, Spain: IEEE Computer society, p. 1397-1404 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

  • All-At-Once-Synthesis of controllers from scenario-based product line specifications

    Cordy, M., Davril, J-M., Greenyer, J., Gressi, E. & Heymans, P., 20 juil. 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. ACM Press, Vol 20-24-July-2015. p. 26-35 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

  • A meta-model for product configuration ontologies

    Abbasi, E. K., Leclercq, T. & Heymans, P., 12 sept. 2022, 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings. Felfernig, A., Fuentes, L., Cleland-Huang, J., Assuncao, W. K. G., Assuncao, W. K. G., Quinton, C., Guo, J., Schmid, K., Huchard, M., Ayala, I., Rojas, J. M., Le, V-M. & Horcas, J. M. (eds.). ACM Press, p. 166-173 8 p. (26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings; Vol B).

    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

  • Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation

    Genon, N., Heymans, P. & Amyot, D., 2010, Proceedings of the 3rd International Conference on Software Language Engineering (SLE'10). Eindhoven, The Netherlands, Collection LNCS. Brian, M., Steffen, S., den, V. & Mark, B. (eds.). Vol 6563. p. 377-396 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

  • Analysing the Cognitive Effectiveness of the UCM Visual Notation

    Genon, N., Amyot, D. & Heymans, P., 2010, Proceedings of the 6th Workshop on System Analysis and Modelling (SAM 2010), Oslo, Norway. Alexer, F. & Peter, K. (eds.). Vol 6598. p. 221-240 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

  • An extensible platform for product-line behavioural analysis

    Cordy, M., Willemart, M., Dawagne, B., Heymans, P. & Schobbens, P-Y., 15 sept. 2014, ACM International Conference Proceeding Series: Companion Volume for Workshops, Demonstrations and Tools-Volume 2. ACM Press, Vol 2. p. 102-109 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

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

  • An Interactive Multi-perspective Toolset for Non-linear Product Configuration Processes (tool demo)

    Abbasi, E. K., Hubaux, A. & Heymans, P., 2011, Proceedings of the 15th International Software Product Lines Conference (SPLC'11), Munich, Germany. Schaefer, I., John, I. & Schmid, K. (eds.). ACM Press, Vol 2. p. 50-50 1 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
    37 Téléchargements (Pure)

  • 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

  • A Preliminary Review on the Application of Feature Diagrams in Practice

    Hubaux, A., Classen, A., Mendonca, M. & Heymans, P., 2010, Proceedings of the Fourth Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29. p. 53-59 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

    File
    310 Téléchargements (Pure)

  • A primer on counterexample guided abstraction refinement of product-line behavioural models

    Cordy, M., Dawagne, B., Heymans, P., Legay, A., Leucker, M. & Schobbens, P. Y., 2016, Software Engineering 2016: Fachtagung des GI-Fachbereichs Softwaretechnik : 23-26 Februar 2016 Wien. Knoop, J. & Zdun, U. (eds.). Gesellschaft fur Informatik (GI), p. 79-80 2 p. (Lectures Notes in Informatics; Vol P-252).

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

  • A Toolset for Feature-based Configuration Workflows

    Abbasi, E. K., Hubaux, A. & Heymans, P., 2011, (Non publié) Proceedings of the 15th International Software Product Lines Conference (SPLC'11), Munich, Germany. Santana, E., Almeida, D., Kishi, T., Schwanninger, C., John, I. & Schmid, K. (eds.). IEEE, Vol 1. p. 65-69 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

    File
    127 Téléchargements (Pure)

  • Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

    Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P., 15 mai 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. Tokyo, Japan: IEEE, p. 424-429 6 p. 7927996. (2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)).

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

  • A vision for behavioural model-driven validation of software product lines

    Devroey, X., Cordy, M., Perrouin, G., Kang, E-Y., Schobbens, P-Y., Heymans, P., Legay, A. & Baudry, B., 15 oct. 2012, Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Vol 7609 LNCS. p. 208-222 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

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

  • Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features

    Cordy, M., Schobbens, P. Y., Heymans, P. & Legay, A., 30 oct. 2013, Proceedings - International Conference on Software Engineering. p. 472-481 10 p. 6606593

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

  • Beyond De-Facto Standards for Designing Human-Computer Interactions in Configurators

    Leclercq, T., Davril, J-M., Cordy, M. & Heymans, P., 2016, (Accepté/sous presse) Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS).

    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

  • Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People

    Mahaux, M., Mavin, A. & Heymans, P., 2012, Proceedings of the 18th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'12). Regnell, B. & Damian, D. (eds.). Springer, Vol 7195. p. 101-116 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

  • Comparative Semantics of Feature Diagrams: FFD vs vDFD

    Trigaux, J-C., Heymans, P., Schobbens, P-Y. & Classen, A., 2006, Proceedings of the Workshop on Comparative Evaluation in Requirements Engineering (CERE'06) held in conjunction with the 14th IEEE International Requirements Engineering Conference (RE'06).

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

  • Comparative semantics of Feature Diagrams: FFD vs vDFG (extended abstract)

    Trigaux, J-C., Heymans, P. & Schobbens, P-Y., 2006, Proceedings of 18th International Workshop on Algebraic Development Technique (WADT'06).

    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

  • Comparing Goal-modelling Tools with the RE-tool Evaluation Approach

    Matulevicius, R. & Heymans, P., 2006, Proceedings of the 5th International Conference on Perspectives in Business Informatics Research (BIR), October 2006.

    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

  • Comparing GRL and KAOS using the UEML Approach

    Matulevicius, R., Heymans, P. & Opdahl, A., 2007, Interoperability for Enterprise Software and Applications (I-ESA'07). Concalves, R. J., Muller, J. P., Mertins, K. & Zelm, M. (eds.). p. 77-88 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

  • Comparison and Integration of Goal Modelling Languages

    Matulevicius, R. & Heymans, P., 2006, SegraVis Advanced School on Visual Modelling Techniques: Lecture Notes. Enrig, K., Heckel, R. & lajios, G. (eds.). UK: University of Leicester

    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

  • Comparison of Goal Modelling Languages: an Experiment

    Matulevicius, R. & Heymans, P., 2007, (Non publié) Lecture Notes in Computer Science, International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'07). Sawyer, P., Paech, B. & Heymans, P. (eds.). Heidelberg: Springer

    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

  • Comparison of Goal-oriented Languages using the UEML Approach

    Matulevicius, R., Heymans, P. & Opdahl, A., 2006, Proceedings of the 2nd International I-ESA 2006 Workshop on Enterprise Integration, Interoperability and Networking (EI2N 2006).

    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

  • Concerns and their Separation in Feature Diagram Languages - An Informal Survey

    Tun, T. T. & Heymans, P., 2009, Proceedings of the Workshop on Scalable Modelling Techniques for Software Product Lines (SCALE@SPLC'09), San Francisco, CA, USA.

    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

  • Counterexample Guided Abstraction Refinement of product-line behavioural models

    Cordy, M., Heymans, P., Legay, A., Schobbens, P. Y., Dawagne, B. & Leucker, M., 16 nov. 2014, 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. ACM Press, Vol 16-21-November-2014. p. 190-201 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

  • Coverage criteria for behavioural testing of software product lines

    Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P-Y. & Heymans, P., 8 nov. 2014, Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Springer Verlag, Vol 8802. p. 336-350 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8802).

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

  • Covering SPL Behaviour with Sampled Configurations: An Initial Assessment

    Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P., 2015, Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems. Hildesheim, Germany: ACM Press, Vol 21-23-January-2015. p. 59:59-59:66 8 p. (VaMoS '15).

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

  • Cross-Checking Disambiguated Product Line Variability Models (non reviewed, extended abstract)

    Heymans, P., Metzger, A., Schobbens, P-Y., Pohl, K. & Saval, G., 2007, Proceedings of the 6th BElgian-NEtherlands software eVOLution workshop (BENEVOL'07). Cleve, A., Heymans, P. & Habra, N. (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

  • Deriving Configuration Interfaces from Feature Models : A Vision Paper

    Boucher, Q., Perrouin, G. & Heymans, P., 2012, Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27,. p. 37-44

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

  • Design of a Modelling Language for Information System Security Risk Management

    Mayer, N., Heymans, P. & Matulevicius, R., 2007, First IEEE International Conference on Research Challenges in Information Science (RCIS'07). Roll, C., Pastor, O., Bennani, A. & Flory, A. (eds.). Ouarzazate: IEEE Computer Society 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

  • Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis

    Metzger, A., Heymans, P., Pohl, K., Schobbens, P-Y. & Saval, G., 2007, Proceedings of 15th IEEE International Requirements Engineering Conference (RE'07). Sutcliffe, A. & Jalote, P. (eds.). IEEE Computer Society 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

  • Discovering Sustainability Requirements: an Experience Report

    Mahaux, M., Saval, G. & Heymans, P., 2011, Proceedings of the 17th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2011, Essen, Germany, March 28-30, 2011.. Vol 6606. p. 19-33 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

  • Efficient quality assurance of variability-intensive systems

    Heymans, P., Legay, A. & Cordy, M., 30 oct. 2013, Proceedings - International Conference on Software Engineering. p. 1496-1498 3 p. 6606757

    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

  • Eight Deadly Sins of GRL

    MUSSBACHER, G., AMYOT, D. & Heymans, P., 2011, Proceedings of the 5th International i* Workshop (iStar 2011), Trento, Italy, August 28-29, 2011. Brelaz, J., Castro, D., Franch, X., Mylopoulos, J. & Eric, S. K. (eds.). Vol 766. p. 2-7 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

  • Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning

    Delobelle, P., Temple, P., Perrouin, G., Frénay, B., Heymans, P. & Berendt, B., 14 mai 2020, 1st workshop on Bias and Fairness in AI, co-located with ECMLPKDD 2020. 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

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

  • Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies

    Hubaux, A., Boucher, Q., Hartmann, H., Michel, R. & Heymans, P., 2010, Proceedings of the 3rd International Conference on Software Language Engineering (SLE'10). Eindhoven, The Netherlands, Collection LNCS, pp. 337-356.

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

  • Feature Diagrams: A Survey and A Formal Semantics: (An extended version of this paper appears in Journal of Computer Networks, February 2007)

    Schobbens, P-Y., Heymans, P., Trigaux, J-C. & Bontemps, Y., 2006, Proceedings of 14th IEEE International Requirements Engineering Conference (RE'06). Glinz, M. & Lutz, R. (eds.). Minneapolis/St. Paul Minesota, USA: IEEE Computer society, p. 139-148 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

  • Feature Diagrams for Change-Oriented Programming

    Ebraert, P., Classen, A., Heymans, P. & D'Hondt, T., 2009, (Non publié) Proceedings of the 10th International Conference on Feature Interactions (ICFI'09), Lisbon, Portugal. Nakamura, M. & Reiff-Marganiec, S. (eds.). Amsterdam: IOS Press, p. 107-122 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

    File
    172 Téléchargements (Pure)

  • Featured Model-based Mutation Analysis

    Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P., mai 2016, Proceedings of the 38th international conference on Software Engineering. Austin, TX, USA: ACM Press, p. 655-666 12 p. (ICSE '16).

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

  • Feature Model Differences (To appear)

    Acher, M., Heymans, P., Collet, P., Quinton, C., Lahire, P. & Merle, P., 2012, (Non publié) Proceedings of the 24th International Conference on Advanced Information Systems Engineering (CAiSE'12).

    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

  • Feature model extraction from large collections of informal product descriptions

    Davril, J-M., Delfosse, E., Hariri, N., Acher, M., Cleland-Huang, J. & Heymans, P., 16 sept. 2013, 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 290-300 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

  • Formal Modelling of Feature Configuration Workflows

    Hubaux, A., Classen, A. & Heymans, P., 2009, Proceedings of the 13th International Software Product Lines Conference (SPLC'09), San Francisco, CA, USA. John, D. & Dirk, M. (eds.). SEI, Carnegie Mellon University, p. 221-230 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
    202 Téléchargements (Pure)

  • From Interaction Diagrams to State Machines: Moving to Class-Level

    Bontemps, Y., Saval, G., Heymans, P. & Schobbens, P-Y., 2006, Digest of the 18th International Workshop on Algebraic Development Techniques (WADT'06). Luiz, J. & Pierre-Yves, 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

  • From Interaction Diagrams to State Machines: Moving to Class-Level

    Bontemps, Y., Saval, G., Heymans, P. & Schobbens, P-Y., 2006, Actes de la 7e Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'06). Vignes, S. & Viguié, V. (eds.). Paris, France: Ecole Nationale Supérieure des Télécommunications, p. 45-61 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

Votre message a bien été envoyé.
Votre message n’a pas été envoyé en raison d’une erreur.