Requirements Engineering
Le développement logiciel repose sur une étape cruciale: l’élicitation des exigences. Celles-ci expriment les besoins à la fois fonctionnels et non-fonctionnels du logiciel à concevoir. La compréhension précise du besoin à solutionner par une solution informatique est un des éléments clé dans la réussite d’un projet informatique. Cependant, de nombreux projets continuent à négliger cette étape, entraînant dans la suite du projet des problèmes importants voire désastreux (retard, abandon du projet).
La production d’exigence de qualité passe par l’utilisation de techniques adéquate de collecte des exigences, de leur structuration (voire de modélisation) afin de s’assurer de leur qualité (complétude, consistance, absence de conflit), de validation, de négociation et de prioritisation.
Scientific publications
Jean-Christophe Deprez, Ravi Ramdoyal, Christophe Ponsard, Integrating Energy and Eco-Aware Requirements Engineering in the Development of Services-Based Applications on Virtual Clouds, First International Workshop on Requirements Engineering for Sustainable Systems (at REFSQ’12), Essen (Germany), March 19, 2012. (Cloud Computing, Software and System Engineering, Scientific papers, Energy, IQS)
Ravi Ramdoyal, Anthony Cleve, From Pattern-based User Interfaces to Conceptual Schemas and Back, in Proceedings of the 30th International Conference on Conceptual Modeling (ER’2011), Brussels, Belgium, Octobre 2011, LNCS. accepted for publication (joined presentation FUNDP+CETIC). (User Interfaces, Methodology, Software and System Engineering, Scientific papers, Model Driven Engineering)
Benjamin Aziz, Alvaro Arenas, Juan Bicarregui, Christophe Ponsard, Philippe Massonet, "From Goal-Oriented Requirements to Event-B Specifications", The First NASA Formal Methods Symposium (NFM 2009), Moffett Field, California (USA), April 6-8, 2009. (Software and System Engineering, Model Driven Engineering)
Christophe Ponsard, Mike Martin, Sarah Walsh, Susan Baines, Sébastien Rousseaux, Giovanni Rinaldi, and Fulvio Tamburriello, "OLDES : Designing a Low-Cost, Easy-to-Use e-Care System together with the Stakeholders", Int. Conf. on Computer Helping People with Special Needs (ICCHP’08), Linz, July 2008. (Health, Software and System Engineering, Scientific papers, eInclusion, OLDES)
C. Ponsard, P. Massonet, J.F. Molderez, A. Rifaut, A. van Lamsweerde, Tran Van Hung, ’Early verification and validation of mission critical systems’, in Journal of Formal Methods in System Design (Springer), vol 30, nr 3, June 2007. (Software and System Engineering, Scientific papers, Model Driven Engineering)
C. Ponsard, E. Dieul, From Requirements Models to Formal Specifications in B, in proc. International Workshop on regulations Modelling and their Validation and Verification (REMO2V), Luxembourg, June 2006. (Software and System Engineering, Communication scientifique, Model Driven Engineering)
C. Ponsard, P. Massonet, A. Rifaut, J.F. Molderez, A. van Lamsweerde and H. Tran Van, Early Verification and Validation of Mission Critical Systems, 9th Formal Methods for Industrial Critical Systems, Linz (Austria), September 2004. (Software and System Engineering, Scientific papers, Model Driven Engineering, FAUST)