Search Results - "[INFO:INFO_SE] Computer Science/Software Engineering"

Une approche agile, fiable et minimale pour le maintien de la qualité de service lors de l'évolution d'applications à base de processus métiers

Authors: Feugas, Alexandre

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, QoS, évolution, Processus Métiers, Analyse d'impact, agilité, processus de développement

Availability: http://tel.archives-ouvertes.fr/tel-01073193
http://tel.archives-ouvertes.fr/docs/01/07/31/93/PDF/main.pdf

Formal verification of a synchronous data-flow compiler : from Signal to C

Authors: Ngô, Van Chan

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Formal verification, Translation validation, Validated Compiler, Synchronous Programs, Polychronous Models, Embedded systems, Safety-critical systems, Deadlock detection, Compilation, Polychrony, Dependency graphs, SMT solving, Value-graphs, Graph rewriting

Availability: http://tel.archives-ouvertes.fr/tel-01067477
http://tel.archives-ouvertes.fr/docs/01/06/74/77/PDF/NGO_Van_Chan.pdf

Vérification Formelle d'un Compilateur Synchrone: de Signal vers C

Authors: Ngo, Van Chan

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Vérification formelle, Validation de la traduction, Compilateur validé, Programmes synchrones, Modèles polychrones, Systèmes embarqués, Systèmes critiques, Détection des blocages, Compilation, Polychrony, Graphiques de dépendance, SMT solving, Valeur-graphiques, Graphique réécriture

Availability: http://tel.archives-ouvertes.fr/tel-01058041
http://tel.archives-ouvertes.fr/docs/01/05/80/41/PDF/chan_thesis_full.pdf

Construction de lignes de produits logiciels par rétro-ingénierie de modèles de caractéristiques à partir de variantes de logiciels: l'approche REVPLINE

Authors: Al-Msie'Deen, Ra'Fat

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Ingénierie des lignes de produits, variante de logiciel, réingénierie, identification de caractéristique, modèle de caractéristiques, variabilité, Analyse Formelle de Concepts, Indexation Sémantique Latente, Analyse Relationnelle de Concepts, documentation de caractéristiques, compréhension du code, diagramme de cas d'utilisation

Availability: http://tel.archives-ouvertes.fr/tel-01015102
http://tel.archives-ouvertes.fr/docs/01/01/51/02/PDF/thesis.pdf

soCloud : une plateforme multi-nuages distribuée pour la conception, le déploiement et l'exécution d'applications distribuées à large échelle

Authors: Paraiso, Fawaz

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Informatique en nuage, Multi-nuages, Applications réparties, Plateforme en tant que Service, Portabilité, Approvisionnement, Élasticité, Haute disponibilité, Architecture orientée services, Modèle à composants, Langage dédié

Availability: http://tel.archives-ouvertes.fr/tel-01009918
http://tel.archives-ouvertes.fr/docs/01/01/51/74/PDF/paraiso-thesis.pdf
http://tel.archives-ouvertes.fr/docs/01/01/51/74/ANNEX/paraiso-presentation.pdf

CO-OVM: Une approche pratique pour la modélisation de la variabilité en Ingénierie Système

Authors: Dumitrescu, Cosmin

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Ingénierie Système à Base des Modèles, reutilisation, Ingénierie des Lignes de Produits

Availability: http://tel.archives-ouvertes.fr/tel-01011186
http://tel.archives-ouvertes.fr/docs/01/01/11/86/PDF/thesis.pdf

Analyse de dépendances ML pour les évaluateurs de logiciels critiques.

Authors: Benayoun, Vincent

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Analyse de dépendances, Logiciels critiques, Langages fonctionnels, Coq, Preuve de correction, Analyse statique, Interprétation abstraite

Availability: http://tel.archives-ouvertes.fr/tel-01062785
http://tel.archives-ouvertes.fr/docs/01/06/27/85/PDF/ThA_se_-_BENAYOUN_-_Vincent.pdf

SECURITY AND SELF-HEALABILITY ENFORCEMENT OF DYNAMIC COMPONENTS IN A SERVICE-ORIENTED SYSTEM

Authors: Dan, Yufang

