Membre du personnel

Patrick HEYMANS

Activités organisées

Conférence : Doctoral Consortium Co-Chair of RE'09 -- The 17th IEEE International Requirements Engineering Conference (Atlanta, Georgia, USA, 2009)

Conférence : Programme Co-Chair of REFSQ'09 -- The 15th International Working Conference on Requirements Engineering as a Foundation for Software Quality ( Amsterdam, Netherlands (to be confirmed), 2009)

Dates to be defined.

Conférence : Programme and Organisation co-Chair of ASPL'08 -- The First Workshop on Analyses of Software Product Lines, co-located with SPLC'08 (Limerick, Ireland, 2008)

Organisers

David Benavides, University of Seville, Spain

Antonio Ruiz Cortes, University of Seville, Spain

Don Batory, University of Texas at Austin, USA

Patrick Heymans, University of Namur, Belgium

Description

The automation of software product line (SPL) analyses is of growing interest to both practitioners and researchers. In particular, automated analyses of variability models (like feature or decision models) and languages that foster declarative specifications of programs using those models are now common. We note that many of the problems that SPL engineers face are related to configuration problems that have been addressed by the Artificial Intelligence (AI) community. Indeed, the SPL community is using some of their results, e.g., BDD, CSP and SAT solvers.

This workshop is intended to bring together researchers in SPL and AI in order to review and discuss synergies of the various approaches, and to propose new ideas and results. The two long term objectives are (i) learn from what has been done up to now in AI that is related to automated analyses of SPLs and (ii) creating a community interested in automated analyses of SPL in order to keep SPL tools and research up-to-date with the latest technologies.

Important Dates

Submission Deadline: June 15, 2008

Notification to Authors: July 18, 2008

Camera-ready Papers: July 25, 2008

Conférence : Organisation Co-Chair of RefsQ'08 -- The 14th International Working Conference on Requirements Engineering as a Foundation of Software Quality (Montpellier, France, 2008)

Conférence : Programme and Organisation Co-Chair of VaMoS'08 -- The 2nd International Workshop on Variability Modelling of Software-intensive Systems (Essen, Germany, 2008)

Conférence : General Co-Chair of BENEVOL 2007 : The 6th BElgian-NEtherlands workshop software eVOLution workshop (Namur, FUNDP, 2007)

The 6th edition of the BElgian-NEtherlands software eVOLution workshop (BENEVOL 2007) will take place at the University of Namur, Belgium. The two-day workshop will be held on Thursday 13 and Friday 14 December 2007. It will be preceded on Wednesday 12 by the first public event of the PReCISE research centre: PReCISE Day '07.

The aim of the workshop is to bring researchers to identify and discuss important principles, problems, techniques and results related to software evolution research and practice.

Colloque : Co-Organiser of the PReCISE Day '07 (Namur, FUNDP, 2007)

PReCISE is a research center of the University of Namur devoted to the engineering and management of advanced information systems.

The center was established jointly by the Faculty of Computer Science and the Department of Business Administration.

In addition to a general overview of PReCISE's mission and activities, PReCISE Day '07 will provide you with a vision of "the Future of Information Systems".

Four outstanding international keynote speakers among PReCISE's collaborators will present their views on four hot topics:

Enterprise Architecture, by Prof. François Vernadat;

Agent-Oriented Software Engineering, by Prof. John Mylopoulos;

Software Engineering as an Engineering Discipline, by Prof. Alain Abran;

Modeling Language Interoperability, by Prof. Andreas Opdahl.

The day will end with a poster session where PReCISE's researchers will present their achievements and on-going projects.

Conférence : Programme and Organisation Co-Chair of RefsQ'07 -- The 13th International Working Conference on Requirements Engineering as a Foundation of Software Quality (Trondheim, Norway, 2007)

Conférence : Programme and Organisation Co-Chair of VaMoS'07 -- The 1st International Workshop on Variability Modelling of Software-intensive Systems (Limerick, Ireland, 2007)

Colloque : Organisation chair of the 2nd Workshop on Enterprise Modelling, Requirements and Quality (Namur, FUNDP, 2006)

Presentations by University of Ghent (team of Geert Poels) and University of Namur (PReCISE)

Colloque : Organisation chair of the first "Goals and Security Day" (Namur, FUNDP, 2006)

Presentations by University of East London (Haris Mouratidis) and University of Namur (PReCISE)

Conférence : Tutorial Chair and Organisation Committee member of CAiSE'06 -- The 18th Conference on Advanced Information Systems Engineering (Luxembourg, 2006)

Séminaire : Description des Exigences en Langage Naturel (2ème partie) (Charleroi, FUNDP, 2000)

Présentation effectuée dans le cadre du groupe de travail CAT/CEDIE

