Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe MACAO > Publications

Publications

MACAO

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Livres (monographies) / Books (monographs)

Ouvrages de synthèse / Edited volumes

Numéros spéciaux de revues / Special issues of journal

Actes de conférences et de workshops / Conference proceedings

Articles de revues internationales / International journal papers

Articles de revues nationales / National journal papers

Contributions à des ouvrages de synthèse / Book chapters

Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers

Conférences sans actes publiés / Conference papers without published proceedings

Rapports / Reports

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Jacob Geisel. An Approach to Modeling Repository-Centric Secure Software Engineering Processes. Thèse de doctorat, Université Paul Sabatier, septembre 2015.
    Résumé
    BibTeX

  • Mahmoud El Hamlaoui. Mise en correspondance et gestion de la cohérence de modèles hétérogènes évolutifs. Thèse de doctorat, Université de Toulouse, septembre 2015.
    Accès : https://www.irit.fr/publis/MACAO/These_EL HAMLAOUI_Mahmoud.pdf
    BibTeX

  • Iulia Dragomir. Contract-based Modeling and Verification of Timed Safety Requirements for System Design in SysML. Thèse de doctorat, Université Paul Sabatier, décembre 2014.
    Résumé
    BibTeX

  • Manzoor Ahmad. Modeling and Verification of Functional and Non Functional Requirements of Ambient, Self-Adaptive Systems. Thèse de doctorat, Université de Toulouse, octobre 2013.
    Résumé
    BibTeX

  • Adel Ziani. Modeling of Secure Dependable (S&D) applications based on patterns for Resource-Constrained Embedded Systems (RCES). Thèse de doctorat, Université de Toulouse-le-Mirail, septembre 2013.
    Résumé
    BibTeX

  • Rahma Bouaziz. Processus IDM pour l'intégration des patrons de sécurité dans les applications à base de composants. Thèse de doctorat, Université de Toulouse-le-Mirail, décembre 2013.
    BibTeX

  • Fatma Krichen. Architectures logicielles à composants reconfigurables pour les systèmes Temps Réel Répartis Embarqués (TR²E). Thèse de doctorat, Université de Toulouse-le-Mirail, septembre 2013.
    BibTeX

  • Komlan Akpédjé Kedji. Définition et mise en œuvre de procédés IDM collaboratifs. Thèse de doctorat, Université de Toulouse-le-Mirail, juillet 2013.
    BibTeX

  • El Arbi Aboussoror. Méthodes de diagnostic avancées dans la validation formelle des modèles. Thèse de doctorat, Université Paul Sabatier, septembre 2013.
    Résumé
    BibTeX

  • Marc Palyart. Une approche basée sur les modèles pour le développement d'applications de simulation numérique haute-performance. Thèse de doctorat, Université Paul Sabatier, décembre 2012.
    Résumé
    BibTeX

  • Samba Diaw. SPEM4MDE : Un métamodèle et un environnement pour la modélisation et la mise en oeuvre assistée de processus IDM. Thèse de doctorat, Université de Toulouse-le-Mirail, octobre 2011.
    BibTeX

  • Thanh Thanh Le Thi. Modélisation en UML/OCL des Langages de Programmation et de leurs Propriétés, et Processus IDM. Thèse de doctorat, Université Paul Sabatier, septembre 2011.
    BibTeX

  • Bastien Amar. Traçabilité des transformations et coévolution de modèles : une approche par les aspects et la composition. Thèse de doctorat, Université Paul Sabatier, octobre 2011.
    BibTeX

  • Iulian Ober. Observer pour vérifier, contraindre et interagir. Applications de l'observation à la construction et à la validation des systèmes logiciels. Habilitation à diriger des recherches, Université de Toulouse-le-Mirail, décembre 2010.
    BibTeX

  • Hong-Viet Luong. Construction incrémentale de spécifications de systèmes critiques intégrant des procédures de vérification. Thèse de doctorat, Université Paul Sabatier, octobre 2010.
    BibTeX

  • Ileana Ober. Modélisation, formalisation et techniques métier. Applications au développement de systèmes hétérogènes et temps-réel. Habilitation à diriger des recherches, Université Paul Sabatier, novembre 2010.
    BibTeX

  • Younes Lakhrissi. Intégration de la modélisation comportementale dans la conception par points de vue. Thèse de doctorat, Université de Toulouse-le-Mirail, juillet 2010.
    Accès : https://www.irit.fr/publis/MACAO/TheseLakhrissi [02-07-2010].pdf
    BibTeX

  • Cédric Bouhours. Détection, Explications et Restructuration de défauts de conception : les patrons abîmés. Thèse de doctorat, Université de Toulouse, février 2010.
    Accès : http://bouhours.cedric.free.fr/publications/PhD.pdf
    BibTeX

  • Ali Abou Dib. Une approche formelle de l'interopérabilité pour une famille de langages dédiés. Thèse de doctorat, Université Paul Sabatier, décembre 2009.
    Résumé
    BibTeX

  • Adil Anwar. Formalisation par une approche IDM de la composition de modèles dans le profil VUML. Thèse de doctorat, Université de Toulouse-le-Mirail, décembre 2009.
    Accès : https://www.irit.fr/publis/MACAO/These_Anwar_finale_11dec-2009.pdf
    BibTeX

  • Mohammed Kabbaj. Gestion des déviations lors de la mise en oeuvre des procédés logiciels. Thèse de doctorat, Université de Toulouse-le-Mirail, octobre 2009.
    Accès : https://www.irit.fr/publis/MACAO/These_Kabbaj_finale_25-10-2009.pdf
    BibTeX

  • Nicolas Ferry. Formalisation des modèles de la méthode Macao et réalisation d'un outil de génie logiciel pour la création d'interfaces homme machine. Thèse de doctorat, Université de Toulouse-le-Mirail, juin 2008.
    BibTeX

  • El Abbassia Deba. Transformation de modèles de données : Intégration de la métamodélisation et de l'approche grammaticale. Thèse de doctorat, Université Paul Sabatier, décembre 2007.
    BibTeX

  • Hanh Nhi Tran. Modélisation de procédés logiciels à base de patrons réutilisables. Thèse de doctorat, Université de Toulouse-le-Mirail, novembre 2007.
    Accès : https://www.irit.fr/publis/MACAO/TheseHNTran_nov2007.pdf
    BibTeX

  • Mahmoud Nassar. Analyse/conception par objets et points de vue : le profil VUML. Thèse de doctorat, Institut National Polytechnique de Toulouse, septembre 2005.
    BibTeX

  • May Dehayni. Une approche de la transformation de modèles fondée sur les grammaires attribuées. Thèse de doctorat, Université Paul Sabatier, juin 2004.
    BibTeX

  • Liana Razmerita. Modèle Utilisateur et Modélisation Utilisateur dans les systèmes de Gestion des connaissances : une approche fondée sur les ontologies. Thèse de doctorat, Université Paul Sabatier, décembre 2003.
    BibTeX

  • Hugues Cassé. Analyse des références mémoires en C par interprétation abstraite. Thèse de doctorat, Université Paul Sabatier, mars 2001.
    BibTeX

  • Ileana Ober. Harmonisation des langages de modélisation avec des extensions orientées-objet et une sémantique exécutable. Thèse de doctorat, Institut National Polytechnique de Toulouse, avril 2001.
    BibTeX

  • Salam Majoul. Etude et mise en oeuvre d'un modèle de coordination basé sur la réécriture. Thèse de doctorat, Université Paul Sabatier, décembre 2000.
    BibTeX

  • Redouane Lbath. Un système expert d'aide à la génération de séquences de test de systèmes digitaux complexes. Thèse de doctorat, Université d'Aix-Marseille III, juin 1987.
    BibTeX

  • Bernard Coulette. Logiciels croisés pour microprocesseurs. Thèse de doctorat, Université Paul Sabatier, juin 1982.
    BibTeX

Autres types de publications / Other publications