L'amélioration constante de la qualité des logiciels et des processus de développement logiciel est depuis plusieurs décennies, au coeur des préoccupations et de nombreux travaux de recherche dans le domaine de l'ingénierie des systèmes d'information. Parmi les multiples solutions proposées, la réutilisation apparaît pour bien des chercheurs comme l'une des pistes les plus prometteuses pour la réduction du coût de production et l'amélioration de la qualité de systèmes [MILl 1999]. Plusieurs formes de réutilisation ont été introduites: la réutilisation des spécifications, la réutilisation des composants, la réutilisation des codes, la réutilisation des expériences, etc. [R.P. Diaz, 87], [Kruger 92], [NKambou et al. 2003, 2004]. Le but du projet CIAO-SI est de construire et de maintenir une mémoire d'expérience pour l'organisation pouvant supporter tout le cycle de développement. À ce jour, les travaux du projet CIAO-SI [NKambou et al. 2003, 2004] initié par le Groupe Infotel Inc et le laboratoire GDAC se sont limités aux phases d'analyse et de conceptions. Nous nous proposons dans notre travail de recherche d'étendre la réflexion à la phase d'implantation ('codage'). Ce volet vise à doter le système CIAO-SI d'un module permettant de rechercher et d'indexer les unités de programmes éprouvées, validées et stockées dans le but de leur réutilisation pour des nouveaux projets de développement logiciel. La plupart des outils recensés utilisent des approches d'indexation qui se limitent à l'aspect descriptif du problème (caractéristique du problème, le contexte d'élaboration pour filtrer les résultats, utilisation des concepts pour définir les ontologies) et non à l'intégration de la solution proposée; ce qui n'est pas approprié dans la réutilisation des codes. Nous avons proposé et implémenté une approche de réutilisation des unités de programmes basée sur le CBR et la classification à facettes. L'implantation de cette approche dans le contexte de CIAO-SI, une plateforme de réutilisation dans les phases en aval de la réalisation, nous a permis d'obtenir des résultats encourageants. Finalement nous avons effectué une évaluation expérimentale par la méthode de Salton et cela nous a permis d'évaluer la pertinence de nos résultats. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Réutilisation des codes, Développement logiciel, Indexation des codes, Ontologie, CIAO-SI, Raisonnement à base de cas.

Texte remanié de: Doct. Diss.--Göteborg--Göteborg university, 2002. / Bibliogr. à la fin des chap.

Reproduction de : Thèse de doctorat : Informatique : Lyon 3 : 2004. / Titre provenant de l'écran-titre. Bibliogr. Index.

Reproduction de : Thèse de doctorat : Informatique : Poitiers : 2008. / Titre provenant de l'écran-titre. Bibliogr. 140 réf.

Th. doct.--Informatique--Orléans, 1995. / Bibliogr. p. 129-134. Résumé en anglais et en français. 1996 d'apès la déclaration de dépôt légal.

L’Informatique "verte" est très importante de nos jours. Parmi les raisons principales, nous pouvons mentionner le rôle majeur des centres de données qui consomment autant que 180 000 foyers en électricité. Associé aux préoccupations énergétiques, cet enjeu représente un challenge technologique et sociétal de premier ordre. Des watt-mètres sont actuellement utilisés et partagés pour récupérer un ensemble agrégé de rapports énergétiques sur plusieurs heures ou minutes. Cependant, pour améliorer l’efficacité énergétique des logiciels, nous devons dépasser ces limitations et proposer des estimations plus fines. Particulièrement, la communauté considère le CPU comme étant le composant le plus énergivore et est donc largement considéré lors de la modélisation énergétique de système. Des dizaines de modèles de consommation ont déjà été proposées pour prendre en compte la grande diversité et la complexité grandissante des CPUs. Dans cette thèse, nous proposons PowerAPI pour apprendre automatiquement les modèles de consommation et construire des watt-mètres logiciels permettant des estimations précises sur des architectures modernes. Avec l’émergence de l’Informatique dématérialisée, nous avons développé BitWatts et WattsKit pour pousser l’utilisation d’estimations énergétiques à grain fin au sein de VMs ou clusters. Un niveau encore plus fin peut être requis pour mieux évaluer l’efficacité d’optimisations logicielles et nous proposons donc codEnergy pour aider à mieux comprendre comment l’énergie est consommée par un logiciel. Nous démontrons aussi dans cette thèse l’utilité de PowerAPI pour mieux comprendre les consommations logicielles sur les architectures modernes. / Energy-efficient computing is becoming increasingly important. Among the reasons, one can mention the massive consumption of large data centers that consume as much as 180,000 homes. This trend, combined with environmental concerns, makes energy efficiency a prime technological and societal challenge. Currently, widely used power distribution units (PDUs) are often shared amongst nodes to deliver aggregated power consumption reports, in the range of hours and minutes. However, in order to improve the energy efficiency of software systems, we need to support process-level power estimation in real-time, which goes beyond the capacity of a PDUs. In particular, the CPU is considered by the research community as the major power consumer within a node and draws attention while trying to model the system power consumption. Over the last few years, a dozen of ad hoc power models have been proposed to cope with the wide diversity and the growing complexity of modern CPU architectures. In this thesis, we rather propose PowerAPI for learning power models and building software-defined power meters that provide accurate power estimation on modern architectures. With the emergence of cloud computing, we propose BitWatts and WattsKit for leveraging software power estimation in VMs and clusters. A finer level of estimation may be required to further evaluate the effectiveness of the software optimizations and we therefore propose codEnergy for helping developers to understand how the energy is really consumed by a software. We deeply assessed all above approaches, thus demonstrating the usefulness of PowerAPI to better understand the software power consumption on modern architectures.

Les programmes sont partout dans notre vie quotidienne : les ordinateurs et les téléphones, mais aussi les frigo, les avions et ainsi de suite. L'acteur principal dans la création de ces programmes est humain les êtres. Aussi minutie qu'ils peuvent être, les humains sont connus pour faire des erreurs involontaires sans leur conscience. Ainsi, une fois une phase déjà difficile d'écriture d'un programme, ils doivent faire face à la phase de maintenance sur laquelle ils doivent faire face aux erreurs qu'ils ont eu précédemment réalisé. Toute la durée de leur tâche de développement, les développeurs doivent faire face continuellement leurs erreurs (ou leurs collègues). Cette observation clé soulève la nécessité d'aider les développeurs dans leurs tâches de développement / maintenance. / Programs are everywhere in our daily life: computers and phones but also fridges, planes and so on. The main actor in the process of creating these programs is human beings. As thorough as they can be, humans are known to make involuntary errors without their awareness. Thus, once finished an already hard phase of writing a program. they have to face the maintenance phase on which they have to deal with errors they had previously made. All long their development task, developers have to continuously face their (or their colleagues) errors. This key observation arises the need of aiding developers in their development/maintenance tasks.

L'objectif du TCAO (Travail Collaboratif Assisté par Ordinateur), est de trouver les moyens par lesquels les applications collaboratives sont susceptibles d'améliorer la collaboration entre les individus. De ce fait, il existe une grande nécessité de remédier des contraintes liées au manque de flexibilité et la rigidité des systèmes collaboratifs actuels, par l'adoption des solutions adéquates pour mettre en oeuvre une meilleure collaboration, selon le contexte et la tâche à effectuer entre les utilisateurs. En effet, le domaine du TCAO doit évoluer avec l'évolution des systèmes et des technologies qui touchent notre vie quotidienne, surtout l'évolution de l'internet qui nous rend totalement dépendant des services et applications qui existent "virtuellement", où la plupart des utilisateurs passent une bonne partie de leurs temps à exploiter des méthodes à rechercher et utiliser ces services qui correspondent le plus à leurs préférences. C'est pour cette raison que l'évolution du TCAO se montre essentielle pour faire face à l'évolution exponentielle des technologies d'internet, afin de créer ou de réutiliser plus facilement des applications chargées d'assister le travail communautaire des hommes, que l'on nomme applications collaboratives, ou collecticiels. Le sujet de thèse proposé couvre les aspects collaboratifs d'un système et les questions concernant son intégration. Plus particulièrement, notre objectif essentiel est de concevoir une architecture logicielle pour les collecticiels malléables, de sorte qu'elle puisse s'adapter aux changements et aux diversités des besoins des utilisateurs, ainsi que la tâche à effectuer. En conséquence, une forte exigence surgit en terme d'ouverture, où le système peut dynamiquement intégrer de nouveaux services sans arrêter le déroulement de la collaboration, ni manuellement recoder et recompiler l'application. Une deuxième exigence est d'assurer une certaine adaptabilité, où le système peut générer de nouveaux comportements à partir de la composition de deux ou plusieurs services. Finalement, une exigence surgit en terme d'interopérabilité, surtout dans le cas où les utilisateurs utilisent des applications incompatibles ou hétérogènes. Ainsi, la création, l'ajout, la suppression ou la manipulation des composants du système collaboratif sont faites via les services web. De plus, la recherche, l'invocation et l'intégration de ces services se fait à l'aide d'agents logiciels qui se chargeront, avec une assistance minimale de l'utilisateur, de rechercher les services les mieux adaptés à leurs spécifications. Dans cette thèse, nous créons un lien entre les concepts théoriques qui se développent au sein des laboratoires de recherche, et les technologies qui se développent d'une façon très rapide dans le secteur industriel, afin de concevoir des systèmes collaboratifs plus adaptés au monde informatique quotidien. / The aim of CSCW (Computer Supported Cooperative Work) is to find ways in which applications should improve collaborative work between individuals. Hence, there is great need to address constraints related to the lack of flexibility and rigidity of current collaborative systems, through the adoption of adequate solutions to implement a better collaboration, depending on user' needs and the task that is being done. Therefore, the field of CSCW must evolve with the evolution of systems and technologies that affects our daily lives, especially the internet evolution that makes us completely dependent on the services and applications that "virtually" exist, where most people spend a lot of their time collaborating and exploiting methods to find and use services that meet their preferences. The development of CSCW systems appears essential to address the exponential growth of internet technologies to create or reuse applications to assist the community work of men, known as collaborative applications, or groupware. In this work, the thesis covers collaborative aspects of a system, and the questions concerning its integration. More specifically, the main objective is to provide a platform for "tailorable" collaboration, where the services offered by the groupware can be adapted to the changing and diverse needs of users. Accordingly, strong requirements arise in terms of adaptability, by composing or integrating new services without stopping the collaboration process and interoperability between the system's components, especially if users are using incompatible or heterogeneous applications. A proposed solution is to use the concepts of web services, integrated with the concepts of multi-agent systems (MAS). Thus, the creation, addition, deletion or dynamic manipulation of the system's components will be done via the web services. In addition, research, invocation and integration of these services will be done using software agents with minimal user assistance, depending on users' preferences. In this thesis, we try to build a bridge between theoretical concepts which are developed in research laboratories, and technologies being developed exponentially in the industrial sector, hence, creating a synergy of theory and concepts, to design more efficient collaborative systems, that are better suited to the everyday computing world.

Des applications compilées en code-octet et encodées dans le format de fichier class sont normalement chargées et exécutées par une machine virtuelle. La vérification du code-octet est un processus utilisé par une machine virtuelle pour renforcer la sécurité des systèmes distribués en garantissant la conformité du code de classes avec les règles du langage. Les algorithmes actuels de vérification du code-octet utilisent des approches comme l'analyse de flot de données, le model checking ou le code-certifié (similaire au proof-carrying code). Mais l'on dénote certains problèmes, en particulier dus aux sous-routines, avec soit des spécifications informelles et incomplètes, soit des algorithmes ne supportant qu'un sous-ensemble du jeu d'instructions du code-octet, ou encore des performances exponentielles proportionnellement à la taille du code des méthodes à vérifier. Dans ce mémoire nous présentons une technique de vérification du code-octet avec sous-routines par code-certifié. Nous présentons en particulier la conception d'un format de certificat, d'un algorithme de calcul de certificat et d'un algorithme de vérification pour l'ensemble du jeu d'instructions du code-octet. Notre algorithme de vérification a une complexité linéaire en proportion de la taille du code des méthodes. Le développement d'un vérificateur et d'un compilateur de certificats a servi à conduire des expérimentations qui montrent que le format de certificat proposé est suffisamment riche pour effectuer la vérification du code-octet. De plus, nous présentons les résultats de l'évaluation du coût en espace mémoire de la certification de classes avec une telle technique. L'observation montre un accroissement relativement faible de la taille d'un échantillon de plus de 35 000 classes suite à leur certification. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Vérification, Code-octet, Code-certifié, Analyse de flot de données, Sous-routines, Java.

Diss.--Universität Konstanz, 2001. / Bibliogr. p. [283]-290. Index.