Compte-rendu et transparents disponibles sur www.info.fundp.ac.be/cedie

Séminaire : Description des Exigences en Langage Naturel (1ère partie) (Charleroi, FUNDP, 2000)

Présentation effectuée dans le cadre du Groupe de Travail CAT/CEDIE

Compte-rendu et transparents disponibles sur www.info.fundp.ac.be/cedie

Séminaire : Lancement du groupe de travail CEDIE (Charleroi, FUNDP, 2000)

La CEDIE anime un groupe de travail de professionnels de l'Ingéniérie des Exigences qui

se rencontrent périodiquement afin de s'enrichir de leurs expériences mutuelles. L'objectif

principal de ce groupe serait de partager certains problèmes rencontrés dans vos activités

d'Ingénierie des Exigences dans des projets passés ou en cours, afin de tenter d'élaborer

ensemble des pistes de solution et de partager des expériences fructueuses dans ce

domaine.

Détails : www.info.fundp.ac.be/cedie

Conférence : Ingénierie des Exigences: Base de la Qualité Logicielle (Charleroi, FUNDP, 2000)

Présentation effectuée dans le cadre de la conférence "Vers une maîtrise de la qualité logicielle"

Séminaire : Seminar on Scenario Management, Dagstuhl Seminar 9806 ( Wadern, Schloss Dagstuhl, 1998)

This Dagstuhl Seminar convened twenty-four leading researchers and practitioners from various disciplines to cross-examine the

effectiveness and efficiency of using scenarios as a modeling, design, development, and implementation tool. A second issue of

interest is the management of scenarios as complex artifacts throughout the planning and systems lifecycle.

The seminar was organized by the CREWS ESPRIT project in cooperation with the IFIP Working Group 2.9 (Requirements

Engineering) and the RENOIR European Network of Excellence.

Détails: http://www.dagstuhl.de/DATA/Reports/98061/

Contributions :

Présentation intitulée "Scenario-based techniques for supporting the elaboration and the validation of formal requirements".
Rapporteur d'un groupe de discussion sur la formalisation des scénarios.

Activités avec contribution

Comité scientifique : Programme Board Member of RE'09 -- The 17th IEEE International Requirements (Atlanta, Georgia, USA, 2009)

Comité scientifique : Programme Committee Member of ER'08 -- The 27th International Conference on Conceptual Modeling (Barcelona, Spain, 2008)

The International Conference on Conceptual Modeling is a leading international forum for presenting and discussing current research and applications in which the major emphasis is on conceptual modeling. Topics of interest span the entire spectrum of conceptual modeling including research and practice in areas such as theories of concepts and ontologies underlying conceptual modeling, methods and tools for developing and communicating conceptual models, and techniques for transforming conceptual models into effective implementations.

