• Filtres
• Structure : Identifiant HAL de la structure  ×
• Mots-clés  ×
• Tous  ×

33 résultats  enregistrer la recherche

 Rechercher

 Recherche avancée…  Recherche simple…

 

Champ de recherche par défaut (multicritères) 

• Champ de recherche par défaut (multicritères)
• Champ de recherche par défaut (multicritères) + texte intégral des PDF
• Titres
• Sous-titre
• Titre de l'ouvrage
• Résumé
• Texte intégral indexé des documents PDF
• Mots-clés
• Tous les identifiants du document
• Identifiant HAL du dépôt
• Langue du document (texte)
• Pays (Texte)
• Ville
• Auteur (multicritères)
• Auteur : Nom complet
• Auteur : Nom de famille
• Auteur : Prénom
• Auteur : Complément de nom, deuxième prénom
• Auteur : Organisme payeur
• Auteur : IdHal (chaîne de caractères)
• Auteur : Fonction
• Auteur : idHal numérique
• Auteur : Identifiant
• Auteur : Identifiant de l'organisme payeur
• Auteur : Identifiant de la structure
• Directeur de thèse
• Éditeur
• Éditeur scientifique
• Éditeur de la série
• Revues (multicritères)
• Revue : Éditeur
• Revue : Titre abrégé
• Revue : Titre
• Revue : Identifiant interne
• Revue : Date de début de publication
• Revue : ISSN électronique
• Revue : ISSN
• Revue : Éditeur
• Revue : Couleur dans SHERPA/RoMEO
• Revue : État dans le référentiel
• Colloque (multicritères)
• Colloque : Titre
• Colloque : Organisateur
• Colloque : date de début (Année)
• Colloque : date de fin (Année)
• Projets ANR (multicritères)
• Projet ANR : Acronyme
• Projet ANR : Acronyme de l'appel à projet
• Projet ANR : Nom de l'appel à projet
• Projet ANR : Référence
• Projet ANR : Nom
• Projet ANR : Identifiant interne
• Projet ANR : État dans le référentiel
• Projets européens (multicritères)
• Projet européen : Acronyme
• Projet européen : Identifiant de l'appel à projet
• Projet européen : Référence
• Projet européen : Nom
• Projet européen : Date de fin
• Projet européen : Financement
• Projet européen : Date de début
• Projet européen : État dans le référentiel
• Projet européen : Identifiant interne
• Structure (multicritères)
• Structure : Acronyme
• Structure : Nom
• Structure : Code
• Structure : Pays
• Structure : Type
• Structure : État dans le référentiel
• Structure : Identifiant HAL de la structure
• Date de publication : année
• Date de mise en ligne : année
• Date d'écriture : année
• Date de modification du dépôt : année
• Date de dépôt : année
• Date de publication électronique : année
• Collection HAL (multicritères)
• Collection HAL : catégorie
• Collection HAL : Code
• Collection HAL : Nom
• Collection HAL : Identifiant interne
• Identifiant interne du contributeur/déposant
• Nom complet du contributeur/déposant
• Domaines
• Domaine primaire
• Domaine racine
• Sous-domaine niveau 1
• Sous-domaine niveau 2
• Sous-domaine niveau 3
• Statut du document
• Version du document
• Type de dépôt
• Type de document
• ISBN
• Numéro - référence
• Identifiant DOI
• Classification
• Audience
• Vulgarisation
• Comité de lecture - texte (oui ou non)
• Actes de colloque
• Référence interne
• Financement
• Collaborations

 

	1 2	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 33 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	tel-00156376v1  Thèse Pierre-André Caron. Ingénierie dirigée par les modèles pour la construction de dispositifs pédagogiques sur des plateformes de formation Autre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2007. Français
	tel-00923811v1  Thèse Tam Le Nhan. Model-Driven Software Engineering for Virtual Machine Images Provisioning in Cloud Computing Software Engineering [cs.SE]. Université Rennes 1, 2013. English
	tel-00646893v1  Thèse Mickaël Clavreul. Model and Metamodel Composition: Separation of Mapping and Interpretation for Unifying Existing Model Composition Techniques Software Engineering [cs.SE]. Université Rennes 1, 2011. English
	tel-00852361v1  Thèse Chiraz Trabelsi. Contrôle matériel des systèmes partiellement reconfigurables sur FPGA : de la modélisation à l'implémentation Systèmes embarqués. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
	tel-00527894v2  Thèse Mouna Baklouti. Méthode de conception rapide d'architecture massivement parallèle sur puce : de la modélisation à l'expérimentation sur FPGA Informatique [cs]. Université Lille 1 Sciences et Technologies; École Nationale d'Ingénieurs de Sfax, 2010. Français
	tel-00497248v1  Thèse Yu Huafeng. A MARTE-Based Reactive Model for Data-Parallel Intensive Processing: Transformation Toward the Synchronous Model Modeling and Simulation. Université des Sciences et Technologie de Lille - Lille I, 2008. English
	tel-00843874v1  Thèse Russel Nzekwa. Building manageable autonomic control loops for large scale systems Software Engineering [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2013. English
	tel-00156874v1  Thèse César Moura. Conceiving and Implementing a language-oriented approach for the design of automated learning scenarios Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2007. Français
	tel-00511595v1  HDR Régis Fleurquin. Des langages pour améliorer le développement et la maintenance des logiciels à base de composants Génie logiciel [cs.SE]. Université de Bretagne Sud; Université Européenne de Bretagne, 2010
	tel-01263709v1  Thèse Benjamin Camus. Environnement Multi-agent pour la Multi-modélisation et Simulation des Systèmes Complexes Modélisation et simulation. Université de Lorraine, 2015. Français
	tel-00597031v1  Thèse Adolf Samir Abdallah. Conception de SoC à Base d'Horloges Abstraites : Vers l'Exploration d'Architectures en MARTE Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 2011. Français
	tel-00998248v1  Thèse Sana Cherif. Approche basée sur les modèles pour la conception des systèmes dynamiquement reconfigurables : de MARTE vers RecoMARTE Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
	tel-00935324v1  Thèse Amen Souissi. Modélisation centrée sur les processus métier pour la génération complète de portails collaboratifs Ingénierie assistée par ordinateur. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
	tel-01427197v1  Thèse Amine Benelallam. Model transformation on distributed platforms : decentralized persistence and distributed processing Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2016. English. < NNT : 2016EMNA0288 >
	tel-00322195v2  Thèse Sébastien Le Beux. Un flot de conception pour applications de traitement du signal systématique implémentées sur FPGA à base d'Ingénierie Dirigée par les Modèles Autre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2007. Français
	tel-00668953v1  Thèse Carlos Noguera. Un ensemble d'outils orientés modèle pour développer et valider des cadres logiciels à base d'annotations Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2008. Français
	tel-00941881v1  Thèse Nicolas Sannier. INCREMENT une approche hybride pour modéliser et analyser dans le large les exigences réglementaires de sûreté Génie logiciel [cs.SE]. Université Rennes 1, 2013. Français
	tel-00626698v2  Thèse Julien Bigot. Du support générique d'opérateurs de composition dans les modèles de composants logiciels, application au calcul à haute performance. Modélisation et simulation. INSA de Rennes, 2010. Français
	tel-00767040v1  Thèse Jean-François Le Tallec. Extraction de modèles pour la conception de systèmes sur puce Systèmes embarqués. Université Nice Sophia Antipolis, 2012. Français
	tel-00978732v1  Thèse Fahad Rafique Golra. A Refinement based methodology for software process modeling Software Engineering [cs.SE]. Télécom Bretagne, Université de Rennes 1, 2014. English
	tel-01127500v1  Thèse João Bosco Ferreira Filho. Leveraging model-based product lines for systems engineering Software Engineering [cs.SE]. Université Rennes 1, 2014. English. < NNT : 2014REN1S080 >
	tel-01092342v1  Thèse Hamza Samih. Test basé sur les modèles appliqué aux lignes de produits Informatique. Université Rennes 1, 2014. Français. < NNT : 2014REN1S109 >
	tel-01427009v2  Thèse Thomas Degueule. Composition and Interoperability for External Domain-Specific Language Engineering Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2016. English
	tel-01229874v1  Thèse Arnaud Lefray. Security for Virtualized Distributed Systems : from Modelization to Deployment Modeling and Simulation. Ecole normale supérieure de lyon - ENS LYON, 2015. English. < NNT : 2015ENSL1032 >
	tel-01065944v1  Thèse Salvador Martinez. Automatic reconstruction and analysis of security policies from deployed security components Systems and Control [cs.SY]. Ecole des Mines de Nantes, 2014. English. < NNT : 2014EMNA0193 >
	tel-00984763v1  Thèse Valerio Cosentino. A model-based approach for extracting business rules out of legacy information systems Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2013. English. < NNT : 2013EMNA0138 >
	tel-01208083v1  Thèse Marc Sango. Traceability of Concerns and Observer-Based Verification for Railway Safety-Critical Software Software Engineering [cs.SE]. Université de Lille 1, 2015. English
	tel-01127277v1  Thèse Carlos Alberto Gonzalez Perez. Pragmatic model verification Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2014. English. < NNT : 2014EMNA0189 >
	tel-01127070v1  Thèse Alessandro Ferreira Leite. A user-centered and autonomic multi-cloud architecture for high performance computing applications Computer Aided Engineering. Université Paris Sud - Paris XI, 2014. English. < NNT : 2014PA112355 >
	tel-01061129v1  Thèse Emmanuelle Rouillé. Gestion de la variabilité et automatisation des processus de développement logiciel Génie logiciel [cs.SE]. Université Rennes 1, 2014. Français. < NNT : 2014REN1S022 >
	1 2	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 33 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM