Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Évolution du logiciel"'
Autor:
Théo Zimmermann
Publikováno v:
Software Engineering [cs.SE]. Université Paris Cité, 2019. English. ⟨NNT : 2019UNIP7163⟩
Software Engineering [cs.SE]. Université de Paris, 2019. English. ⟨NNT : 2019UNIP7163⟩
Software Engineering [cs.SE]. Université de Paris, 2019. English
HAL
Software Engineering [cs.SE]. Université de Paris, 2019. English. ⟨NNT : 2019UNIP7163⟩
Software Engineering [cs.SE]. Université de Paris, 2019. English
HAL
In this thesis, I present the application of software engineering methods and knowledge to the development, maintenance, and evolution of Coq —an interactive proof assistant based on type theory— and its package ecosystem. Coq has been developed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::250b36ae600031f650ae2ec43ce3399c
https://inria.hal.science/tel-02451322/document
https://inria.hal.science/tel-02451322/document
Autor:
Calmant, Thomas
Les architectures orientées services (SOA) sont considérées comme le moyen le plus avancé pour réaliser et intégrer rapidement des applications modulaires et flexibles.Dans ce domaine, les plates-formes SOA à disposition des développeurs et d
Externí odkaz:
http://www.theses.fr/2015GREAM027/document
Autor:
Calmant, Thomas
Publikováno v:
Calcul parallèle, distribué et partagé [cs.DC]. Université Grenoble Alpes, 2015. Français. ⟨NNT : 2015GREAM027⟩
Service-Oriented architectures (SOA) are considered the most advanced way to develop and integrate modular and flexible applications.There are many SOA platforms available for software developers and architects; the most evolved of them being SCA and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c1c587413dd9698d26c1666a4e48b76b
https://tel.archives-ouvertes.fr/tel-01254286/file/CALMANT_2015_archivage.pdf
https://tel.archives-ouvertes.fr/tel-01254286/file/CALMANT_2015_archivage.pdf
Autor:
Cavalcante Hora, André
Publikováno v:
Software Engineering [cs.SE]. Université Lille 1-Sciences et Technologies, 2014. English. ⟨NNT : ⟩
Software systems evolve by adding new features, fixing bugs or refactoring existing source code. During this process, some problems may occur (e.g., backward-incompatibility, missing or unclear method deprecation) causing evolving systems and their c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::af4fb31fff6d3386814b6d1700eb244a
https://inria.hal.science/tel-01087860/file/thesis-AndreHora.pdf
https://inria.hal.science/tel-01087860/file/thesis-AndreHora.pdf
La croissante complexité du logiciel a mené les chercheurs en génie logiciel à chercher des approcher pour concevoir et projéter des nouveaux systèmes. Par exemple, l'approche des architectures orientées services (SOA) est considérée actuell
Externí odkaz:
http://www.theses.fr/2013GRENM055/document
Publikováno v:
Autre [cs.OH]. Université de Grenoble, 2013. Français. ⟨NNT : 2013GRENM055⟩
The increase of software complexity along the years has led researchers in the software engineering field to look for approaches for conceiving and designing new systems. For instance, the service-oriented architectures approach is considered nowaday
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::f0965a5aa62b65a1a0131540c0a80777
https://tel.archives-ouvertes.fr/tel-01167469/file/35850_RODRIGUES_AMERICO.pdf
https://tel.archives-ouvertes.fr/tel-01167469/file/35850_RODRIGUES_AMERICO.pdf
Autor:
Ahmad, Adeel
Le contrôle de l'évolution des logiciels exige une compréhension profonde des changements et leur impact sur les différents artefacts du système. Nous proposons une approche de multi-modélisation pour l'analyse d'impact du changement pour une c
Externí odkaz:
http://www.theses.fr/2011DUNK0387/document
Autor:
Ahmad, Adeel
Publikováno v:
Génie logiciel [cs.SE]. Université du Littoral Côte d'Opale, 2011. Français. ⟨NNT : 2011DUNK0387⟩
Informatique [cs]. Université du Littoral Côte d’Opale, 2011. Français
Informatique [cs]. Université du Littoral Côte d’Opale, 2011. Français
The software evolution control requires a complete understanding of the changes and their impact on the various system artifacts.We propose a multi-modeling approach for the change impact analysis to provide assistance in understanding the effects of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c389215fa4aa497c6ea0bf28a31611a9
https://tel.archives-ouvertes.fr/tel-01321233/file/AHMAD_Adeel.pdf
https://tel.archives-ouvertes.fr/tel-01321233/file/AHMAD_Adeel.pdf
Autor:
Langelier, Guillaume
Le développement du logiciel actuel doit faire face de plus en plus à la complexité de programmes gigantesques, élaborés et maintenus par de grandes équipes réparties dans divers lieux. Dans ses tâches régulières, chaque intervenant peut av
Externí odkaz:
http://hdl.handle.net/1866/5011
Autor:
Vaucher, Stéphane
Les sociétés modernes dépendent de plus en plus sur les systèmes informatiques et ainsi, il y a de plus en plus de pression sur les équipes de développement pour produire des logiciels de bonne qualité. Plusieurs compagnies utilisent des modè
Externí odkaz:
http://hdl.handle.net/1866/4641