Comité scientifique : Programme Committee Member of the First International Workshop on Requirements Engineering and Law (in conjunction with RE'08 -- the 16th IEEE International Requirements Engineering Conference) (Barcelona, Spain, 2008)

Comité scientifique : Programme Committee Member of RE'08 -- The 16th IEEE International Requirements Engineering Conference (Barcelona, Spain, 2008)

Sustainability of the earth and its natural resources represents a crucial issue that must be addressed in this technology-centric century. Although information services are generally not physical in nature and therefore do not directly result in the emission of greenhouse gasses or destruction of other natural resources, software does play a vital role in controlling machines and buildings that have a direct impact on the environment. When the target domain of software to be developed has a potential impact on the global environment, complex factors should be taken into consideration during the analysis and definition of requirements. This is a new challenge facing Requirements Engineering.

High quality requirements that are apparently unrelated to environmental issues are also crucial in our modern informationintensive society. Only by fully understanding stakeholders' needs, and documenting them in a concise, and unambiguous way, can we consistently deliver quality products designed to meet the complexities of our advanced information society. Failure to engineer high quality requirements or failure to develop products that satisfy these requirements will ultimately lead to an information society that naively prioritizes its short-term needs over issues of long-term global sustainability.

The IEEE International Requirements Engineering conference provides the premier international forum for researchers, educators and industrial practitioners to present and discuss the most recent innovations, trends, experiences and concerns in the field of requirements engineering.

Comité scientifique : Programme Committee Member of SPLC'08 -- The 12th International Conference on Software Product Lines (Limerick, Ireland, 2008)

SPLC is the premier forum for practitioners, researchers, and educators to present and discuss experiences, ideas, innovations, as well as concerns in the area of software product lines. SPLC 2008 will be the 12th official gathering of the product line community and will take place in Limerick, one of Ireland's top technology and educational centers.SPLC looks back on a history of a successful exchange of ideas and cooperation among product line practitioners and researchers on product line techniques, methods, and tools. This has led to innovative research ideas and successful industrial product lines. The objective of SPLC 2008 is to continue this dialogue.The technical program will feature invited talks, technical paper presentations, and panel discussions on the most relevant topics in product line engineering. In addition, we will host a number of workshops and tutorials, and will offer selected demonstrations and poster presentations. We will also once again host the SPLC Doctoral Symposium and the Product Line Hall of Fame nomination ceremony.

Conférence : Programme Committee Member of SVPP'08 -- International Symposium on Software Variability: a Programmers Perspective (Vrije Universiteit Brussel, 2008)

Comité scientifique : Programme Committee Member of CAiSE'08 -- The 19th International Conference on Advanced Information Systems Engineering (Montpellier, France, 2008)

Scope: CAiSE'08 aims to bring together practitioners and researchers in the field of information systems engineering. CAiSE'08 invites submissions on the development, evolution, requirements and usage of information systems. This year's special theme is "Sustainable Information Systems" (SIS) which are information systems with built-in support to handle evolution. Information systems are growing rapidly in scale and complexity. At the same time, information system evolution is a fact of life in today's organizations. Furthermore, nomadism and mobile communication lead to a process of continuous change of services provided by information systems. SIS should continuously simplify adequacy between system and enterprise requirements as well as assimilation of new supporting technologies. In addition, approaches for SIS should reduce the failure rate in IS development and allow for the definition of quality & maturity of IS development. An SIS must meet the needs of the present without compromising its ability to meet future requirements related to its context of use, and, consequently, must enable and facilitate innovative policies and practices at the activity level.

So the IS domain, with its sustainable aspects, becomes a new complex domain, which requires a lot of interdisciplinary approaches and a lot of multidisciplinary ways of thinking. Thus it seems legitimate to speak about a new Science: Services Science, where the strategies of enterprise, IT and IS are interwoven, and where "Service" is the cornerstone of the processes of innovation and of creation of value, inside enterprises.

Comité scientifique : Programme Committee Member of REFSQ'08 -- The 14th International Working Conference on Requirements Engineering as a Foundation for Software Quality (Montpellier, France, 2008)

Our economic productivity and well-being in every-day life strongly hinges on IT, and thus software quality. In most systems, quality is determined through the development process. With the spread of service-oriented and autonomic systems, software quality is continuously negotiated and adapted at run-time. Requirements Engineering (RE) sets the stage for quality, both at development- and run-time. Inspite of the constant emergence of new technologies and developing paradigms, basic issues such as effective communication between stakeholders or correctness, consistency and completeness of large requirements documents are the dominant issues in industry.

Against this background, REFSQ'08 seeks reports of innovative work in RE that enhances the quality of software and systems, both when challenged by new development paradigms or technologies, but also when needed to establish proven RE practices in industry. We encourage researchers and practitioners from the RE, software engineering, information systems, and embedded systems fields to present original work. Contributions from cognate areas such as formal methods, systems engineering, human and computer interaction, economics and management and social sciences are very welcome for the insights they provide in RE.

Comité scientifique : Programme Committee Member of MSVVEIS'08 -- The 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (Barcelona, Spain, 2008)

Comité scientifique : Programme Committee Member of REFSQ'04 -- The 10th International Workshop on Requirements Engineering as a Foundation for Software Quality (Riga, Latvia, 2008)

At nine previous REFSQ workshops, researchers and practitioners from various disciplines have contributed to improve the definition and implementation of quality requirements. REFSQ'04 will continue this tradition as a highly interactive stage for discussion of quality-related problems in requirements engineering (RE) as they have developed over the last years. In particular, we encourage people from the requirements engineering, software engineering, embedded systems and information systems fields to present innovative approaches to higher software quality and to discuss how requirements engineering can contribute to it.

Comité scientifique : Programme Committee Member of AFADL'07 -- Conférence Francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (10ème anniversaire) (Namur, FUNDP, 2008)

Cet atelier a pour objectif de faire le point sur les techniques et outils, fondés sur des approches formelles, permettant d'assurer un certain niveau de confiance dans la construction de logiciels. Les thèmes portent aussi bien sur la définition, l'évaluation et la validation de modèles de développement que sur la définition de méthodes et d'outils orientés vers l'assistance à la vérification (preuve et vérification algorithmique), à la synthèse de programmes ou à leur validation par le test à partir de modèles formels.

Comité scientifique : Member of the Permanent Technical Committee of the CETIC (Gosselies, Belgique, 2008)

Le CETIC, Centre d'Excellence en Technologies de l'Information et de la Communication, est actif en recherche appliquée en génie logiciel, en technologies GRID et en systèmes électroniques. Il est un agent de connexion, de transfert de technologie entre recherche universitaire et entreprises.

Comité scientifique : Programme Committee Member of the Early Aspects Workshop, co-located with AOSD'08 (Brussels, 2008)

Crosscutting concerns at the requirements and architecture level are referred to as early aspects. Analyzing early aspects is important in order to reason about the impact of crosscutting concerns on each other and later software development activities. Identifying and modularizing aspects in models developed during early phases of the software lifecycle is important because it supports the identification and analysis of aspects during design and coding phases.

The series of Early Aspects Workshops has now been running since AOSD 2002. The theme of this year's workshop is early aspects and software product lines. The AOSD and software product line communities are increasingly aware that techniques from one of these fields may be usefully applied to problems in the other field. This workshop aims at helping the communities of software product lines, requirements engineering, software architecture design, and aspect-oriented software development to exchange ideas, identify existing problems, and discuss potential solutions that integrate AOSD and software product line techniques.

This Early Aspects Workshop is co-located with the 7th International Conference on Aspect-Oriented Software Development (AOSD.08) in Brussels, Belgium, in March/April 2008. The workshop is one of a series of similarly themed Early Aspects Workshops at major conferences in 2008. Other Early Aspects Workshops on early aspects and software product lines are planned for ICSE in Leipzig, Germany, in May 2008 (Early Aspects Workshop at ICSE 2008) and for SPLC in Limerick, Ireland, in September 2008.

Séminaire : Invited speaker at University of Seville (ISA seminar). Title of the talk "Formal Modelling and Verification of Software Product Lines" (Sevilla, Spain, 2008)

Séjour à l'étranger : Research stay at the University of Sevilla. Invited by Prof. Antonio Ruiz-Cortés and Dr. David Benavides. (Universidad de Sevilla, Spain, 2008)

Comité scientifique : Referee for Electronic Communications of the EASST (Berlin, Germany, 2007)

Aims of this journal

ECEASST is a fully refereed journal and provides a forum for practitioners, educators and researchers for disseminating innovative research in the area of software and system technology. The journal is also intended as a medium which rapidly publishes conference and workshop proceedings, provided that all contributions are original and peer reviewed. ECEASST is an open access on-line journal, i.e. it provides unlimited access to all contributions which are published electronically only. In this way, ECEASST provides the full-text access to all papers and supports the provision of fast and broad feedback to published work.

Scope of this journal

The scope of ECEASST is Software Science and Technology as in EASST which includes all aspects related to the systematic and rigorous engineering of software and systems. The new journal is meant to present primary results achieved in this field. Besides regular contributions and special columns, this journal is also a medium for providing special issues for conferences and workshops on EASST-related topics as e.g. the satellite events of ETAPS and further EASST-supported conferences.

Séminaire : Invited panelist at the "Challenges in Requirements and Specification of Software Intensive Products" organised by SIRRIS and the VSP (Vlaams Software Platform). (Haasrode, Belgium, 2007)

The Vlaams software Platform and Sirris invite you to the First interactive Seminar of the City of Requirements on November 28th, 2007 from 14:00 to 20:00. This activity will take place in Haasrode, and is hosted by VSP member company LMS. Instead of following a traditional seminar format, this seminar will focus on the challenges you find to be the most important. After a keynote introduction to the domain given by a world class expert in requirements engineering, the audience will be given a chance to select the top three challenges they face when dealing with requirements. The second part of the event will host round table discussions of the selected top challenges, rounded up with the second keynote discussing and giving recommendations on the selected challenges, given by a panel of experts from both the industry and the research world. Participants will have the opportunity to continue the discussion with peers and experts during the networking drink.

Conférence : Presentation of the paper "Disambiguating the Documentation of Variability in Software Product Lines: Separation of Concerns, Formalization and Automatic Analysis" at RE'07 -- The 16th IEEE International Requirements Engineering Conference (New Delhi, India, 2007)

Comité scientifique : Programme Committee Member of RE'07 -- The 16th IEEE International Requirements Engineering Conference (New Delhi, India, 2007)

As software development is now part of the global economy, requirements engineering is the key bridge between the customer and supplier. Understanding and translating users' needs into effective solutions has always been vital; however, as development is outsourced, requirements have to reflect cultures and languages and local needs. Furthermore, understanding requirements becomes a collaborative activity across time and space.

Comité scientifique : Programme Committee Member for BIR'07 -- The 5th International Conference on Perspectives in Business Informatics Research (University of Tampere, Finland, 2007)

Information and Communication Technology (ICT) plays an increasingly important role in organisations and inter-organisational networks. Business and people daily activities are dependent on complex, distributed software systems operating in dynamic and often unpredictably changing environments. It is in this context that business informatics research is essential.

In order to produce products and services more efficient organisations must be able to adapt and quickly exchange information with internal and external collaborators. The demands for increasing interoperability concern technological, business process and knowledge level. Methods, theories and tools are needed that maintain change and adaptation of business processes, organisations and their supporting software. Furthermore, recent challenges are directed to more human oriented, highly personalized and trustworthy systems enabling to cope with huge variety of languages, technologies and tools needed to develop emerging business applications. However, the new methods and technologies lack enough evaluation to demonstrate that their benefits will overwhelm the payout. Therefore, one of the focuses here is on quantitative and qualitative methods for measuring, predicting, and understanding the value that information technologies bring to the enterprise and the cost before these technologies are ready to use.

The theme for this conference is therefore making businesses, people and systems inter-operable and adaptive in highly interconnected and changing contexts.

Comité scientifique : Programme Committee Member of EVOL'07 -- The Third International ERCIM Symposium on Software Evolution (Paris, France, 2007)

The research field of software evolution continues to be very active. The Working Group on Software Evolution is an ERCIM consortium that aims to study formalisms, languages, tools and techniques to support software engineers in the evolution of large and complex software systems.

The aim of the third edition of this annual international event is to gather people from academia and industry to identify and discuss recent advancements and emerging trends in the state-of-the-art in research and practice in software evolution. Contributions can either be fundamental in nature (e.g., what are the laws governing software evolution), or can be pragmatic (e.g., how can we provide evolution support through formalisms, languages, techniques and tools that scale up to industrial-size software applications; what are industrial best practices w.r.t. software evolution). They can be either narrow or broad in scope, and can be addressed at a short, medium or long term.

Séminaire : Invited speaker at University of Luxemburg (LASSY seminar). Title of the talk "Formal Modelling and Verification of Software Product Lines" (Luxembourg, Uni.Lu, 2007)

Conférence : Presentation of the paper "Feature Diagrams: A Survey and a Formal Semantics" at RE'06 -- The 15th IEEE International Requirements Engineering Conference (Minneapolis/St.Paul, Minnesota, USA, 2007)

Comité scientifique : Referee for Information and Software Technology (Elsevier) (The Netherlands, 2007)

Information and Software Technology is the international archival journal focusing on research and experience that contributes to the improvement of software development practices.

It covers methods and techniques to more effectively and efficiently engineer and manage software.

Comité scientifique : Referee for L'Objet (Hermès Science / Lavoisier) (Paris, France, 2007)

Revue pluridisciplinaire destinée à offrir un outil de synthèse aux chercheurs et industriels français en informatique, la revue de Technique et Science Informatiques (TSI) favorise la publication rapide des travaux et fournit un support de transfert bidirectionnel des connaissances entre recherche et industrie. Les articles sont regroupés en trois rubriques scientifiques : synthèse, application et recherche.

TSI, la seule revue française de haut niveau en informatique scientifique et technique : rend compte plus rapidement des évolutions scientifiques, couvre de manière plus active les différents champs de connaissance : architectures, bases de données et de connaissances, intelligence artificielle, génie logiciel, concurrence, communication, parallélisme,... réalise des numéros thématiques qui présentent systématiquement des synthèses des domaines scientifiques concernés.

Comité scientifique : Programme Committee Member of CAiSE'07 -- The 19th International Conference on Advanced Information Systems Engineering (Trondheim, Norway, 2007)

Conference theme:

Ubiquitous Information Systems Engineering

Most modern information systems span activities performed in several organizations and at different geographical locations. They often support the untethered mobility of their users. The systems have already today a large impact on every day life in the organisations, and on the individuals. As we move towards ambient, pervasive and ubiquitous computing this impact will increase significantly.

Goal: CAiSE'07 aims to bring together practitioners and researchers in the field of information systems engineering. CAiSE'07 invites submissions on the development, maintenance, procurement and usage of information systems - especially submissions dealing with aspects related to information systems engineering in ubiquitous environments.

Proceedings published as Springer LNCS 4495.

Conférence : Presentation of the paper "Towards the Comparative Evaluation of Feature Diagram Languages" at SVM-WS'07 -- The Software and Services Variability Management Workshop: Concepts, Models and Tools (Helsinki, Finland, 2007)

Comité scientifique : Programme Committee Member for FASE'07 (part of ETAPS'07) -- International Conference on Fundamental Approaches to Software Engineering (Braga, Portugal, 2007)

