Zobrazeno 1 - 10
of 846
pro vyhledávání: '"Génie logiciel"'
Autor:
Maes, Lucas
Les représentations du code apprises par les modèles d’apprentissage profond sont une composante cruciale pour certaines applications en génie logiciel telles que la recherche de code ou la détection de clones. Les performances de ces applicati
Externí odkaz:
http://hdl.handle.net/1866/32228
Autor:
Shrivastava, Disha
Le code source offre un domaine d'application passionnant des méthodes d'apprentissage en profondeur, englobant des tâches telles que la synthèse, la réparation et l'analyse de programmes, ainsi que des tâches à l'intersection du code et du lan
Externí odkaz:
http://hdl.handle.net/1866/32120
Autor:
Yang, Song
Dans l’ingénierie dirigée par modèle, les diagrammes de classes UML servent à la planification et à la communication entre les différents acteurs d’un projet logiciel. Dans ce mémoire, nous proposons une méthode automatique pour l’extra
Autor:
Guo, Jing
Les Jeux Sérieux (Serious Games) sont des jeux vidéo qui sont conçus avec un objectif premier qui n’est pas le divertissement. Les jeux sérieux sont de plus en plus utilisés dans le domaine de la santé en tant qu’outil éducatif dans le cad
Externí odkaz:
http://oatao.univ-toulouse.fr/17813/1/the%CC%80se_GUO.pdf
Autor:
Jeanjean, Pierre
Publikováno v:
Software Engineering [cs.SE]. Université Rennes 1, 2022. English. ⟨NNT : 2022REN1S033⟩
The use of modern and complex programming languages requires dedicated development environments to support programmers. Integrated Development Environments (IDEs) are the most used environments today, providing all the necessary tools to use efficien
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6ded38ae9a6e0b90f0fba1369256ec2f
https://theses.hal.science/tel-03881947/document
https://theses.hal.science/tel-03881947/document
Publikováno v:
Formal Techniques for Distributed Objects, Components, and Systems
FORTE 2020: Formal Techniques for Distributed Objects, Components, and Systems
International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020)
International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020), Jun 2020, Online, France. pp.133-149, ⟨10.1007/978-3-030-50086-3_8⟩
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783030500856
FORTE
FORTE 2020: Formal Techniques for Distributed Objects, Components, and Systems
International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020)
International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020), Jun 2020, Online, France. pp.133-149, ⟨10.1007/978-3-030-50086-3_8⟩
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783030500856
FORTE
There are many models of distributed computing, and no unifying mathematical framework for considering them all. One way to sidestep this issue is to start with simple communication and fault models, and use them as building blocks to derive the comp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::459c4ac4de6f6b5ab3e6bc8573b829a1
http://europepmc.org/articles/PMC7281860
http://europepmc.org/articles/PMC7281860
Autor:
Alberto-Alfonso Aguilar-Lasserre, Ulises Juárez-Martínez, Catherine Azzaro-Pantel, Guadalupe-Isaura Trujillo-Tzanahua, María-Karen Cortés-Verdín
Publikováno v:
IET Software
IET Software, Institution of Engineering and Technology, 2020, 14 (2), pp.165-175. ⟨10.1049/iet-sen.2019.0032⟩
IET Software, Institution of Engineering and Technology, 2020, 14 (2), pp.165-175. ⟨10.1049/iet-sen.2019.0032⟩
International audience; Software product lines (SPL) emulate the industrial production lines that are capable of generating large volumes of products through reuse schemes and mass production. A multi product line (MPL) aims to reuse of several SPL.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::453f12db156b2eea94e71120e6abf1ee
https://doi.org/10.1049/iet-sen.2019.0032
https://doi.org/10.1049/iet-sen.2019.0032
Autor:
Sallou, June
Publikováno v:
Software Engineering [cs.SE]. Université Rennes 1, 2022. English. ⟨NNT : 2022REN1S020⟩
Scientific software are the centre stage to support decision-making related to tackling environmental issues thanks to simulation. However, their complexity makes their execution time-consuming or resource-demanding, which is not compatible to the co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::94f8023f6f43988fdb1459a70e1d8310
https://theses.hal.science/tel-03854849/file/SALLOU_June.pdf
https://theses.hal.science/tel-03854849/file/SALLOU_June.pdf
Autor:
Perrin, Amandine
Publikováno v:
Quantitative Methods [q-bio.QM]. Sorbone Université, 2022. English
Bacterial comparative genomics consists in comparing the gene contents of different strains: their pangenome.With the increasing number of strains sequenced, the tools available when I started this PhD were reachingtheir limits in terms of computatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2100::908ac9288eb73773744432b4c6e004c5
https://hal-pasteur.archives-ouvertes.fr/tel-03697241
https://hal-pasteur.archives-ouvertes.fr/tel-03697241
Autor:
Garchery, Quentin
Publikováno v:
Logique en informatique [cs.LO]. Université Paris-Saclay, 2022. Français. ⟨NNT : 2022UPASG006⟩
In various provers and deductive verification tools, logical transformations are used extensively in order to reduce a proof task into a number of simpler tasks. Logical transformations are often part of the trusted base of such tools. In this thesis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::4100f8b1aaf7643c8f440fbd7b1d8acc
https://theses.hal.science/tel-03560564/document
https://theses.hal.science/tel-03560564/document