Skip to Main content

Keywords

Researcher identifiers

  • IdHAL : tibermacine-chouki

Export Publications

Export the displayed publications:
Number of documents

75

Publications of Chouki Tibermacine


See my Website:

http://www.lirmm.fr/~tibermacin/


Journal articles13 documents

  • Nour Aboud, Gabriela Arévalo, Olivier Bendavid, Jean-Rémy Falleri, Nicolas Haderer, et al.. Building Hierarchical Component Directories. The Journal of Object Technology, Chair of Software Engineering, 2019, 18 (1), pp.21--37. ⟨10.5381/jot.2019.18.1.a2⟩. ⟨hal-02073774⟩
  • Sahar Kallel, Chouki Tibermacine, Slim Kallel, Ahmed Kacem, Christophe Dony. Specification and Automatic Checking of Architecture Constraints on Object Oriented Programs. Information and Software Technology, Elsevier, 2018, 101, pp.16-31. ⟨10.1016/j.infsof.2018.05.002⟩. ⟨hal-01905953⟩
  • Okba Tibermacine, Chouki Tibermacine, Foudil Cherif. Estimating the Reputation of Newcomer Web Services Using a Regression-Based Method. Journal of Systems and Software, Elsevier, 2018, 145, pp.112-124. ⟨10.1016/j.jss.2018.08.026⟩. ⟨hal-01905901⟩
  • Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Kacem. Generating Reusable, Searchable and Executable "Architecture Constraints as Services". Journal of Systems and Software, Elsevier, 2017, 127, pp.91-108. ⟨10.1016/j.jss.2017.01.032⟩. ⟨lirmm-01706634⟩
  • Amina Bekkouche, Sidi Mohamed Benslimane, Marianne Huchard, Chouki Tibermacine, Fethallah Hadjila, et al.. QoS-aware optimal and automated semantic web service composition with user's constraints. Service Oriented Computing and Applications, Springer, 2017, 11 (2), pp.183-201. ⟨10.1007/s11761-017-0205-1⟩. ⟨lirmm-01580885⟩
  • Tarek Zernadji, Chouki Tibermacine, Foudil Cherif, Amina Zouioueche. Integrating Quality Requirements in Engineering Web Service Orchestrations. Journal of Systems and Software, Elsevier, 2016, 122, pp.463-483. ⟨10.1016/j.jss.2015.11.009⟩. ⟨lirmm-01276800⟩
  • Chouki Tibermacine, Salah Sadou, Tu Minh Ton That, Christophe Dony. Software Architecture Constraint Reuse-by-Composition. Future Generation Computer Systems, Elsevier, 2016, 61, pp.37-53. ⟨10.1016/j.future.2016.02.006⟩. ⟨lirmm-01276796⟩
  • Mohamed Lamine Kerdoudi, Chouki Tibermacine, Salah Sadou. Opening Web Applications for Third Party Development: a Service-Oriented Solution. Service Oriented Computing and Applications, Springer, 2016, 10 (4), pp.437-463. ⟨10.1007/s11761-016-0192-7⟩. ⟨lirmm-01276797⟩
  • Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem. Processus pour la génération automatique de composants exécutables à partir de contraintes d'architecture. Revue des Nouvelles Technologies de l'Information, Hermann, 2015, CAL 2015, RNTI-L-8, pp.61-78. ⟨lirmm-02124391⟩
  • Okba Tibermacine, Chouki Tibermacine, Foudil Cherif. A Process to Identify Relevant Substitutes for Healing Failed WS-* Orchestrations. Journal of Systems and Software, Elsevier, 2015, 104, pp.1-16. ⟨10.1016/j.jss.2015.02.028⟩. ⟨lirmm-01235435⟩
  • Okba Tibermacine, Chouki Tibermacine, Foudil Cherif. A Practical Approach to the Measurement of Similarity between WSDL-based Web Services. Revue des Nouvelles Technologies de l'Information, Hermann, 2014, CAL'2014: 6ème Conférence francophone sur les Architectures Logicielles, RNTI-L-7, pp.03-18. ⟨lirmm-01104197⟩
  • Chouki Tibermacine, Régis Fleurquin, Salah Sadou. A family of languages for architecture constraint specification. Journal of Systems and Software, Elsevier, 2010, 83 (5), pp.815-831. ⟨hal-00498761⟩
  • Régis Fleurquin, Chouki Tibermacine. Une assistance pour l'évolution des logiciels à base de composants. Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, 13 (1), pp.9-44. ⟨hal-00499524⟩