FASE is a member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS), which is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS 2007 is the tenth joint conference in this series. The conference is organized by the Universidade do Minho. The prior conferences have been ETAPS 1998 in Lisbon, ETAPS 1999 in Amsterdam, ETAPS 2000 in Berlin, ETAPS 2001 in Genova, ETAPS 2002 in Grenoble, ETAPS 2003 in Warsaw, ETAPS 2004 in Barcelona, ETAPS 2005 in Edinburgh, and ETAPS 2006 in Vienna.

The information society is increasingly reliant on software at all levels. Hence, the ability to produce software of high quality at low cost is crucial to technological and social progress. An intrinsic characteristic of software that integrates with real-world processes is the need to evolve in order to adjust to new or changing requirements. Maintaining quality while embracing change is one of the main challenges of software engineering. Software engineers have at their disposal theories, languages, methods, and tools that derive from both the systematic research of the academic community and the experience of practitioners. It is one of the roles of software engineering as a scientific discipline to foster feedback between academia and industry by proposing new solutions and evaluating the effectiveness of those solutions in practical contexts.

Comité scientifique : Referee for ACM Transactions on Software Engineering and Methodology (TOSEM) (USA, 2007)

The Transactions on Software Engineering and Methodology (TOSEM) is part of the family of journals produced by the ACM, the Association for Computing Machinery.

