Výsledky vyhľadávania - "[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

Autori: Feugas, Alexandre

Predmety: [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

Dostupnosť: 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

Autori: Ngô, Van Chan

Predmety: [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

Dostupnosť: 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

Autori: Ngo, Van Chan

Predmety: [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

Dostupnosť: 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

Autori: Al-Msie'Deen, Ra'Fat

Predmety: [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

Dostupnosť: 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

Autori: Paraiso, Fawaz

Predmety: [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é

Dostupnosť: 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

Autori: Dumitrescu, Cosmin

Predmety: [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

Dostupnosť: 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.

Autori: Benayoun, Vincent

Predmety: [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

Dostupnosť: 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

Autori: Dan, Yufang

Predmety: [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

Dostupnosť: 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

Autori: Rouillé, Emmanuelle

Predmety: [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

Dostupnosť: 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

Autori: Noureddine, Adel

Predmety: [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

Dostupnosť: 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

Autori: Debbabi, Bassem

Predmety: [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

Dostupnosť: 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

Autori: GOLRA, Fahad Rafique

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

Dostupnosť: 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

Autori: Cherif, Sana

Predmety: [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

Dostupnosť: 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

Autori: Papoulias, Nikolaos

Predmety: [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

Dostupnosť: 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

Autori: Doguy, Ayman

Predmety: [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

Dostupnosť: 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é

Autori: Sannier, Nicolas

Predmety: [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é

Dostupnosť: 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

Autori: Galland, Stéphane

Predmety: [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

Dostupnosť: 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

Autori: Le Nhan, Tam

Predmety: [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

Dostupnosť: 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

Autori: Le Nhan, Tam

Predmety: [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

Dostupnosť: 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

Autori: Guy, Clément

Predmety: [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

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