Number of documents

9

Christelle Urtado


PhD, HDR in Software Engineering

Associate Professor @ LGI2P, IMT Mines Ales, Univ Montpellier, France


2014   

Journal articles1 document

Directions of work or proceedings1 document

  • Marie-Agnès Peraldi-Frati, Christelle Urtado. CIEL 2014 : Conférence en IngénieriE du Logiciel. Marie-agnès Peraldi-Frati Christelle Urtado. Conférence en Ingénierie du logiciel, Jun 2014, Paris, France. pp.158, 2014, Actes de la troisième édition de CIEL 2014, ⟨http://ciel2014.i3s.unice.fr/⟩. ⟨hal-01094542⟩

Conference papers7 documents

  • Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Zhang Huaxi Yulin. Formal rules for reliable component-based architecture evolution. FACS: Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. pp.127-142, ⟨10.1007/978-3-319-15317-9_8⟩. ⟨hal-01245857⟩
  • Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Huaxi Yulin Zhang. A three-level formal model for software architecture evolution. SATToSE: Seminar on Advanced Techniques and Tools for Software Evolution, Jul 2014, L'Aquila, Italy. ⟨hal-01244438⟩
  • Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Zhang Huaxi Yulin. Fostering component reuse: automating the coherence verification of multi-level architecture descriptions. ICSEA: International Conference on Software Engineering Advances, Oct 2014, Nice, France. pp.416-421. ⟨hal-01245917⟩
  • Ra'Fat Ahmad Al-Msie'Deen, Abdelhak-Djamel Seriai, Marianne Huchard, Christelle Urtado, Sylvain Vauttier. Documenting the Mined Feature Implementations from the Object-oriented Source Code of a Collection of Software Product Variants. SEKE: Software Engineering and Knowledge Engineering, Knowledge Systems Institute, Jul 2014, Vancouver, Canada. pp.138-143. ⟨lirmm-01003860⟩
  • Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Zhang Huaxi Yulin. Modélisation et vérification formelles en B d’architectures logicielles à trois niveaux. CIEL: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.71-77. ⟨hal-01244431⟩
  • Ra'Fat Ahmad Al-Msie'Deen, Marianne Huchard, Abdelhak-Djamel Seriai, Christelle Urtado, Sylvain Vauttier. Reverse Engineering Feature Models from Software Configurations using Formal Concept Analysis. CLA: Concept Lattices and their Applications, Ondrej Krídlo, Oct 2014, Košice, Slovakia. pp.95-106. ⟨hal-01075524⟩
  • Ra'Fat Ahmad Al-Msie'Deen, Marianne Huchard, Abdelhak-Djamel Seriai, Christelle Urtado, Sylvain Vauttier. Concept lattices: a representation space to structure software variability. ICICS: International Conference on Information and Communication Systems, Apr 2014, Irbid, Jordan. ⟨10.1109/IACS.2014.6841949⟩. ⟨lirmm-00981467⟩