Conference papers50 documents

  • Okba Tibermacine, Chouki Tibermacine, Mohamed Kerdoudi. Reputation Evaluation with Malicious Feedback Prevention Using a HITS-Based Model. ICWS: International Conference on Web Services, Jul 2019, Milan, Italy. ⟨lirmm-02112373⟩
  • Mohamed Kerdoudi, Tewfik Ziadi, Chouki Tibermacine, Salah Sadou. Recovering Software Architecture Product Lines. 24th International Conference on Engineering of Complex Computer Systems (ICECCS), Nov 2019, Nansha, Guangzhou, China. pp.226-235, ⟨10.1109/ICECCS.2019.00032⟩. ⟨hal-02268371⟩
  • Mohamed Lamine Kerdoudi, Mohamed Kerdoudi, Chouki Tibermacine, Salah Sadou. Spotlighting Use Case Specific Architectures. ECSA: European Conference on Software Architecture, Sep 2018, Madrid, Spain. pp.236-244, ⟨10.1007/978-3-030-00761-4_16⟩. ⟨lirmm-02124337⟩
  • Anfel Selmadji, Abdelhak-Djamel Seriai, Hinde Lilia Bouziane, Christophe Dony, Chouki Tibermacine. Refactoring Object-Oriented Applications for a Deployment in the Cloud: Workflow Generation based on Static Analysis of Source Code. ENASE: Evaluation of Novel Approaches to Software Engineering, Mar 2018, Funchal, Madeira, Portugal. pp.111-123, ⟨10.5220/0006699101110123⟩. ⟨lirmm-01875047⟩
  • Sahar Kallel, Chouki Tibermacine, Ahmed Kacem, Christophe Dony. Multi-Paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models. SOFSEM: Theory and Practice of Computer Science, Jan 2018, Krems an der Donau, Austria. pp.180-193, ⟨10.1007/978-3-319-73117-9_13⟩. ⟨lirmm-01706094⟩
  • Mohammed Smahi, Fethellah Hadjila, Chouki Tibermacine, Mohammed Merzoug, Abdelkrim Benamar. An Encoder-Decoder Architecture for the Prediction of Web Service QoS. ESOCC: European Conference on Service-Oriented and Cloud Computing, Sep 2018, Côme, Italy. pp.74-89, ⟨10.1007/978-3-319-99819-0_6⟩. ⟨hal-01905967⟩
  • Soumia Zellagui, Chouki Tibermacine, Ghizlane Boussaidi, Abdelhak-Djamel Seriai, Hinde Lilia Bouziane, et al.. Recovering Runtime Architecture Models and Managing their Complexity using Dynamic Information and Composite Structures. SAC: Symposium on Applied Computing, Apr 2018, Pau, France. pp.1454-1456, ⟨10.1145/3167132.3167420⟩. ⟨lirmm-01706074⟩
  • Soumia Zellagui, Chouki Tibermacine, Hinde Lilia Bouziane, Abdelhak-Djamel Seriai, Christophe Dony. Refactoring Object-Oriented Applications towards a better Decoupling and Instantiation Unanticipation. SEKE: Software Engineering and Knowledge Engineering, Jul 2017, Pittsburgh, United States. pp.450-455, ⟨10.18293/SEKE2017-119⟩. ⟨lirmm-01706084⟩
  • Christel Kapto, Ghizlane El Boussaidi, Sègla Kpodjedo, Chouki Tibermacine. Inferring Architectural Evolution from Source Code Analysis A tool-supported approach for the detection of architectural tactics. ECSA: European Conference on Software Architecture, Nov 2016, Copenhagen, Denmark. pp.149-165, ⟨10.1007/978-3-319-48992-6_11⟩. ⟨lirmm-01374249⟩
  • Zakarea Al-Shara, Abdelhak-Djamel Seriai, Chouki Tibermacine, Hinde Lilia Bouziane, Christophe Dony, et al.. Materializing Architecture Recovered from Object-Oriented Source Code in Component-Based Languages. ECSA: European Conference on Software Architecture, Nov 2016, Copenhagen, Denmark. pp.309-325, ⟨10.1007/978-3-319-48992-6_23⟩. ⟨lirmm-01374256⟩
  • Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem. Automatic Translation of Architecture Constraint Specifications into Components. ECSA: European Conference on Software Architecture, Sep 2015, Dubrovnik, Croatia. pp.322-338, ⟨10.1007/978-3-319-23727-5_27⟩. ⟨lirmm-01235454⟩
  • Okba Tibermacine, Chouki Tibermacine, Foudil Cherif. Regression-Based Bootstrapping of Web Service Reputation Measurement. ICWS: International Conference on Web Services, Jun 2015, New York, United States. pp.377-384, ⟨10.1109/ICWS.2015.57⟩. ⟨lirmm-01235445⟩
  • Zakarea Al-Shara, Abdelhak-Djamel Seriai, Chouki Tibermacine, Hinde Lilia Bouziane, Christophe Dony, et al.. Migrating Large Object-Oriented Applications into Component-Based Ones: Instantiation and Inheritance Transformation. GPCE: Generative Programming: Concepts and Experiences, Oct 2015, Pittsburgh, United States. pp.55-64, ⟨10.1145/2814204.2814223⟩. ⟨lirmm-01235461⟩
  • Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony. Traduction de spécifications de contraintes d'architecture en composants exécutables. CAL: Conférence sur les Architectures Logicielles, May 2015, Hammamet, Tunisie. ⟨lirmm-01235417⟩
  • Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony. Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs. SERA: Software Engineering Research, Management and Applications, May 2015, Hammamet, Tunisia. pp.213-226, ⟨10.1007/978-3-319-23509-7_15⟩. ⟨lirmm-01235422⟩
  • Tarek Zernadji, Chouki Tibermacine, Foudil Cherif. Quality-Driven Design of Web Service Business Processes. WETICE: Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprise, Jun 2014, Parma, Italy. pp.110-112, ⟨10.1109/WETICE.2014.47⟩. ⟨lirmm-02124407⟩
  • Tarek Zernadji, Chouki Tibermacine, Foudil Cherif. Processing the Evolution of Quality Requirements of Web Service Orchestrations: A Pattern-Based Approach. WICSA: Working International Conference on Software Architecture, Apr 2014, Sydney, Australia. pp.139-142, ⟨10.1109/WICSA.2014.35⟩. ⟨lirmm-00977367v2⟩
  • Sahar Kallel, Chouki Tibermacine, Mohamed Reda Skay, Christophe Dony, Ahmed Hadj Kacem. Génération de méta-programmes Java à partir des contraintes architecturales OCL. CIEL: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. ⟨lirmm-01104181⟩
  • Petr Spacek, Christophe Dony, Chouki Tibermacine. A Component-based meta-level architecture and prototypical implementation of a reflective Component-based Programming and Modeling language. CBSE: Component-Based Software Engineering, Jun 2014, Lille, France. pp.13-22, ⟨10.1145/2602458.2602476⟩. ⟨lirmm-01104167⟩
  • Petr Spacek, Christophe Dony, Chouki Tibermacine, Luc Fabresse. Wringing out objects for programming and modeling component-based systems. COOMPL: Combined Object-Oriented Modeling and Programming Languages, Jul 2013, Montpellier, France. ⟨10.1145/2493187.2493189⟩. ⟨lirmm-01237144⟩
  • Thibaut Possompès, Christophe Dony, Marianne Huchard, Chouki Tibermacine. Model-Driven Generation of Context-Specific Feature Models. SEKE: Software Engineering and Knowledge Engineering, Jun 2013, Boston, United States. pp.250-255. ⟨lirmm-00918263⟩
  • Chouki Tibermacine, Mohamed Lamine Kerdoudi. Migrating Component-Based Web Applications to Web Services: Towards Considering a "Web Interface as a Service". ICWS'12: 10th International Conference on Web Services, Jun 2012, United States. pp.8. ⟨lirmm-00700340⟩
  • Petr Spacek, Christophe Dony, Chouki Tibermacine, Luc Fabresse. An Inheritance System for Structural & Behavioral Reuse in Component-based Software Programming. GPCE: Generative Programming and Component Engineering, Sep 2012, Dresden, Germany. pp.60-69. ⟨lirmm-00806830⟩
  • Chouki Tibermacine, Salah Sadou, Christophe Dony, Luc Fabresse. Component-Based Specification of Software Architecture Constraints. CBSE: Component-Based Software Engineering, Jun 2011, Boulder, Colorado, United States. ⟨lirmm-00596332⟩
  • Chouki Tibermacine, Mohamed Lamine Kerdoudi. Migration d'applications à base de composants Web en services et orchestration de services Web. 5ème Conférence Francophone sur les Architectures Logicielles, Jun 2011, Lille, France. pp.10. ⟨lirmm-00596326⟩
  • Chouki Tibermacine, Tarek Zernadji. Supervising the Evolution of Web Service Orchestrations using Quality Requirements. ECSA'11: 5th European Conference on Software Architecture, Sep 2011, Essen, Germany. pp.16. ⟨lirmm-00596338⟩
  • Thibaut Possompès, Christophe Dony, Marianne Huchard, Chouki Tibermacine. Design of a UML profile for feature diagrams and its tooling implementation. Software Engineering & Knowledge Engineering, Jul 2011, Miami Beach, Florida, United States. pp.693-698. ⟨hal-00570268v2⟩
  • Zeina Azmeh, Maha Driss, Fady Hamoui, Marianne Huchard, Naouel Moha, et al.. Selection of Composable Web Services Driven by User Requirements. ICWS'11: 9th IEEE International Conference on Web Services - Applications and Experiences Track, Jul 2011, Washington DC, United States. pp.8. ⟨lirmm-00596346⟩
  • Thibaut Possompès, François Briant, Christophe Dony, Marianne Huchard, Chouki Tibermacine. Diagramme de Features, adaptation par transformation dans le contexte des bâtiments intelligents. Journée Lignes de Produits, France. pp.N/A. ⟨lirmm-00635159⟩
  • Zeina Azmeh, Fady Hamoui, Marianne Huchard, Nizar Messai, Chouki Tibermacine, et al.. Backing Composite Web Services Using Formal Concept Analysis. ICFCA: International Conference on Formal Concept Analysis, May 2011, Nicosia, Cyprus. pp.26-41, ⟨10.1007/978-3-642-20514-9_4⟩. ⟨lirmm-00576502⟩
  • Thibaut Possompès, Christophe Dony, Marianne Huchard, Hervé Rey, Chouki Tibermacine, et al.. A UML Profile for Feature Diagrams: Initiating a Model Driven Engineering Approach for Software Product Lines. Journée Lignes de Produits, France. pp.59-70. ⟨lirmm-00542800⟩
  • Zeina Azmeh, Jean-Rémy Falleri, Marianne Huchard, Chouki Tibermacine. Automatic Web Service Tagging Using Machine Learning and WordNet Synsets. WEBIST'10: 6th International Conference on Web Information Systems and Technologies, Apr 2010, Valencia, Spain. pp.46-59, ⟨10.1007/978-3-642-22810-0⟩. ⟨lirmm-00616669⟩
  • Chouki Tibermacine, Soraya Sakhraoui, Vincent Le Gloahec, Régis Fleurquin, Salah Sadou. Towards an Automation of Software Evolution Good Practices. SEKE'10: Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering, 2010, Redwood City, USA, United States. pp.1-6. ⟨inria-00504663⟩
  • Thibaut Possompès, Christophe Dony, Marianne Huchard, Hervé Rey, Chouki Tibermacine, et al.. Towards Software Product Lines Application in the Context of a Smart Building Project. Model-driven Product Line Engineering, France. pp.73-84. ⟨lirmm-00494953⟩
  • Jean-Rémy Falleri, Zeina Azmeh, Marianne Huchard, Chouki Tibermacine. Automatic Tag Identification in Web Service Descriptions. WEBIST'10: The International Conference on Web Information Systems and Technology, Spain. pp.8. ⟨lirmm-00533070⟩
  • Chouki Tibermacine, Christophe Dony, Salah Sadou, Luc Fabresse. Software Architecture Constraints as Customizable, Reusable and Composable Entities. ECSA: European Conference on Software Architecture, Aug 2010, Copenhague, Denmark. pp.120-124. ⟨hal-00511268⟩
  • Zeina Azmeh, Marianne Huchard, Chouki Tibermacine, Christelle Urtado, Sylvain Vauttier. Using Concept Lattices to Support Web Service Compositions with Backup Services. ICIW 2010: International Conference on Internet and Web Applications and Services, May 2010, Barcelona, Spain. pp.363-368, ⟨10.1109/ICIW.2010.60⟩. ⟨lirmm-00533196⟩
  • Nour Alhouda Aboud, Gabriela Arévalo, Jean-Rémy Falleri, Marianne Huchard, Chouki Tibermacine, et al.. Automated Architectural Component Classification Using Concept Lattices. WICSA 2009 : Joint Working IEEE/IFIP Conference on Software Architecture 2009 & European Conference on Software Architecture 2009, Sep 2009, pp.10. ⟨lirmm-00415739⟩
  • Reda Kadri, Chouki Tibermacine, Régis Fleurquin, Salah Sadou, François Merciol. AlkoWeb: Un outil pour modéliser l'architecture des applications Web riches. CAL'08: 2ème Conférence Francophone sur les Architectures Logicielles, Mar 2008, Montréal, Canada, pp.12. ⟨lirmm-00199033⟩
  • Zeina Azmeh, Marianne Huchard, Chouki Tibermacine, Christelle Urtado, Sylvain Vauttier. WSPAB: A Tool for Automatic Classification and Selection of Web Services Using Formal Concept Analysis. 6th European Conference on Web Services (ECOWS), Nov 2008, Dublin, Ireland. pp.31-40, ⟨10.1109/ECOWS.2008.27⟩. ⟨lirmm-00533065⟩
  • Christophe Dony, Chouki Tibermacine, Christelle Urtado, Sylvain Vauttier. Specification of an Exception Handling System for a Replicated Agent Environment. WEH'08: 4th International Workshop on Exception Handling, Nov 2008, Atlanta, Georgia, USA, pp.9. ⟨lirmm-00322415⟩
  • Reda Kadri, Chouki Tibermacine, Vincent Le Gloahec. Building the Presentation-Tier of Rich Web Applications with Hierarchical Components. The 8th International Conference on Web Information Systems Engineering, Dec 2007, Nancy, France. pp.001-012. ⟨lirmm-00199027⟩
  • Chouki Tibermacine, Didier Hoareau, Reda Kadri. Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software. FASE: Fundamental Approaches to Software Engineering, Mar 2007, Braga, Portugal. pp.140-154, ⟨10.1007/978-3-540-71289-3⟩. ⟨hal-00502388⟩
  • Chouki Tibermacine, Didier Hoareau, Reda Kadri. Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software. FASE: Fundamental Approaches to Software Engineering, Mar 2007, Braga, Portugal. pp.140-154. ⟨hal-00519179⟩
  • Chouki Tibermacine, Régis Fleurquin, Salah Sadou. Simplifying transformation of software architecture constraints. ACM symposium on Applied computing, Apr 2006, Dijon, France. pp.1240-1244. ⟨hal-00498769⟩
  • Chouki Tibermacine, Régis Fleurquin, Salah Sadou. On-Demand Quality-Oriented Assistance in Component-Based Software Evolution. CBSE: Component-Based Software Engineering, Jun 2006, Västerås, Sweden. pp.294-309, ⟨10.1007/11783565_21⟩. ⟨hal-00499531⟩
  • Didier Hoareau, Chouki Tibermacine. Component Deployment Evolution Driven by Architecture Patterns and Resource Requirements. Third European Workshop on Software Architecture, Sep 2006, Nantes, France. pp.236-243, ⟨10.1007/11966104_19⟩. ⟨hal-00502389⟩
  • Chouki Tibermacine, Régis Fleurquin, Salah Sadou. Preserving Architectural Choices throughout the Component-based Software Development Process. 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), Nov 2005, pittsburgh, United States. pp.121 - 130. ⟨hal-00498776⟩
  • Chouki Tibermacine, Régis Fleurquin, Salah Sadou. NFRs-aware architectural evolution of component-based software. 20th IEEE/ACM international Conference on Automated software engineering, Nov 2005, Long Beach, United States. pp.388-391. ⟨hal-00498771⟩
  • Régis Fleurquin, Chouki Tibermacine, Salah Sadou. Le contrat d'évolution d'architectures : un outil pour le maintien de propriétés non fonctionnelles. Langages et Modèles à Objets, Jan 2005, Bern, Suisse. pp.209-222. ⟨hal-00514824⟩