ACM Transactions on Software Engineering and Methodology (ACM TOSEM ) publishes original, significant, reproducible and archival results in all areas of software engineering research. The published articles, in general, provide substantial solutions to problems that make it difficult and costly to engineer complex and long-lived software systems with appropriate characteristics. The articles may also identify significant challenges for software engineering research based on thoughtful insights derived from practical experience.

Comité scientifique : Member of NESSI -- The Networked European Software & Services Initiative (Europe, 2006)

NESSI is the European Technology Platform dedicated to Software and Services. Its name stands for the Networked European Software and Services Initiative.

Comité scientifique : Programme Committee Member for BIR'06 -- The 5th International Conference on Perspectives in Business Informatics Research (Kaunas University of Technology. Lithuania, 2006)

Information and Communication Technology (ICT) plays an increasingly important role in Enterprise modelling and virtual organisations and inter-organisational

networks. Business and people daily activities are dependent on complex, distributed software systems operating in dynamic and often unpredictably changing environments. It is in this context that business informatics

research is essential.

systems enabling to cope with huge variety of languages, technologies and tools needed to develop emerging business applications.

The theme for this conference is therefore making businesses, people and systems interoperable and adaptive in highly interconnected and changing contexts.

Research contributions for the conference will be on aspects and future directions in business informatics research with respect to the above

