12
09
2008
Archives pour la catégorie “Master ITI”
12
09
2008
Architecting Processes are Key to Software Quality (Leon Osterweil University of Massachusetts)Publié par webmaster dans Master ITIABSTRACTIn this position paper we explain why Architecting Processes, namely processes for using architectures to develop software, should receive more attention. Architectures are viewed as software engineering artifacts that can be used as the basis for developing superior software products. But the development of these products should still be accomplished with the guidance of processes. The processes are themselves software artifacts that should be developed in such a way as to demonstrably assure that they achieve their goals and requirements. Architecting Processes should be developed to demonstrably assure that software products are of high quality. Different processes will have different effectiveness in assuring this. Different architecture definition formalisms will be of differing value in supporting these different processes. The selection of an architecture definition formalism should, therefore, be strongly determined by the choice of Architecting Processes, and the goals and requirements that they must satisfy. KeywordsSoftware process, software architecture, software quality Télécharger l’article au format PDF Tags :Master ITI
Télécharger le fichier dans le format PPT Tags :Master ITI
27
01
2008
Liste de quelques sujets de stage pour un Master 2 informatiquePublié par webmaster dans Master ITIDéploiement configurable et automatisé de systèmes multi-agents Approche multi-agents au déploiement de systèmes logiciels Fusion d’informations issues d’un gant numérique et d’une caméra pour la reconnaissance de gestes Implantation d’une architecture multi-agents sur système distribué de capteur/actionneurs intelligents pour contrôler leur comportement basé sur une logique dynamique. Fusion de méréologies structurelles à partir de structures en treillis Définition d’un modèle d’interface et d’interaction de composants logiciels en vue d’une mise en oeuvre de scénarios pédagogiques. Scénarios pédagogiques pour la classe Utilisation de règles graduelles pour la fusion d’informations Segmentation de structures sous-corticales à l’aide de la fusion d’informations dans un cadre multi-agents Analyse d’images volumiques : caractérisation de l’homogénéité par fusion d’indicateurs complémentaires ou redondants avec prise en compte d’une expertise incomplète. Reconfiguration Dynamique de Systèmes de Workflow, Etude de Mécanismes de Gestion de Flux Informationnels Définition d’un style architectural pour la description de systèmes logiciels à base de composants de type COTS, selon une approche ” services Web” Annotations pour un langage de description d’architectures logicielles permettant leurs animations Adaptation dynamique pour modèles à composants logiciels Génération de tests de conformité pour des programmes Java Documentation graphique des projets B Gestion des Connaissances Cartographies Sémantiques Replacement dynamique de services dans un contexte d’intelligence distribuée Un modèle générique de système multi-agents récursif Observation de Systèmes Multi-agents Langage orienté agent centré sur la modélisation des interactions Exploration des agents et des systèmes multi-agents en vue de la simulation des processus de pilotage de systèmes industriels Pollution atmosphérique – prévisions de pics d’ozone par une méthode de logique floue Réseaux sociaux – du local au global Optimisation de réseaux de neurones et d’arbres de décision par des SVM Veille Technologique par des techniques de fouille de données Inférence régulière par fusion et par fission Sur la fusion d’états en apprentissage exact : approches statistiques et géométriques Etude des modèles d’entreprise pour la définition d’un style architectural ” Génie Industriel ” adapté à l’EAI Ordonnancement temps réel distribué et réactivité Adoption et rejet de normes par des agents autonomes dans des institutions électroniques Infrastructure Multi-Agents pour une Intelligence Pro-Active dans un monde d’Objets Communicants Suivi et exécution de contrats multiples au sein d’institutions électroniques Intégration dynamique d’agents dans des systèmes à connectivité intermittente Adéquation du modèle probabiliste pour la recherche d’information dans des documents XML Étude des aspects de la multistructuralité de documents XML Étude des structures de données les mieux adaptées pour la recherche d’information dans des corpus structurés Aspects relatifs à la conscience de l’activité de groupe dans un modèle organisationnel Problématique de le recherche d’information entre des espaces de travail coopératifs éducatifs Implantation d’une ontologie de services sur instruments intelligents Problématique de l’évaluation en ligne des activités d’entraînement Modélisation de l’agent de médiation d’une activité conjointe médiatisée : application au “cartable électronique” Présentation adaptative de documents avec analyse du modèle usager Définition de composants élémentaires pour la construction de scé Un modèle conceptuel de la conscience de l’activité du groupe Typologie des scénarios et formalismes de représentation Élaboration et implantation de passerelles entre les systèmes de workflow et les enceintes interactionnelles Définition d’une notation visuelle fondée sur UML pour les langages de description d’architectures logicielles Définition d’un formalisme de spécification de services télécoms adapté à la recherche des interactions de services Une plateforme d’assistance à l’élaboration, la validation et l’analyse de cartes d’identité moléculaires des tumeurs Composition de services dans le contexte de composants/conteneurs logiciels : étude approfondie sous l’angle des propriétés Modèle et outils de conception appliqués à la téléphonie Induction de programmes logiques par Inférence Grammaticale Inférence grammaticale probabiliste par divergence minimale Expérimentation de techniques d’inférence grammaticale sur les données biologiques Data Mining Incrémental Text Mining pour la Veille Technologique Simulation multi-agent de migrations intra-urbaines Coopération multi-agent de robots Conception d’agents coopératifs pour des applications web Jeu d’échecs et planification multi-agent Agent personnel intelligent Environnement de génie logiciel pour le commerce électronique “business to business” : modélisation et mise en oeuvre d’alliances inter-entreprises sur le Web Modélisation de l’organisation de l’entreprise à partir des courriers électroniques internes et externes Modélisation de processus et système multi-agents Styles architecturaux : modélisation, monitoring et application à Java 2 Platform, Enterprise Edition (J2EE) Acquisition des Connaissances : application aux ontologies Définition d’architectures logicielles : une démarche formelle basée sur les patterns Analyse et formalisation du processus de simulation des systèmes manufacturiers en vue de son automatisation Analyse, modélisation et réalisation orientées objet d’une maquette pour la simulation des systèmes manufacturiers Processus de raffinement pour un langage formel de description d’architectures logicielles évolutives : application aux architectures logicielles sur Internet Outils de vérification pour un langage formel de description d’architectures logicielles évolutives : application aux architectures logicielles sur Java Beans Formalisation d’un espace collaboratif dans une démarche d’ingénierie concourrante “Text Mining” : Représentation sémantique de textes techniques Modèle de logiciel et de configuration pour le déploiement de logiciel via l’internet Ingénierie coopérative Distribuée en Génie-Logiciel LBD – Ingénierie des Logiciels et Bases de Données Testabilité Outil d’assistance à la construction correcte de systèmes dans la méthode B Aide à la négociation et gestion territoriale Modèles de contrat pour des organisations virtuelles Modèles de négociation pour des organisations virtuelles Architecture Voyelle d’un Agent pour des organisations virtuelles Déploiement de méthodes distribuées de Data Mining Plate-forme Multi-agents pour l’évaluation des performances des Systèmes de production : Application à la production cyclique Modèle de coordination pour la résolution distribuée de problèmes Dessin de graphes pour la visualisation d’information et l’aide à la navigation dans le World Wide Web Représentation et raisonnement sur les autres agents au sein d’organisations virtuelles Réalisation d’un prototype collecticiel reposant sur un modèle conceptuel de la conscience de l’activité du groupe Modélisation d’usagers en vue d’une adaptation des interfaces du cartable électronique Un système multi-agents pour l’allocation de ressources en planification sanitaire Architectures multi-agents pour la conception d’espaces narratifs mixant réalité virtuelle et réalité augmentée Gestion d’alarmes en anesthésie-réanimation : une plateforme multi-agents Un protocole de négociation pour une infrastructure à objets répartis de type “middleware” Modèles Stochastiques pour la Désambiguïsation Syntaxique Modèle et outils de conception appliqués à la téléphonie Induction de programmes logiques par Inférence Grammaticale Inférence grammaticale probabiliste par divergence minimale Expérimentation de techniques d’inférence grammaticale sur les données biologiques Data Mining Incrémental Text Mining pour la Veille Technologique Simulation multi-agent de migrations intra-urbaines Coopération multi-agent de robots Conception d’agents coopératifs pour des applications web Jeu d’échecs et planification multi-agent Agent personnel intelligent Environnement de génie logiciel pour le commerce électronique “business to business” : modélisation et mise en oeuvre d’alliances inter-entreprises sur le Web Modélisation de l’organisation de l’entreprise à partir des courriers électroniques internes et externes Modélisation de processus et système multi-agents Styles architecturaux : modélisation, monitoring et application à Java 2 Platform, Enterprise Edition (J2EE) Acquisition des Connaissances : application aux ontologies Définition d’architectures logicielles : une démarche formelle basée sur les patterns Analyse et formalisation du processus de simulation des systèmes manufacturiers en vue de son automatisation Analyse, modélisation et réalisation orientées objet d’une maquette pour la simulation des systèmes manufacturiers Processus de raffinement pour un langage formel de description d’architectures logicielles évolutives : application aux architectures logicielles sur Internet Outils de vérification pour un langage formel de description d’architectures logicielles évolutives : application aux architectures logicielles sur Java Beans Formalisation d’un espace collaboratif dans une démarche d’ingénierie concourrante “Text Mining” : Représentation sémantique de textes techniques Modèle de logiciel et de configuration pour le déploiement de logiciel via l’internet Ingénierie coopérative Distribuée en Génie-Logiciel LBD – Ingénierie des Logiciels et Bases de Données Testabilité Outil d’assistance à la construction correcte de systèmes dans la méthode B Aide à la négociation et gestion territoriale Modèles de contrat pour des organisations virtuelles Modèles de négociation pour des organisations virtuelles Architecture Voyelle d’un Agent pour des organisations virtuelles Déploiement de méthodes distribuées de Data Mining Plate-forme Multi-agents pour l’évaluation des performances des Systèmes de production : Application à la production cyclique Modèle de coordination pour la résolution distribuée de problèmes Dessin de graphes pour la visualisation d’information et l’aide à la navigation dans le World Wide Web Représentation et raisonnement sur les autres agents au sein d’organisations virtuelles Réalisation d’un prototype collecticiel reposant sur un modèle conceptuel de la conscience de l’activité du groupe Modélisation d’usagers en vue d’une adaptation des interfaces du cartable électronique Un système multi-agents pour l’allocation de ressources en planification sanitaire Architectures multi-agents pour la conception d’espaces narratifs mixant réalité virtuelle et réalité augmentée Gestion d’alarmes en anesthésie-réanimation : une plateforme multi-agents Un protocole de négociation pour une infrastructure à objets répartis de type “middleware” Modèles Stochastiques pour la Désambiguïsation Syntaxique Sécurité et confiance dans les systèmes multi-agents ouverts Plate-formes et environnements de développement de Systèmes Multi-Agents Architecture “Voyelle” d’un Agent pour des organisations virtuelles Apprentissage par observation au sein d’un Système Multi-Agent ouvert Définition d’une modélisation sûre d’instruments intelligents Modélisation des informations d’un instrument intelligent en vue d’une génération automatique de programme Mise en oeuvre d’un système multi-agent basé sur la notion de mode de fonctionnement d’un instrument intelligent Architecture SMA de réseaux de terrain pour l’instrumentation de réseaux hydrographiques souterrains Analyse, modélisation et réalisation orientées objet d’une maquette pour la simulation des systèmes manufacturiers Génération automatisée de processus de simulation “Text Mining” : Représentation sémantique de textes techniques Acquisition des Connaissances : application aux ontologies Description de fédérations d’outils logiciels autonomes sous la forme de styles architecturaux Déploiement de composants logiciels sur une plate-forme de TV interactive Formalisation de styles architecturaux pour des développements formels en B Test à partir de spécifications Lustre (3 sujets) Test d’intégration de programmes C et C++ Testabilité Validation d’un traducteur C optimisant la mémoire Extensions du langage B en vue d’optimiser la mémoire Outils d’aide à la construction correcte de sytèmes dans la méthode B Exploitation d’objectifs de test Adaptation de l’atelier RoZ à l’activité de test Identification et classification de contraintes dans la spécification des systèmes d’information Interaction centrée agent pour l’annotation d’images d’oeuvres d’art Implantation d’un composant de régulation : le gestionnaire de vues Facteurs d’évolution de l’interfa Un service de mutualisation documentaire dans le cadre du projet de “cartable électronique”® Composition de fragments d’informations en vue d’une présentation adaptée aux utilisateurs Expression des positions des membres d’un groupe de travail dans le cadre d’une activité de mutualisation de références documentaires Réalisation d’un prototype collecticiel reposant sur un modèle conceptuel de la conscience de l’activité du groupe Amélioration d’un système de gestion de processus distribué développé dans le cadre du projet E-Cristal Text Mining pour la Veille Technologique Extraction de séquences logiques fréquentes conditionnelles sous contraintes Extraction de connaissances dans une base de données relationnelle Effets du boosting sur les classifieurs pondérés : complexité, pertinence et efficacité Inférence grammaticale probabiliste comme modèle de langage Mise en oeuvre de mécanismes de négociation pour le commerce électronique sur une plateforme générique de négociation entre composants logiciels Fusion d’informations issues d’un gant numérique et d’une caméra pour la reconnaissance de gestes Implantation d’une architecture multi-agents sur système distribué de capteur/actionneurs intelligents pour contrôler leur comportement basé sur une logique dynamique Fusion de méréologies structurelles à partir de structures en treillis Utilisation de règles graduelles pour la fusion d’informations Segmentation de structures sous-corticales à l’aide de la fusion d’informations dans un cadre multi-agents Analyse d’images volumiques : caractérisation de l’homogénéité par fusion d’indicateurs complémentaires ou redondants avec prise en compte d’une expertise incomplète Equivalence entre opérateurs de fusion d’informations à base de règles floues et à base d’intégrales floues Architecture générique et outil logiciel pour les systèmes à agents mobiles Raisonnement basé sur l’expérience pour la prise de décision en pilotage des systèmes de production Pilotage de processus industriels par réseaux de neurones Fusion d’informations multi-sources: application à l’analyse d’images de glaciers alpins Fusion de classifications pour l’interprétation d’images Déploiement configurable et automatisé de systèmes multi-agents Approche multi-agents au déploiement de systèmes logiciels Pilotage de processus industriels par réseaux de neurones Equivalence entre opérateurs de fusion d’informations à base de règles floues et à base d’intégrales floues Architecture générique et outil logiciel pour les systèmes à agents mobiles Raisonnement basé sur l’expérience pour la prise de décision en pilotage des systèmes de production Fusion d’informations multi-sources: application à l’analyse d’images de glaciers alpins Fusion de classifications pour l’interprétation d’images |
|
Bulletins (RSS)