Poster communications1 document

  • Chouki Tibermacine, Mohamed Lamine Kerdoudi. From Web Components to Web Services: Opening Development for Third Parties. ECSA'10: The 4th European Conference on Software Architecture, Denmark. pp.4, 2010. ⟨lirmm-00533190⟩

Book sections3 documents

  • Chouki Tibermacine. Software Architecture: Architecture Constraints. Mourad Oussalah. Software Architecture: principles, techniques and tools, Chapter 2, John Wiley & Sons 2014, 2014, 9781848216884. ⟨lirmm-01104185⟩
  • Tarek Zernadji, Chouki Tibermacine, Régis Fleurquin, Salah Sadou. Assistance à l’évolution du logiciel dirigée par la qualité. Évolution et maintenance des systèmes logiciels, 2014, Chapitre 9, 9782746245549. ⟨lirmm-01104196⟩
  • Chouki Tibermacine. Architectures logicielles : contraintes d'architecture. Hermes Sciences-Lavoisier. Architectures logicielles : Principes, techniques et outils, A Paraitre (49 p.), 2013, Chapitre 2. ⟨lirmm-00907475⟩

Other publications1 document

  • Gabriela Arévalo, Zeina Azmeh, Marianne Huchard, Chouki Tibermacine, Christelle Urtado, et al.. Components and Service Farms. 2010. ⟨lirmm-00534898⟩