theme on interoperability and adaptation. Contributions from both ongoing research and implications for future directions are welcome.

Comité scientifique : Programme Committee Member of RE'06 -- The 15th IEEE International Requirements Engineering Conference (Minneapolis/St.Paul, Minnesota, USA, 2006)

Requirements engineering has increasingly become a dominant activity in systems development-the more we can generate or outsource design and construction, the more we need requirements that adequately reflect the stakeholders' desires and needs.

The IEEE International Requirements Engineering conference is the premier requirements engineering conference, providing a forum for researchers, practitioners, educators, and students to present and discuss the most recent innovations, trends, experiences, and concerns in the field of requirements engineering.

Séjour à l'étranger : Research stay are LERO-University of Limerick. Invited by Prof. Kevin Ryan and Prof. Klaus Pohl. (LERO-University of Limerick, Ireland, 2006)

Comité scientifique : Programme Committee Member of REFSQ'06 -- The 12th International Working Conference on Requirements Engineering as a Foundation for Software Quality (Luxembourg, 2006)

Now in its twelfth year, REFSQ is a highly interactive forum for researchers and practitioners to address the problem of ensuring software quality through requirements engineering (RE).

The last decade has seen improvements in our understanding of RE with better practices supported by better techniques, methods and tools. Despite these successes, many quality-related problems remain, while new challenges for RE constantly emerge.

REFSQ seeks reports of innovative work in RE that contributes to the achievement of higher software quality. In particular, we encourage people from the requirements engineering, software engineering, information systems, and embedded systems fields to present their approaches to RE. Contributions from related areas such as formal methods, systems engineering, economics and management and social sciences are especially welcome.

Séminaire : Invited speaker at University of Luxemburg (LASSY seminar). Title of the talk "Formalizing Feature Diagrams" (with Jean-Christophe Trigaux). (Luxembourg, Uni.Lu, 2006)

Abstract: Feature Diagrams (FD) are a family of popular modelling languages used in support of the development of (Software) Product Lines (SPL). FD help to model the variabilities and commonalities of "products" (software or not) within the same product line or product family. For example, two mobile phones of different models, but produced by the same manufacturer, typically share a number of features (e.g. they may both have GPRS and MP3 player) whereas they differ in others (e.g. one has voice dialing while the other only has keypad dialing).

FD were first introduced by Kang as part of the FODA (Feature Oriented Domain Analysis) method back in 1990. Since then, various extensions of FODA FD were proposed. Many were devised to compensate for a purported ambiguity and lack of precision and expressiveness. However, most of them never received a proper formal semantics, which is the hallmark of precision and unambiguity as well as a prerequisite for efficient and safe tool automation.

