Search For:

Displaying 1-14 out of 14 total
Using Constraint Programming to Manage Configurations in Self-Adaptive Systems
Found in: Computer
By Pete Sawyer,Raúl Mazo,Daniel Diaz,Camille Salinesi,Danny Hughes
Issue Date:October 2012
pp. 56-63
Combining goal-modeling techniques with constraint programming provides the means to identify the variants best suited to the environmental contexts that a self-adaptive software system might encounter at runtime. The Web extra at
Deriving Product Line Requirements: the RED-PL Guidance Approach
Found in: Asia-Pacific Software Engineering Conference
By Olfa Djebbi, Camille Salinesi, Daniel Diaz
Issue Date:December 2007
pp. 494-501
Product lines (PL) modeling have proven to be an effective approach to reuse in software development. Several variability approaches were developed to plan requirements reuse, but only little of them actually address the issue of deriving product requireme...
Managing Requirements in a Co-evolution Context
Found in: Requirements Engineering, IEEE International Conference on
By Anne Etien, Camille Salinesi
Issue Date:September 2005
pp. 125-134
<p>Complex artefacts, such as Information Systems (IS), have multiple aspects and components: business processes, databases, architecture, or software. It is generally agreed that all these should be kept consistent over time. One major issue to pres...
A Method to Analyse Changes in the Realisation of Business Intentions and Strategies for Information System Adaptation
Found in: Enterprise Distributed Object Computing Conference, IEEE International
By Camille Salinesi, María José Presso
Issue Date:September 2002
pp. 84
Information System adaptation and Business Process change pose specific issues. Based on our experience in the industrial context, we proposed a methodological framework to tackle these issues. Among the lessons learned from the experimentation of this fra...
Conformance Checking with Constraint Logic Programming: The Case of Feature Models
Found in: Computer Software and Applications Conference, Annual International
By Raúl Mazo,Roberto E. Lopez-Herrejon,Camille Salinesi,Daniel Diaz,Alexander Egyed
Issue Date:July 2011
pp. 456-465
Developing high quality systems depends on developing high quality models. An important facet of model quality is their consistency with respect to their meta-model. We call the verification of this quality the conformance checking process. We are interest...
Using Integer Constraint Solving in Reuse Based Requirements Engineering
Found in: Requirements Engineering, IEEE International Conference on
By Camille Salinesi, Raul Mazo, Daniel Diaz, Olfa Djebbi
Issue Date:October 2010
pp. 243-251
Product Lines (PL) have proved an effective approach to reuse-based systems development. Several modeling languages were proposed so far to specify PL. Although they can be very different, these languages show two common features: they emphasize (a) variab...
Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria
Found in: Requirements Engineering, IEEE International Conference on
By Camille Salinesi, Colette Rolland, Daniel Diaz, Raúl Mazo
Issue Date:September 2009
pp. 385-386
Product line models (PLM) are important artifacts in product line engineering. Due to their size and complexity, it is difficult to detect defects in PLMs. The challenge is however important: any error in a PLM will inevitably impact configuration, generat...
Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models
Found in: Requirements Engineering, IEEE International Conference on
By Camille Salinesi, Daniel Diaz, Olfa Djebbi, Raul Mazo, Colette Rolland
Issue Date:September 2009
pp. 375-376
Constraint Programming (CP), and in particular boolean CP, has been used so far to support analysis of variability models such as Feature Oriented Domain Analysis (FODA) and like. This paper goes a step further by using constraint programming to specify th...
An Experience of Reuse Based Requirements Engineering in ERP Implementation Projects
Found in: Enterprise Distributed Object Computing Conference, IEEE International
By Camille Salinesi, Mohamed Ramzi Bouzid, Esther Elfassy
Issue Date:October 2007
pp. 379
The art of ERP implementation stands in matching ERP features with the requirements of an organisation so as to define how to adapt the system and/or the organisation to reach a synergic functioning. A number of approaches have been developed in practice a...
Criteria for Comparing Requirements Variability Modeling Notations for Product Lines
Found in: Comparative Evaluation in Requirements Engineering, Workshops on
By Olfa Djebbi, Camille Salinesi
Issue Date:September 2006
pp. 20-35
<p>Software product families have proven to be an effective approach to reuse in software development.</p> <p>For planning requirements reuse, several variability approaches are developed.</p> <p>This study is made in an indus...
Sharing Methodological Knowledge with REGAL:
Found in: Requirements Engineering, IEEE International Conference on
By Laure-Helene Jean-Baptiste, Camille Salinesi, Gauthier Fanmuy
Issue Date:September 2005
pp. 461-462
<p>This paper presents a repository-based tool for sharing RE (empirical or theoretical) methodological knowledge, and improving it collaboratively. Methods are documented in our tool with methodological patterns. The originality of our tool is three...
Eliciting Requirements by Analysing Threats Caused by Users
Found in: Software Engineering Research, Management and Applications, ACIS International Conference on
By Elena Ivankina, Camille Salinesi
Issue Date:August 2005
pp. 104-111
<p>Eliciting requirements is an important issue of system development projects. Some approaches propose to identify requirements by analysing system malfunctioning. Different sources of malfunctioning are dealt with by these approaches: obstacles, co...
Using the RITA Threats Ontology to Guide Requirements Elicitation: an Empirical Experiment in the Banking Sector
Found in: Managing Requirements Knowledge, International Workshop on
By Camille Salinesi, Elena Ivankina, Willy Angole
Issue Date:September 2008
pp. 11-15
Eliciting requirements is an important issue of systems development projects. One particular approach to requirements elicitation is to analyse non nominal cases of systems behaviour. Non nominal behaviours can be dealt with under different perspectives su...
Bridging the gap between product lines and systems engineering: an experience in variability management for automotive model based systems engineering
Found in: Proceedings of the 17th International Software Product Line Conference (SPLC '13)
By Alain Dauron, Camille Salinesi, Cosmin Dumitrescu, Raul Mazo
Issue Date:August 2013
pp. 254-263
We present in this paper an experience in modeling a family of parking brake systems, with shared assets and alternative solutions, and relate them to the needs of Renault in terms of variability management. The models are realized using a set of customize...