Subject Terms: [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Dynamique SOA, OSGi, Larva, Surveillance de l'exécution, Références rassis, Substitution, Logiciel d'auto-guérison

Availability: http://tel.archives-ouvertes.fr/tel-00994833
http://tel.archives-ouvertes.fr/docs/01/01/87/68/PDF/these-version_2.pdf

Gestion de la variabilité et automatisation des processus de développement logiciel

Authors: Rouillé, Emmanuelle

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Ingénierie informatique, Développement de logiciels, Ingénierie dirigée par les modèles

Availability: http://tel.archives-ouvertes.fr/tel-01061129
http://tel.archives-ouvertes.fr/docs/01/06/11/29/PDF/ROUILLE_Emmanuelle.pdf

Vers une meilleure compréhension de la consommation énergétique des systèmes logiciels

Authors: Noureddine, Adel

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, énergie, mesure, estimation, logiciel, application, code source

Availability: http://tel.archives-ouvertes.fr/tel-00961346
http://tel.archives-ouvertes.fr/docs/00/98/81/70/PDF/noureddine-thesis-2014.pdf

Cube : un framework décentralisé dirigé par l'architecture pour l'auto-gestion des logiciels

Authors: Debbabi, Bassem

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Informatique autosomique, Architecture logicielle, Framework, Génie Logiciel, Auto-gestion, Auto-adaptation, Auto-organisation

Availability: http://tel.archives-ouvertes.fr/tel-00951532
http://tel.archives-ouvertes.fr/docs/00/95/15/32/PDF/debbabi_thesis_final.pdf

Une méthode basée sur le raffinement pour la modélisation de processus

Authors: GOLRA, Fahad Rafique

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Process Modeling, Software Development, Metamodels, Model Driven Architecture, Process Refinement

Availability: http://tel.archives-ouvertes.fr/tel-00978732
http://tel.archives-ouvertes.fr/docs/00/97/87/32/PDF/2014tellb0304_Golra_Fahad.pdf

Approche basée sur les modèles pour la conception des systèmes dynamiquement reconfigurables : de MARTE vers RecoMARTE

Authors: Cherif, Sana

Subject Terms: [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [SPI:SIGNAL] Engineering Sciences/Signal and Image processing, [SPI:SIGNAL] Sciences de l'ingénieur/Traitement du signal et de l'image, [INFO:INFO_TS] Computer Science/Signal and Image Processing, [INFO:INFO_TS] Informatique/Traitement du signal et de l'image, UML MARTE, Modélisation haut-niveau, Ingénierie Dirigée par les Modèles, Flot de conception, Reconfiguration dynamique partielle, FPGA

Availability: http://tel.archives-ouvertes.fr/tel-00998248
http://tel.archives-ouvertes.fr/docs/00/99/82/48/PDF/these-SanaCHERIF-vf-bib.pdf

Le Débogage à Distance et la Réflexion dans les Dispositifs à Ressources Limitées

Authors: Papoulias, Nikolaos

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Débogage à distance, Reflexion, Miroirs, Interactivité, Instrumentation, Distribution, Sécurité, Développement Agile

Availability: http://tel.archives-ouvertes.fr/tel-00932796
http://tel.archives-ouvertes.fr/docs/00/93/27/96/PDF/Nikolaos_Papoulias_Remote_Debugging_and_Reflection_in_Resource_Constrained_Devices.pdf

Modélisation explicite de l'adaptation sémantique entre modèles de calcul

Authors: Doguy, Ayman

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Modélisation par composants. Modélisation multi-paradigme. Modèles de calcul. Adaptation sémantique. Calcul d'horloges

Availability: http://tel.archives-ouvertes.fr/tel-00935157
http://tel.archives-ouvertes.fr/docs/00/93/51/57/PDF/memoire.pdf

INCREMENT une approche hybride pour modéliser et analyser dans le large les exigences réglementaires de sûreté

Authors: Sannier, Nicolas

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_IR] Computer Science/Information Retrieval, [INFO:INFO_IR] Informatique/Recherche d'information, Ingénierie des exigences, exigences réglementaires, ingénierie dirigée par les modèles, recherche d'information, traçabilité

Availability: http://tel.archives-ouvertes.fr/tel-00941881
http://tel.archives-ouvertes.fr/docs/00/94/18/81/PDF/Sannier_Nicolas.pdf

Méthodologie et outils pour la simulation multiagent dans des univers virtuels

Authors: Galland, Stéphane

Subject Terms: [INFO:INFO_AI] Computer Science/Artificial Intelligence, [INFO:INFO_AI] Informatique/Intelligence artificielle, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_MA] Computer Science/Multiagent Systems, [INFO:INFO_MA] Informatique/Système multi-agents, Systèmes multiagents, Simulation, Méthodologie, Approche organisationnelle, Holon, Univers virtuel

Availability: http://tel.archives-ouvertes.fr/tel-00936334
http://tel.archives-ouvertes.fr/docs/00/93/63/34/PDF/Galland2013_1.pdf

Model-Driven Software Engineering for Virtual Machine Images Provisioning in Cloud Computing

Authors: Le Nhan, Tam

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, ingénierie dirigée par les modèles, modélisation de caractère, approvisionnement des images, Cloud Computing

Availability: http://tel.archives-ouvertes.fr/tel-00923811
http://tel.archives-ouvertes.fr/docs/00/92/38/11/PDF/PhDThesis-LeNhanTam.pdf

Ingénierie dirigée par les modèles pour le provisioning d'images de machines virtuelles pour l'informatique en nuage

Authors: Le Nhan, Tam

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Cloud Computing, Virtual Machine Images Provisioning, Model-Driven Engineering, Product Lines Engineering, Feature Model, Mode@Runtime

Availability: http://tel.archives-ouvertes.fr/tel-00926228
http://tel.archives-ouvertes.fr/docs/00/92/62/28/PDF/ThesisTamLN-latestversion-1.pdf

Facilités de typage pour l'ingénierie des langages

Authors: Guy, Clément

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Informatique, Génie logiciel, Ingénierie des langages logiciels, Ingénierie dirigée par les modèles

Availability: http://tel.archives-ouvertes.fr/tel-00917789
http://tel.archives-ouvertes.fr/docs/00/98/25/72/PDF/GUY_Clement.pdf