Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Génie logiciel empirique"'
Autor:
Pietri, Antoine
Publikováno v:
Computer Science [cs]. Inria, 2021. English
Other [cs.OH]. Université Paris Cité, 2021. English. ⟨NNT : 2021UNIP7183⟩
Other [cs.OH]. Université Paris Cité, 2021. English. ⟨NNT : 2021UNIP7183⟩
The Software Heritage project is a software archive containing the largest public collection of source code files along with their development history, in the form of an immense graph of hundreds of billions of edges. In this thesis, we present archi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5ffef1913c66255b33e81eb0a0f25e47
https://hal.archives-ouvertes.fr/tel-03515795/document
https://hal.archives-ouvertes.fr/tel-03515795/document
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
Dans le domaine du développement logiciel, le changement est la seule constante. Les logiciels évoluent parfois de façon substantielle et, pendant ce processus, des séquences de transformation de code (par exemple, créer une classe, puis surchar
Externí odkaz:
http://www.theses.fr/2017LIL10034/document
Autor:
Cavalcante Hora, André
Les systèmes logiciels évoluent pour ajouter de nouvelles fonctionnalités, corriger des bugs ou refactoriser du code source. Durant ce processus, certains problèmes peuvent survenir provoquant l'inconsistance ou l'échec des systèmes en évoluti
Externí odkaz:
http://www.theses.fr/2014LIL10114/document
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