Reports6 documents

  • Petr Spacek, Christophe Dony, Chouki Tibermacine, Luc Fabresse. Bridging the Gap between Component-based Design and Implementation with a Reflective Programming Language. RR-13028, 2013. ⟨lirmm-00862477⟩
  • Tu Minh Ton That, Chouki Tibermacine, Salah Sadou. Catalogue of architectural patterns characterized by constraint components, Version 1.0. 2013. ⟨hal-00844514⟩
  • Christophe Dony, Selma Kchir, Chouki Tibermacine, Christelle Urtado, Sylvain Vauttier, et al.. Combining Exception Handling and Replication for Improving the Reliability of Agent Software. RR-11009, 2010, pp.10. ⟨lirmm-00576934⟩
  • Zeina Azmeh, Driss Maha, Marianne Huchard, Moha Naouel, Chouki Tibermacine. QoS-Driven Selection of Composable Web Services. RR-11005, 2010. ⟨lirmm-00565357⟩
  • Zeina Azmeh, Marianne Huchard, Nizar Messai, Chouki Tibermacine, Christelle Urtado, et al.. Many-Valued Concept Lattices for Backing Composite Web Services. RR-11002, 2010. ⟨lirmm-00557258⟩
  • Zeina Azmeh, Christophe Dony, Chouki Tibermacine, Christelle Urtado, Sylvain Vauttier. Exception Handling in a Replicated Agent Environment. 2008. ⟨lirmm-00293673⟩

Theses1 document

  • Chouki Tibermacine. Contractualisation de l'évolution architecturale de logiciels à base de composants : Une approche pour la préservation de la qualité. Génie logiciel [cs.SE]. Université de Bretagne Sud, 2006. Français. ⟨tel-00512361⟩