This presentation describes our recent research on formalizing FD languages and, from this formalization, on studying and comparing them.

Discussion points:

introduce the basic principles of SPL engineering,

survey the various kinds of FD languages found in literature,

generalize them through a parametric construction called Free Feature Diagrams (FFD),

associate a formal semantics to FFD,

present the main results obtained so far from this formalization including results about the expressiveness, naturalness, tractability and comparison of FD languages;

discuss on-going and future works.

Comité scientifique : Programme Committee Member of EVOL'06 -- The International ERCIM Workshop on Software Evolution (Lille, France, 2006)

The Working Group on Software Evolution is an ERCIM consortium that aims to study formalisms, languages, tools and techniques to support software engineers in the evolution of large and complex software systems.

The aim of the workshop is to bring together people from academia and industry to identify and discuss about important problems, techniques and results related to software evolution research and practice. The results can either be fundamental in nature (e.g., what are the laws governing software evolution), or can be pragmatic (e.g., how can we provide evolution support through formalisms, languages, techniques and tools that scale up to industrial-size software applications; what are industrial best practices w.r.t. software evolution). They can be either narrow or broad in scope, and can be addressed at a short, medium or long term.

Comité scientifique : Programme Committee Member and Session Chair of the Doctoral Consortium of I-ESA'06 -- The 2nd International Conference on Interoperability of Enterprise Software Applications (Bordeaux, France, 2006)

See https://extranet.ims-bordeaux.fr/External/IESA/accueil.php

Comité scientifique : Referee for Technique et Science Informatiques (Hermès Science / Lavoisier) (Paris, France, 2006)

Comité scientifique : Member of, and representing the University of Namur at, the ERCIM Working Group on Software Evolution (Europe, 2006)

The main goal of the proposed WG is to understand the phenomenon of software evolution, and to develop well-founded and disciplined tools and techniques to support software developers with the common problems they encounter when evolving large and complex software systems. With this initiative, we plan to become a Virtual European Research and Training Centre on Software Evolution.

Conférence : 1st Workshop on Enterprise Modeling, Requirements and Quality (Gent Universteit, 2005)

Présentation "Ontological Analysis of KAOS using Ontological Decomposition"

Séminaire : Staff séminaire "Ontological Analysis of KAOS using Ontological Decomposition" (Namur, FUNDP -- Institut d'Informatique, 2005)

Séjour à l'étranger : Research stay at University of Valencia. Invited by Prof. Andreas L. Opdahl (himself visiting professor). (Universad de Valencia, Spain, 2005)

Comité scientifique : Programme Committee Member of RE'05 -- The 13th IEEE International Requirements Engineering Conference (U. Paris I - Sorbonne, Paris, France, 2005)

RE'05 has brought together researchers, practitioners, and students to exchange problems, solutions, and experiences concerning requirements. The conference has emphasized the crucial role that requirements play in the successful development and delivery of systems, products, and services. It was hosted by University of Paris 1 -Panthéon Sorbonne.

Séjour à l'étranger : Research stay at Politecnico di Bari. Invited by Prof. Michele Dassisti. (Politecnico di Bari, Italy., 2005)

Comité scientifique : Programme Committee Member of REFSQ'05 -- The 11th International Workshop on Requirements Engineering as a Foundation for Software Quality (Porto, Portugal, 2005)

Now in its eleventh year, REFSQ is a highly interactive forum for researchers and practitioners to address the problem of ensuring software quality through requirements engineering (RE). The last decade has seen improvements in our understanding of RE with better practices supported by better techniques, methods and tools. Despite these successes, many quality-related problems remain, while new challenges for RE constantly emerge. REFSQ seeks reports of innovative work in RE that contributes to the achievement of higher software quality. In particular, we encourage people from the requirements engineering, software engineering, information systems, and embedded systems fields to present their approaches to RE.

Conférence : Conférence CAiSE'05 + workshop EMMSAD'05 (Porto, Portugal, 2005)

Présentation de l'article "A Template-based Analysis of GRL"

Séminaire : Journée scientifique PRECISE (Haugimont, FUNDP, 2005)

Conférence : Conférence I-ESA (Université de Genève, 2005)

Réunion : Réunion co-jointe InterOP/Athena (Oslo, 2005)

Conférence : Invited talk at the "Journée Ingénierie des Besoins" organised by Prof. Jeanine Souquière and QSL (Qualité et Sûreté des Logiciels). Talk title "Des scénarios aux machines à états: le cas des Live Sequence Charts". With Yves Bontemps. (LORIA, Nancy, 2005)

Comité scientifique : Referee for IEEE Transactions on Software Engineering (TSE) (Piscataway, NJ, USA, 2005)

The IEEE Transactions on Software Engineering is an archival journal published monthly. We are interested in well-defined theoretical results and empirical studies that have potential impact on the construction, analysis, or management of software. The scope of this Transactions ranges from the mechanisms through the development of principles to the application of those principles to specific environments. Since the journal is archival, it is assumed that the ideas presented are important, have been well analyzed, and/or empirically validated and are of value to the software engineering research or practitioner community. Specific topic areas include: a) development and maintenance methods and models, e.g., techniques and principles for the specification, design, and implementation of software systems, including notations and process models; b) assessment methods, e.g., software tests and validation, reliability models, test and diagnosis procedures, software redundancy and design for error control, and the measurements and evaluation of various aspects of the process and product; c) software project management, e.g., productivity factors, cost models, schedule and organizational issues, standards; d) tools and environments, e.g., specific tools, integrated tool environments including the associated architectures, databases, and parallel and distributed processing issues; e) system issues, e.g., hardware-software trade-off; and f) state-of-the-art surveys that provide a synthesis and comprehensive review of the historical development of one particular area of interest.

