Search - Archive ouverte HAL Access content directly

Filter your results

10 Results
Structure: Internal structure identifier : 1001838
Image document

An integrated model-based early validation approach for railway systems

Ronan Baduel
Other [cs.OH]. Université Toulouse le Mirail - Toulouse II, 2019. English. ⟨NNT : 2019TOU20083⟩
Theses tel-03012187v2
Image document

Modélisation des systèmes complexes et Points de vue : l’Ingénierie des Modèles centrée utilisateur pour l’Ingénierie Système

Sophie Ebersold
Modélisation et simulation. Université de Toulouse, 2021
Habilitation à diriger des recherches tel-03201997v1
Image document

Une approche IDM pour l’alignement collaboratif de modèles hétérogènes

Saloua Bennani
Autre [cs.OH]. Université Toulouse le Mirail - Toulouse II; Université Mohammed V (Rabat), 2020. Français. ⟨NNT : 2020TOU20029⟩
Theses tel-03267969v1
Image document

Seamless development of complex systems : a multirequirements approach

Florian Galinier
Software Engineering [cs.SE]. Université Paul Sabatier - Toulouse III, 2021. English. ⟨NNT : 2021TOU30130⟩
Theses tel-03599456v1
Image document

Seamless Object-Oriented Requirements

Alexandr Naumchev
Software Engineering [cs.SE]. Université Paul Sabatier - Toulouse III, 2019. English. ⟨NNT : 2019TOU30132⟩
Theses tel-02872242v1
Image document

Mise en correspondance et gestion de la cohérence de modèles hétérogènes évolutifs

Mahmoud El Hamlaoui
Ingénierie assistée par ordinateur. Université Toulouse le Mirail - Toulouse II; Université Mohammed V (Rabat), 2015. Français. ⟨NNT : 2015TOU20042⟩
Theses tel-01323020v1
Image document

Modélisation centrée utilisateur pour la configuration logicielle en environnement ambiant

Maroun Koussaifi
Interface homme-machine [cs.HC]. Université Paul Sabatier - Toulouse III, 2020. Français. ⟨NNT : 2020TOU30212⟩
Theses tel-03209249v2
Image document

Méthodologie de conception de systèmes de simulations en entreprise étendue, basée sur l'ingénierie système dirigée par les modèles

Renan Leroux-Beaudout
Système d'exploitation [cs.OS]. Université Paul Sabatier - Toulouse III, 2020. Français. ⟨NNT : 2020TOU30089⟩
Theses tel-03098563v1
Image document

Modélisation et exécution flexible de processus collaboratifs

Mamadou Lakhassane Cisse
Autre [cs.OH]. Université Toulouse le Mirail - Toulouse II; Université Cheikh Anta Diop (Dakar), 2020. Français. ⟨NNT : 2020TOU20038⟩
Theses tel-03280101v2
Image document

Ingénierie des sytèmes sécurisés : patrons, modèles et analyses

Anas Motii
Networking and Internet Architecture [cs.NI]. Université Paul Sabatier - Toulouse III, 2017. English. ⟨NNT : 2017TOU30274⟩
Theses tel-01948329v1