Academic literature on the topic 'Maintenance des logiciels'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Maintenance des logiciels.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Maintenance des logiciels"
1
Palacios, Himelda, and Néstor Porcell. "Obstáculos al implantar el modelo CMMI / Difficulties when implementing the CMMI organizational model." Revista EAN, no. 72 (August 1, 2013): 110. http://dx.doi.org/10.21158/01208160.n72.2012.571.
Full textAbstract:
RESUMENEsta investigación analiza y propone estrategias de intervención que permiten identificar y superar los obstáculos de aprendizaje organizacional, que experimenta una organización cuando decide implantar el modelo de calidad para el desarrollo y mantenimiento de software, CMMI (Capability Maturity Model Integrated). Implantar el CMMI es más que definir procesos, procedimientos y formatos, lo que realmente implica es cambiar la cultura organizacional de las áreas y/o empresas de desarrollo de software, cambiar el comportamiento de los Ingenieros de Software. Las estrategias de intervención propuestas facilitan el cambio de la cultura organizacional requerido, para que una organización dedicada al desarrollo y mantenimiento de software pueda alcanzar con éxito los niveles de madurez definidos por el modelo CMMI. Este cambio de cultura implica orientar a la organización hacia los lineamientos definidos por la gestión de la calidad del software, la ingeniería de software, la gerencia de proyectos, la gerencia de procesos, el mejoramiento continuo de procesos, la gestión cuantitativa de procesos y el aprendizaje continuo.ABSTRACTThis research aims at analysing and proposing intervention strategies which allow to identify and avoid the risks in organization learning processes, when an organization decides to implement a quality model for the development and maintenance of specialized softwares, such as CMMI (Capability Maturity Model Integrated). This software design means much more than identifying processes, procedures and formats, which implies an organizational cultural change in the corresponding areas and companies in charge of software development changing the behavior of software design engineers. The intervention strategies suggested facilitate a change in organizational culture in this type of organization reaching success at high maturity levels based on the CMMI model. This will lead the organization to high quality standards in software design, software engineering, project management, process management, a continuing successful follow- up processes, quantitative process management and systematic learning.RESUMÉÉCette étude analyse et propose différentes stratégies d’intervention aidant à l’identification et à la résolution de problèmes liés à l’apprentissage organisationnel. Cela peut être le cas pour une organisation qui déciderait de mettre en place le modèle de qualité pour le développement et la maintenance de logiciels, CMMI (Capability Maturity Model Integrated). En effet, pour intégrer le CMMI aux processus organisationnels de l’entreprise, il s’agit moins de définir les procédures, formats et processus que de modifier la culture organisationnelle des départements et/ou entreprises informatiques de développement de logiciel ainsi que le comportement des ingénieurs informatiques. Les stratégies d’intervention proposées favorisent le changement de culture organisationnelle nécessaire pour qu’une organisation, tournée vers le développement et la maintenance de logiciel, puisse atteindre avec succès des niveaux de maturité définis par le modèle CMMI. Ce changement culturel implique une orientation de l’organisation aux directives définies par la gestion qualitative des logiciels, la gestion de projet, celle des processus de gestion, de l’amélioration continue des processus, de la gestion quantitative des processus et de l’apprentissage continu.RESUMOEsta pesquisa analisa e propõe estratégias de intervenção que permitem identificar e superar os obstáculos de aprendizado organizativo experimentados por uma organização quando decidir implantar o modelo de qualidade para o desenvolvimento e manutenção de software, CMMI (Capability Maturity Model Integrated). Implantar o CMMI é mais do que definir processos, procedimentos e formulários; em realidade implica a mudança da cultura organizativa das áreas e/ou empresas de desenvolvimento de software, mudar o comportamento dos engenheiros de software. As estratégias de intervenção propostas facilitam a mudança da cultura organizativa requerida, para que uma organização dedicada ao desenvolvimento e manutenção de software possa atingir com sucesso os níveis de maturidade definidos pelo modelo CMMI. Esta mudança de cultura implica orientar a organização em direção aos lineamentos definidos pela gestão da qualidade do software, a engenharia de software, a gerência de projectos, a gerência de processos, o melhoramento contínuo de processos, a gestão quantitativa de processos e o aprendizado contínuo.
2
Gellot, François, Stéphane Lecasse, Bernard Riera, and Alexandre Philippot. "Retour d’expérience sur l’utilisation d’un jumeau numérique pour l’enseignement de l’automatisme." J3eA 22 (2023): 1024. http://dx.doi.org/10.1051/j3ea/20231024.
Full textAbstract:
Dans le cadre d’un enseignement progressif de l’automatisme, nous verrons dans cet article qu’il est intéressant d’utiliser un jumeau numérique d’un système réel pour aller vers la programmation de systèmes complexes industriels. Nous utilisons pour cela trois logiciels Siemens communiquant ensemble à savoir NX MCD, pour le jumeau numérique, PLC SIM Advanced pour le simulateur d’automate et TIA Portal pour la partie programmation. Les TP utilisant le jumeau numérique pour réaliser la commande d’un poste de notre cellule flexible ayant été réalisés par deux profils d’élèves ingénieurs en apprentissage de niveau bac+4, un questionnaire leur a été soumis afin de récupérer leur retour et leur perception du jumeau numérique. Globalement les retours sont bons même s’il faut distinguer dans l‘analyse du questionnaire les profils automaticiens, des profils plus maintenance.
3
BONIFATI, ANGELA, STEFANIA DUMBRAVA, and EMILIO JESÚS GALLEGO ARIAS. "Certified Graph View Maintenance with Regular Datalog." Theory and Practice of Logic Programming 18, no. 3-4 (July 2018): 372–89. http://dx.doi.org/10.1017/s1471068418000224.
Full textAbstract:
AbstractWe employ the Coq proof assistant to develop a mechanically-certified framework for evaluating graph queries and incrementally maintaining materialized graph instances, also called views. The language we use for defining queries and views is Regular Datalog (RD) – a notable fragment of non-recursive Datalog that can express complex navigational queries, with transitive closure as native operator. We first design and encode the theory of RD and then mechanize a RD-specific evaluation algorithm capable of fine-grained, incremental graph view computation, which we prove sound with respect to the declarative RD semantics. By using the Coq extraction mechanism, we test an OCaml version of the verified engine on a set of preliminary benchmarks. Our development is particularly focused on leveraging existing verification and notational techniques to: a) define mechanized properties that can be easily understood by logicians and database researchers and b) attain formal verification with limited effort. Our work is the first step towards a unified, machine-verified, formal framework for dynamic graph query languages and their evaluation engines.
4
Derai, Ali, Abdelhamid Kaabeche, and Said Diaf. "Etude de faisabilité technico-économique de fermes éoliennes en Algérie." Journal of Renewable Energies 20, no. 4 (December 31, 2017): 693–712. http://dx.doi.org/10.54966/jreen.v20i4.661.
Full textAbstract:
Le travail présenté dans cet article porte sur l’étude de faisabilité technicoéconomique de fermes éoliennes en Algérie. Cette étude est basée sur l’utilisation de données de vitesses de vent fournies par le logiciel Meteonorm. Ces données sont générées à partir de données réelles mesurées au niveau des stations météorologiques. Pour les besoins de l’étude, on a choisi seize (16) sites algériens représentant les quatre régions du pays à savoir: la région côtière, la région de l’atlas tellien, la région des hauts plateaux et enfin la région saharienne. Les données utilisées sont collectées sur la décennie 2000-2009. Leur traitement statistique a été effectué avec le logiciel WAsP et le logiciel Windographer. Pour mieux valoriser cette étude, six (06) modèles d’aérogénérateurs disponibles dans le commerce ont été retenus à savoir, Gamesa G58 0.5MW, Vergnet GEV HP 1.0MW, GE 1.5-77 1.5MW, Gamesa G1142.0MW, Enercon E-82 E2 2.0MW et Vestas 2.0 MW/V90. Nous avons évalué leurs performances en utilisant deux indicateurs de rentabilité économique et énergétique à savoir: le facteur de capacité et l’énergie annuelle produite par chaque type d’aérogénérateur et ce, pour les 16 sites. Sur le plan économique, on a évalué tous les coûts liés à l’achat et installation des éoliennes, l’infrastructure nécessaire pour le raccordement au réseau, sans oublier les opérations d’exploitation et de maintenance en utilisant la méthode du PVC (Présent Value Cost). Cela permettra d’obtenir le coût du kWh pour sélectionner le site le plus approprié au projet.
5
Spina, Isabelle. "Production et diffusion de livrels : une expérimentation en milieu universitaire." Documentation et bibliothèques 48, no. 3 (May 14, 2015): 101–7. http://dx.doi.org/10.7202/1030404ar.
Full textAbstract:
L’article présente la description d’une expérimentation sur la production et la diffusion de livres en format numérique effectuée dans le cadre des activités du Groupe interuniversitaire pour l’édition numérique. Cette expérience a permis d’explorer les nombreuses possibilités du livrel tant au niveau des formats, des logiciels que des supports de lecture. Même si ces possibilités technologiques présentent toutes certaines lacunes, particulièrement dans le cas des supports de lecture, le potentiel développé jusqu’à maintenant pour la lecture de contenus numérisés est prometteur. Cependant, il s’agit d’un marché encore jeune dont les besoins réels des lecteurs potentiels restent à définir plus clairement.
6
Chevrie, Jason, Nicolas Lardenois, and Laurent Vermeiren. "Introduction aux éléments de contrôle / supervision d’une installation industrielle moderne à base de matériel et logiciels ouverts." J3eA 22 (2023): 1019. http://dx.doi.org/10.1051/j3ea/20231019.
Full textAbstract:
Cet article présente les éléments d’un dispositif pédagogique et les activités mises en place dans le cadre de séances de SAÉ (Situation d’Apprentissage et d’Évaluation) au 3e semestre du parcours Automatisme et Informatique Industrielle du Bachelor Universitaire de Technologie (BUT) spécialité Génie Electrique et Informatique Industrielle à l’IUT de Valenciennes. Ce dispositif a pour objectif d’introduire de manière simplifiée aux étudiants les différents éléments qu’ils pourraient être amenés à mettre en œuvre dans une situation professionnelle où ils auraient à concevoir la partie contrôle / supervision complète d’une installation industrielle. Le dispositif présente l’avantage d’individualiser le travail de chaque étudiant tout en restant à coût raisonnable en utilisant une base de cartes Raspberry Pi et Arduino et des logiciels gratuits et ouverts à la place de matériel ou logiciels industriels onéreux. Les activités proposées permettent de la part des étudiants une mobilisation de connaissances pluridisciplinaires tout en maintenant un fil directeur autour du dispositif. L’article décrit également des extensions possibles d’activités à mettre en œuvre avec ce dispositif si le temps le permet ou pour donner une coloration plus proche du parcours Électronique et Systèmes Embarqués. Les retours étudiants informels et à travers un questionnaire anonyme sont également présentés et des pistes d’amélioration des activités sont proposées.
7
Allaire, Daniel. "Le réseau informatisé des bibliothèques gouvernementales : un maillon de la chaîne documentaire du Québec." Documentation et bibliothèques 40, no. 2 (October 6, 2015): 61–66. http://dx.doi.org/10.7202/1033452ar.
Full textAbstract:
L’administration publique québécoise compte un peu moins d’une centaine de bibliothèques spécialisées constituées en majorité de petites unités de trois employés ou moins. On y retrouve près de 3,6 millions de documents de tout genre. Au cours des cinq dernières années, ces bibliothèques ont informatisé leur fonctionnement à l’aide du logiciel Best-Seller et l’exploitation de la documentation se fait maintenant en réseau. Le regroupement des bibliothèques gouvernementales dispose désormais d’un instrument lui permettant de rationaliser la gestion des ressources documentaires de l’État.
8
Cippelletti, E., D. R. Kouabenan, and A. Landry. "Analyse de l’activité de techniciens de maintenance d’équipement en interaction avec un logiciel de gestion de procédure." Psychologie du Travail et des Organisations 24, no. 4 (December 2018): 340–54. http://dx.doi.org/10.1016/j.pto.2017.06.002.
Full text
9
Lemelin, André. "Un modèle de production et une méthode d’analyse des coûts de l’enseignement universitaire." Articles 59, no. 4 (January 19, 2009): 686–712. http://dx.doi.org/10.7202/601073ar.
Full textAbstract:
Résumé La thèse avancée dans cet essai est qu’il est possible et nécessaire d’analyser de façon détaillée et cohérente les dépenses des universités. Une telle analyse devrait se fonder sur un modèle de production. Dans le modèle proposé ici, la production résulte du fonctionnement coordonné de multiples activités. La structure de ces activités fonctionnelles s’incarne dans l’organisation administrative et se reflète dans le plan comptable du formulaire financier de fonctionnement de la D.G.E.S. Cette banque de données, si on lui adjoignait un logiciel approprié, constituerait dès maintenant un outil opérationnel d’analyse des coûts, en attendant qu’on construise le modèle.
10
Boy, Thierry. "Quelques éléments de réflexion sur le choix d’épreuves informatisées dans le domaine de l’aide à l’orientation." L’Orientation scolaire et professionnelle 28, no. 2 (1999): 253–73. http://dx.doi.org/10.3406/binop.1999.1277.
Full textAbstract:
Depuis le début des années 80 l’informatique a pris une place croissante dans les pratiques des conseillers d’orientation-psychologues. Utilisée d’abord pour la correction automatisée des questionnaires, cette technique s’est attachée, ensuite, à prendre en charge la passation elle-même, et propose maintenant de nouvelles fonctionnalités comme l’aide au compte rendu, l’expertise et des possibilités de communication modernes. L’offre dans ce domaine devient pléthorique et il n’est pas toujours facile de s’y repérer, ni même de savoir comment recenser l’existant. Beaucoup d’éditeurs de logiciels d’aide à l’orientation ne sont pas des spécialistes de cette dernière, et s’appuient sur des conceptions anciennes ou dont la validité est loin d’être assurée. Face à cette situation, il convient de s’interroger sur les modèles théoriques sous-jacents, et sur les utilisations possibles de ces nouveaux outils. Les problèmes déontologiques et de validité doivent être soulignés. Certains critères de choix peuvent être dégagés afin de permettre une meilleure lisibilité de l’offre en la matière. Enfin, l’intégration de l’informatique en orientation pose-t-elle des problèmes nouveaux pour la pratique du conseil en orientation ?
Dissertations / Theses on the topic "Maintenance des logiciels"
1
Hérin-Aimé, Danièle. "Demsi : une méthode, un modèle et un logiciel pour l'évolution et la maintenance des systèmes d'information." Nice, 1986. http://www.theses.fr/1986NICE4038.
Full textAbstract:
La méthode se compose de 5 étapes : traduction d'un besoin, recherche de l'impact d'un besoin, puis de plusieurs besoins, étape de décision et étape de mise à jour du s. I. La modelisation inclut un modele de representation de S. I. Au niveau conceptuel, logique et physique et un modèle de décision. Le logiciel a la struture d'un système expert orienté objets
2
Diaz, Dolores. "Réaliser des évolutions logicielles sur des applications d'entreprise en phase de maintenance." Lille 1, 2007. http://www.theses.fr/2007LIL10167.
Full textAbstract:
Dans une conjoncture économique ambitieuse, les sociétés de services d'ingénierie informatique se doivent d'élaborer les applications de plus en plus vite et ce avec un minimum de moyen. C'est pourquoi, les sociétés informatiques sont attentives aux méthodes et outils pour l'industrialisation du développement et de maintenance des applications. Or, si le premier thème est approfondi par la littérature et sur le terrain. Le thème sur l'industrialisation de la maintenance des applications l'est beaucoup moins. Conscients du caractère inéluctable de la maintenance des applications d'entreprise, nous formulons dans cette thèse CI FRE avec pour terrain d'expérimentation la société NORSYS, une proposition scientifique aux problématiques réelles de la maintenance des applications d'entreprise. Nous proposons CAREL, un Cadre d'Aide à la Réalisation des Evolutions Logicielles, en phase de maintenance. Ce cadre constitue à la fois une méthode et un ensemble d'outils afin de guider le mainteneur dans son activité. Plusieurs étapes de la maintenance sont couvertes par CAREL. La compréhension d'une application peut être effectuée par EUCLIDE, un module de visualisation d'une application. L'analyse des impacts et la conception et l'implémentation d'une évolution peuvent être effectuées à l'aide de TRACEGEN. Ce dernier module propose de définir un modèle de traçabilité pour les fonctionnalités et un autre modèle de traçabilité pour les services techniques d'une application. Cette thèse illustre CAREL sur deux cas d'études réels. Enfin, une analyse sur les apports et les limitations de CAREL relève la pertinence de son utilisation directe dans le monde industriel.
3
Kessaci, Brahim. "Contribution à la formalisation de la qualité du logiciel." Toulouse, ENSAE, 1985. http://www.theses.fr/1985ESAE0003.
Full text
4
Abdeen, Hani. "Visualizing, Assessing and Re-Modularizing Object-Oriented Architectural Elements." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2009. http://tel.archives-ouvertes.fr/tel-00498389.
Full textAbstract:
To cope with the complexity of large object-oriented software systems, developers organize classes into subsystems using the concepts of module or package. Such modular structure helps software systems to evolve when facing new requirements. The organization of classes into packages and/or subsystems represents the software modularization. the software modularization usually follows interrelationships between classes. Ideally, packages should to be loosely coupled and cohesive to a certain extent. However, Studies show that as software evolves to meet requirements and environment changes, the software modularization gradually drifts and looses quality. As a consequence, the software modularization must be maintained. It is thus important to understand, to assess and to optimize the organization of packages and their relationships. Our claim is that the maintenance of large and complex software modularizations needs approaches that help in: (1) understanding package shapes and relationships; (2) assessing the quality of a modularization, as well as the quality of a single package within a given modularization; (3) optimizing the quality of an existing modulariza- tion. In this thesis, we concentrate on three research fields: software visualizations, metrics and algorithms. At first, we define two visualizations that help maintainers: (1) to understand packages structure, usage and relationships; (2) to spot patterns; and (3) to identify misplaced classes and structural anomalies. In addition to visual- izations, we define a suite of metrics that help in assessing the package design quality (i.e., package cohesion and coupling). We also define metrics that assess the quality of a collection of inter-dependent packages from different view points, such as the degree of package coupling and cycles. Finally, we define a search-based algorithm that automatically reduces package coupling and cycles only by moving classes over existing packages. Our optimization approach takes explicitly into account the origi- nal class organization and package structure. It also allows maintainers to control the optimization process by specifying: (1) the maximal number of classes that may change their packages; (2) the classes that are candidate for moving and the classes that should not; (3) the packages that are candidate for restructuring and the packages that should not; and (4) the maximal number of classes that a given package can entail. The approaches presented in this thesis have been applied to real large object- oriented software systems. The results we obtained demonstrate the usefulness of our visualizations and metrics; and the effectiveness of our optimization algorithm.
5
Lambolez, Pierre-Yves. "Recherche d'informations pour la maintenance logicielle." Toulouse 3, 1994. http://www.theses.fr/1994TOU30201.
Full textAbstract:
Le travail presente ici s'inscrit dans le contexte de la maintenance logicielle de gros projets industriels du monde spatial. Dans ce cadre, un enorme volume de documents est produit et le mainteneur se trouve confronte a un probleme de recherche d'information, tant dans des documents en langage naturel que dans des codes sources. Afin d'offrir un support a cette activite, nous proposons un systeme generique de recherche d'information. La genericite est necessaire car les formats et les formalismes issus du developpement sont multiples et le mainteneur qui n'a pas pris part a ces choix est tenu de s'y adapter. Le systeme propose est constitue d'une chaine generique d'analyse de documents basee sur un moteur de reecriture syntaxique, d'une chaine generique d'indexation basee sur un moteur de reecriture lexicale et d'un frontal fenetre de requete
6
Abdeen, Hani. "Visualizing, assessing and re-modularizing object-oriented architectural elements." Electronic Thesis or Diss., Lille 1, 2009. http://www.theses.fr/2009LIL10069.
Full textAbstract:
Pour faire face à la complexité des grands systèmes logiciels orientés objets, les programmeurs organisent les classes en sous-systèmes en utilisant les concepts de module ou de package. Une telle structure modulaire permet aux systèmes logiciels d’évoluer face aux nouvelles exigences. L’organisation des classes dans des packages et / ou sous-systèmes, que nous appelons la modularisation du logiciel, suit habituellement les relations entre les classes. Il est d'usage de vouloir les packages faiblement couplés et assez cohésifs. Cependant, les études montrent que quand les systèmes logiciels s’adaptent aux exigences et aux modifications de l’environnement, leurs modularisations dérivent et perdent progressivement leur qualité. En conséquence, la modularisation des systèmes logiciels doit être maintenue. Il est donc important de comprendre, d’évaluer et d’optimiser l’organisation des packages et de leurs relations. Le point défendu dans la thèse est que le maintien des modularisations logiciels de grande taille et complexes requiert des approches qui contribuent à: (1) la compréhension des packages et de leurs relations; (2) l’évaluation de la qualité d’une modularisation, ainsi que la qualité d’un package dans le contexte d’une modularisation donnée; (3) l’optimisation de la qualité d’une modularisation existante. Dans cette thèse, nous nous concentrons sur trois domaines de recherche: visualisations de programmes, métriques et algorithmes. Dans un premier temps, nous définissons deux visualisations qui aident les mainteneurs à: (1) la compréhension de la structure des packages, et de leurs utilisations et leurs relations; (2) l’identification des modèles; et (3) l’identification des anomalies structurelles. En plus de visualisations, nous définissons un ensemble de métriques qui aident à évaluer la qualité d’un package (i.e., la cohésion et le couplage). Nous définissons également des métriques qui permettent d’évaluer la qualité d’une collection des packages inter-dépendants. Ceci en prenant en compte le degré de couplage et de cycles entre les packages. Enfin, nous définissons un algorithme de recherche qui réduit automatiquement le couplage et les cycles entre les packages, en déplaçant seulement les classes sur les packages existants. Notre approche d’optimisation prend explicitement en compte l’organisation des classes et la structure originale des packages. Il permet également aux mainteneurs de contrôler le processus d’optimisation en spécifiant: (1) le nombre maximal des classes qui peuvent changer leurs packages; (2) les classes qui sont candidates pour se déplacer et celles qui ne doivent pas changer leurs packages; (3) les packages qui sont candidates pour la restructuration et ceux qui ne doivent pas se changer; et (4) le nombre maximal des classes qu’un package donné peut contenir. Les approches présentées dans cette thèse ont été appliquées à des systèmes logiciels orienté objets, réels et de grand taille. Les résultats obtenus démontrent l’utilité de nos visualisations et métriques, et l’efficacité de notre algorithme d’optimisationTo cope with the complexity of large object-oriented software systems, developers organize classes into subsystems using the concepts of module or package. Such modular structure helps software systems to evolve when facing new requirements.The organization of classes into packages and/or subsystems represents the software modularization. the software modularization usually follows interrelationships between classes. Ideally, packages should to be loosely coupled and cohesive to a certain extent. However, Studies show that as software evolves to meet requirements and environment changes, the software modularization gradually drifts and looses quality. As a consequence, the software modularization must be maintained. It is thus important to understand, to assess and to optimize the organization of packages and their relationships. Our claim is that the maintenance of large and complex software modularizations needs approaches that help in: (1) understanding package shapes and relationships; (2) assessing the quality of a modularization, as well as the quality of a single package within a given modularization; (3) optimizing the quality of an existing modularization. In this thesis, we concentrate on three research fields: software visualizations, metrics and algorithms. At first, we define two visualizations that help maintainers: (1) to understand packages structure, usage and relationships; (2) to spot patterns; and (3) to identify misplaced classes and structural anomalies. In addition to visualizations, we define a suite of metrics that help in assessing the package design quality (i.e., package cohesion and coupling). We also define metrics that assess the quality of a collection of inter-dependent packages from different view points, such as the degree of package coupling and cycles. Finally, we define a search-based algorithm that automatically reduces package coupling and cycles only by moving classes over existing packages. Our optimization approach takes explicitly into account the original class organization and package structure. It also allows maintainers to control the optimization process by specifying: (1) the maximal number of classes that may change their packages; (2) the classes that are candidate for moving and the classes that should not; (3) the packages that are candidate for restructuring and the packages that should not; and (4) the maximal number of classes that a given package can entail.The approaches presented in this thesis have been applied to real large object-oriented software systems. The results we obtained demonstrate the usefulness of our visualizations and metrics; and the effectiveness of our optimization algorithm
7
Le, Dilavrec Quentin. "Precise temporal analysis of source code histories at scale." Electronic Thesis or Diss., Université de Rennes (2023-....), 2024. http://www.theses.fr/2024URENS003.
Full textAbstract:
Les systèmes informatiques jouent un rôle central dans les sociétés contemporaines, se développant et s'adaptant continuellement pour répondre aux nouvelles exigences et pratiques. Au fil des ans, grâce à des efforts de développement importants et à de nombreuses mises à jour du code, ces systèmes peuvent accumuler des millions de lignes de code. En outre, ils présentent des caractéristiques de complexité, de configurabilité et de multilinguisme, et s'appuient sur des pipelines de construction vastes et complexes pour cibler de multiples plateformes et matériels. Ce qui nécessite des analyses de code approfondies pour maintenir le code, contrôler la qualité et détecter les erreurs. L'analyse automatisée du code est un processus coûteux en ressources, principalement conçu pour examiner une seule version d'un logiciel. Actuellement, les méthodes d'analyse de code existantes peinent à évaluer efficacement plusieurs versions de logiciels au cours d'une seule analyse, ce qui prend beaucoup de temps. Ce type d'analyse de code, qui examine le code d'un logiciel à plusieurs moments de son existence, est appelé "analyse de code temporel". Les analyses temporelles de code ouvrent de nouvelles perspectives pour l'amélioration de la qualité et de la fiabilité des logiciels. Par exemple, de telles analyses permettraient d'étudier pleinement la façon dont le code et ses tests évoluent conjointement dans l'historique du code. Pour surmonter les différents défis qui empêchent de telles analyses de fonctionner à grande échelle, cette thèse apporte les contributions suivantes. Cette thèse démontre d'abord la faisabilité de l'analyse des changements de code source pour identifier les relations de causalité entre les changements (c'est-à-dire les co-évolutions). La deuxième contribution porte sur l'efficacité du calcul des modifications fines et de leurs impacts à partir de l'historique des codes. Pour ce faire, il a fallu revoir la manière dont les historiques des codes sources sont représentés et traités, en tirant parti de la nature structurée du code et de sa stabilité dans le temps. Cela a conduit à une approche, appelée HyperAST, qui calcule de manière incrémentale les dépendances référentielles. La troisième contribution est une nouvelle technique de différenciation structuré de code pour différencier les commits. Cette dernière contribution, appelée HyperDiff, complète HyperAST pour comparer les commits à grande échelleSoftware systems play a central role in contemporary societies, continuously expanding and adjusting to meet emerging requirements and practices. Over the years, through extensive development efforts and numerous code updates, those systems can accumulate millions of lines of code. Moreover, they exhibit complexity, configurability, and multi-language characteristics, relying on large and complex build pipelines to target multiple platforms and hardware. This requires extensive code analyzes to maintain code, monitor quality and catch bugs. Automated code analysis is a resource-intensive process primarily designed to examine a single specific software version. Presently, existing code analysis methods struggle to efficiently evaluate multiple software versions within a single analysis, taking up an impractical amount of time. This type of code analysis, which scrutinizes software code over several moments of its existence, is referred to as "temporal code analysis." Temporal code analyses open new opportunities for improving software quality and reliability. For example, such analyses would permit to fully study how code and their tests co-evolve in a code history. To overcome the different challenges that prevent such analyses to run at large scale, this thesis makes the following contributions. This thesis first demonstrates the feasibility of analyzing source code changes to identify causality relations between changes (ie. co-evolutions). The second contribution addresses the efficiency of computing fine-grained changes and their impacts from code histories. This required to revisit how source code histories are represented and processed, leveraging the structured nature of code and its stability through time. It led to an approach, called HyperAST, that incrementally computes referential dependencies. The third contribution is a novel code differencing technique for diffing commits. This last contribution, called HyperDiff, complements HyperAST to compare commits at scale
8
Govin, Brice. "Support à la rénovation d'une architecture logicielle patrimoniale : un cas réel chez Thales Land and Air Systems." Thesis, Lille, 2018. http://www.theses.fr/2018LIL1I026.
Full textAbstract:
Les entreprises accordent énormément d'importance à identifier des démarches automatisées et réplicables pour résoudre leurs problèmes. Ce constat s'applique aussi au démarche de rénovation d'architecture logicielle. Au sein d'une grande entreprise, nous avons intégré l'équipe chargée de réaliser la rénovation de l'architecture d'un logiciel. Nous avons étudié la démarche informelle suivie par cette équipe afin d'en proposer une généralisation et des outils facilitant son automatisation et sa réplication à d'autres projets. La plupart des solutions proposées dans la littérature ne peuvent s'appliquer à ce projet, du fait de leur caractère manuel, de leurs contraintes particulières ou de leur manque d'application sur des cas réels. Toutefois, nous avons identifié que le Reflexion Model, la recherche d’information et le regroupement statistique peuvent s'y appliquer. Nous avons alors proposé une nouvelle démarche structurée qui se base sur une adaptation du Reflexion Model et sur la démarche réalisée par l'entreprise. Notre démarche utilise cinq critères permettant l'allocation du code source existant à l'architecture du logiciel rénové. Nous avons montré que l'application de nos critères d'allocation donne des résultats satisfaisants au contraire de la recherche d’information et du regroupement. Enfin, pour répondre au besoin d'automatisation, nous avons défini ce que nous appelons des opérateurs. Ils se basent sur les activités que nous avons identifiées dans le travail des ingénieurs de l’entreprise. Nous avons montré que ces opérateurs permettraient de répliquer entièrement notre démarche structurée autorisant ainsi son application efficace sur d'autres projetsCompanies attach great importance to identifying automated and replicable approaches to solving their problems. This observation also applies to the software architecture renovation process. Within a large company, we joined the team in charge of renovating the software architecture. We studied the informal approach followed by this team in order to propose a generalization and tools facilitating its automation and its replication to other projects. Most of the solutions proposed in the literature cannot be applied to this project because of their manual nature, their particular constraints or their lack of application to real cases. However, we have identified that the Reflexion Model, information retrieval and statistical grouping may apply. We then proposed a new structured approach based on an adaptation of the Reflexion Model and on the approach developed by the company. Our approach uses five criteria to allocate existing source code to the architecture of the renovated software. We have shown that the application of our allocation criteria gives satisfactory results as opposed to seeking information and grouping. Finally, to meet the need for automation, we have defined what we call operators. They are based on the activities we have identified in the work of the company's engineers. We have shown that these operators would allow us to fully replicate our structured approach, thus allowing its effective application on other projects
9
BARROS, SERGE. "Analyse a priori des consequences de la modification de systemes logiciels : de la theorie a la pratique." Toulouse 3, 1997. http://www.theses.fr/1997TOU30267.
Full textAbstract:
Longtemps consideree comme une besogne de second ordre dans l'ombre d'activites bien plus nobles, la maintenance du logiciel, au dela de la simple correction d'erreurs, revele aujourd'hui d'autres facettes, comme la reutilisation de composants ou l'adaptation des systemes a des evolutions de besoins ou d'environnement, qui contribuent a en faire un des points cles de l'amelioration de la competitivite de l'industrie du logiciel. Toutefois, les couts de la maintenance etant generalement sous estimes, la maintenance ne se fait pas dans de bonnes conditions et les logiciels vieillissent mal, devenant des edifices instables, la moindre modification pouvant en compromettre l'equilibre. Il est donc primordial de pouvoir prevoir les consequences d'une modification avant meme de la realiser, ce qui est l'objectif de l'analyse d'impact. Nous presentons dans ce memoire une nouvelle approche generique de l'analyse d'impact, basee sur une propagation automatique, controlee par des regles, d'evenements sur un graphe des dependances modelisant le systeme. Elle permet de concilier la simplicite et la puissance des analyses automatiques a la precision des analyses manuelles. De plus, au travers de la realisation d'un outil implementant cette technique, puis de sa mise en oeuvre sur divers systemes representatifs, nous montrons que cette approche est particulierement adaptee a des systemes logiciels volumineux, necessitant un haut niveau de qualite, tels que ceux que l'on rencontre dans l'industrie spatiale. Mots cles : maintenance de logiciels, maitrise des evolutions, analyse d'impact.
10
Favre, Jean-Marie. "Une approche pour la maintenance et la ré-ingénierie globale des logiciels." Phd thesis, Université Joseph Fourier (Grenoble), 1995. http://tel.archives-ouvertes.fr/tel-00724676.
Full textAbstract:
Alors que l'informatique est résolument tournée vers l'avenir, cette thèse se concentre sur le passé ; non pas par nostalgie mais plutôt parce que le futur des logiciels âgés est une question d'actualité. Plus particulièrement trois thèmes sont abordés : la maintenance, la ré-ingénierie et la programmation globale. L'objectif de cette étude est d'explorer l'intersection entre la ré-ingénierie et la programmation globale, domaine que nous avons baptisé ré-ingénierie globale. L'idée principale est de réutiliser des concepts et des techniques de programmation détaillée. En fait nous proposons de définir la programmation globale en distinguant 4 aspects du logiciel : l'architecture, la manufacture, la variation et l'évolution. Un modèle abstrait basé sur des concepts ensemblistes est proposé pour modéliser les différentes entités de programmation globale. La technologie relative à ce domaine est ensuite décrite en considérant aussi bien l'état de l'art que l'état de la pratique. La différence entre ces deux aspects souligne l'intérêt de la ré-ingénierie globale. A titre d'illustration, nous étudions le cas des préprocesseurs en tant qu'outils de programmation globale. Ces outils de bas niveau provenant des années 70 sont traditionnellement utilisés pour décrire des familles de programmes. Pour faciliter la compréhension de tels artefacts nous proposons d'utiliser des techniques comme l'évaluation partielle, l'analyse inter-procédurale de flot de données ou encore le découpage. Ces techniques, définies de manière rigoureuse, s'appuient sur la sémantique dénotationnelle du préprocesseur utilisé. Un prototype montrant leur utilité a été réalisé. Il prouve qu'une approche basée sur des fondements théoriques issus de la programmation détaillée est applicable pour résoudre des problèmes pratiques de programmation globale.
Books on the topic "Maintenance des logiciels"
1
Robillard, Pierre N. Le logiciel: De sa conception à sa maintenance. Chicoutimi, Québec: G. Morin, 1985.
Find full text
2
1949-, Abran Alain, ed. Améliorer la maintenance du logiciel. Longueuil, Québec: Loze-Dion, 2006.
Find full text
3
IEEE Computer Society. Technical Council on Software Engineering., ed. Proceedings: International Conference on Software Maintenance, October 17-20, 1995, Opio (Nice), France. Los Alamitos, Calif: IEEE Computer Society Press, 1995.
Find full text
4
Effective Software Maintenance and Evolution. London: Taylor and Francis, 2007.
Find full text
5
International Workshop on Software Reusability (2nd 1993 Lucca, Italy). Advances in software reuse: Selected papers from the Second International Workshop on Software Reusability : proceedings, March 24-26, 1993, Lucca, Italy. Los Alamitos, Calif: IEEE Computer Society Press, 1993.
Find full text
6
CASE: Computer-aided software engineering. New York: Van Nostrand Reinhold, 1991.
Find full text
7
Parikh, Girish. Handbook of software maintenance: A treasury of technical and managerial tips, techniques, guidelines, ideas, sources, and case studies for efficient, effective, and economical software maintenance. New York: Wiley, 1986.
Find full text
8
Pigoski, Thomas M. Practical software maintenance: Best practices for managing your software investment. New York: Wiley Computer Pub., 1997.
Find full text
9
Canada, Canada Industry. The Year 2000 problem - Canada's state of readiness : government response to the thirteenth report (interim) of the House of Commons Standing Committee on Industry =: Problème de l'an 2000 - l'état de préparation du Canada : réponse du gouvernement au treizième rapport (provisoire) du Comité permanent de l'industrie. Ottawa, Ont: Industry Canada = Industrie Canada, 1999.
Find full text
10
Task Force Year 2000 (Canada). A call for action : report of Task Force Year 2000 =: Appel à l'action : rapport des membres du Groupe de travail de l'an 2000. Ottawa, Ont: Task Force Year 2000 = Groupe de travail de l'an 2000, 1998.
Find full textBook chapters on the topic "Maintenance des logiciels"
1
de Micheaux, Pierre Lafaye, Rémy Drouilhet, and Benoît Liquet. "Maintenance des sessions." In Le logiciel R, 309–38. Paris: Springer Paris, 2014. http://dx.doi.org/10.1007/978-2-8178-0535-1_9.
Full text
2
de Micheaux, Pierre Lafaye, Rémy Drouilhet, and Benoît Liquet. "Maintenance des sessions Pré-requis et objectif." In Le logiciel R, 209–26. Paris: Springer Paris, 2011. http://dx.doi.org/10.1007/978-2-8178-0115-5_9.
Full text
3
BENNING, Pierre, and Claude DUMOULIN. "L’interopérabilité par les standards : IFC, concepts, méthodes." In Le BIM, nouvel art de construire, 65–88. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9110.ch3.
Full textAbstract:
Dans une démarche BIM, il faut de nombreux logiciels pour concevoir et réaliser une construction, l’échange d’informations est crucial, c’est le problème de l’interopérabilité que solutionne le BIM. Les mécanismes concrets de l’interopérabilité par les standards sont abordés à travers le standard IFC, format neutre d’échange (maintenant norme ISO), utilisant des classes d’objets. Les enjeux pour les infrastructures sont abordés.
Conference papers on the topic "Maintenance des logiciels"
1
Doyen, Laurent, and Rémy Drouilhet. "VAM, outil logiciel adaptatif et libre pour prendre en compte l'effet des maintenances et du vieillissement." In Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement, 11-13 Octobre 2016, Saint Malo, France. IMdR, 2016. http://dx.doi.org/10.4267/2042/61721.
Full text