Conférence : ESEC/FSE'99 (European Software Engineering Conference / Foundations of Software Engineering) (Toulouse, CERT/ONERA, 1999)

Contribution

Présentation (avec les autres membres du projet CREWS) d'un "tutorial" intitulé "Cooperative Requirements Engineering with Scenarios"
Démonstration de l'outil logiciel CREWS-EVE (avec Peter Haumer)

Conférence : RE'99 (Requirements Engineering) (Limerick (Irlande), Université de Limerick, 1999)

Contributions:

Présentation conjointe avec Peter Haumer du papier "Bridging the gap between past and future in RE : a scenario-based approach"
Démonstration de l'outil logiciel CREWS-EVE (avec Peter Haumer)
Présentation à la "poster session"

Conférence : CAiSE'99 (Conference on Advanced Information Systems) (Heidelberg, Allemagne, 1999)

Contributions:

Présentation (avec les autres membres du projet CREWS) d'un "tutorial" intitulé "Cooperative Requirements Engineering with Scenarios"
Démonstration de l'outil logiciel CREWS-EVE (avec Peter Haumer)
Participation au workshop REFSQ'99 (Requirements Engineering : Foundation of Software Quality)

Conférence : RESG Scenario Day : "How to Use Scenarios and Use Cases in the Systems Development Process" (Londres, City University, 1998)

Contributions:

Présentation intitulée "Animation of Scenarios for Requirements Validation".
Démonstration de l'outil logiciel d'animation de spécifications Albert II

Séminaire : Animation de Spécifications Albert II (Namur, FUNDP, 1997)

Présentation effectuée dans le cadre de la Journée des Doctorands de l'Institut d'Informatique

Conférence : Conférences RE'97 (Requirements Engineering) (Annapolis, Maryland, USA, 1997)

Contribution:

Présentation au Doctoral Consortium intitulée "Some thoughts about the animation of formal Albert II specifications"

Activités avec simple participation

Conférence : Participation à la conférence annuelle de BENEVOL (BElgium, NEtherlands group on software EVOLution) (Bruxelles, ULB, 2005)

Conférence : Participation à la conférence RE'05 (Requirements Engineering) (Paris, Sorbonne, 2005)

Mon activité fut de:

assister aux exposés
présider une séance
participer à une réunion du comité de programme de RE'06

Réunion : General meeting InterOP (Valencia, Espagne, 2005)

Réunion : Comité de programme de la conférence RE'06 (Université de Waterloo, Canada, 2005)

Conférence : CEIRE'98 (Conference on European Industrial Requirements Engineering) (Hammersmith, Londres, 1998)

A conference organised as a showcase for the best practice currently available in

Requirements Engineering by the Requirements Engineering Specialist Group (RESG)

of the British Computer Society (BCS)

Participation, entre autres, à:

Workshop "RE and education"
Tutorial : "Scenario-based Requirements Determination" (Prof. Colin Potts)

Autre : Member of the IEEE Computer Society (Piscataway, NJ, USA, 1997)

Formation : Ecole d'été ESSLLI'96 (European Summer School in Logic Language and Information) (Université de Prague, République Tchèque, 1996)

Conférence : Conférence CAiSE'96 (Conference on Advanced Information Systems Engineering) (Heraklion, Crête, Grèce, 1996)

Participation au workshop "Requirements Engineering in a Changing World"
Participation workshop-"review" du projet 2RARE

Institution

Sections

Outils personnels

Espaces

Missions

Organisation

Références

Patrick HEYMANS

Activités organisées

Activités avec contribution

Activités avec simple participation