Relevant bibliographies by topics / Génération de logiciel

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters

Academic literature on the topic 'Génération de logiciel'

Author: Grafiati
Published: 7 September 2024
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Génération de logiciel.'

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 "Génération de logiciel"

1

Soyer, A., and A. Rimsky. "Logiciel de génération et représentation de structures cristallines." Journal of Applied Crystallography 25, no. 2 (1992): 214–20. http://dx.doi.org/10.1107/s0021889891012086.

Full text
Abstract:
Software has been written in Fortran77 for the space-filling representation of crystal structures. It generates atomic positions starting from the asymmetric unit and taking into account the 230 possible space groups. It then computes realistic shaded images in correct perspective with the hidden part removed. The main differences from existing programs are the ability to represent thermal ellipsoids and good portability to commonly used workstations. Details are given about the organization and operation of the program and some applications.
APA, Harvard, Vancouver, ISO, and other styles
2

Contant, Chantal. "Génération automatique de rapports boursiers français et anglais." Revue québécoise de linguistique 17, no. 1 (2009): 197–221. http://dx.doi.org/10.7202/602620ar.

Full text
Abstract:
Résumé Depuis peu de temps, il est possible, dans un sous-langage technique bien délimité, de créer des systèmes automatiques capables de générer, à partir d’une représentation sémantique, des textes linguistiquement bien formés. Un tel système existe pour le sous-langage boursier. En effet, à partir des données de la Bourse de New York, ce logiciel produit de façon automatique des résumés boursiers en anglais et en français. Le présent article présente le système anglais et français de génération automatique de texte et décrit brièvement les particularités du sous-langage boursier.
APA, Harvard, Vancouver, ISO, and other styles
3

Manneheut, Agnès, and Emmanuelle Paulet-Grandguillot. "Folio au SCD de Nantes : le choix d’un logiciel de nouvelle génération." Arabesques, no. 113 (April 1, 2024): 16–17. http://dx.doi.org/10.35562/arabesques.4094.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Andary, Philippe, Daniel Krob, and Jean-Pierre Pécuchet. "GAET, un logiciel de génération automatique d'emplois du temps: recuit simulé et langage objet." Journal of Decision Systems 3, no. 3 (1994): 221–41. http://dx.doi.org/10.1080/12460125.1994.10511622.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Díaz Villalba, Alejandro. "Comment outiller l’étude des autorités avec l’analyse de réseaux dans les grammaires françaises des XVIe et XVIIe siècles." SHS Web of Conferences 138 (2022): 03003. http://dx.doi.org/10.1051/shsconf/202213803003.

Full text
Abstract:
L’article propose d’outiller, par le recours à l’analyse de réseaux, l’étude des références, c’est-à-dire les mentions et les citations d’autorités dans les textes métalinguistiques. Il s’agit, d’une part, de présenter les principes méthodologiques qui ont présidé à l’élaboration d’une visualisation sous forme de graphes de réseau : la modélisation et la construction d’une base de données de références et la génération du graphe dans un logiciel approprié. Il est question, d’autre part, de décrire les aspects liés à l’interprétation des graphes de réseaux, le but étant d’explorer le potentiel
APA, Harvard, Vancouver, ISO, and other styles
6

Sicard, E., S. Ben Dhia, and L. Trojman. "Conception de cellules nano-CMOS – Perspectives à dix ans." J3eA 23 (2024): 1018. http://dx.doi.org/10.1051/j3ea/20241018.

Full text
Abstract:
La conception de cellules logique et analogique servant de base à la création de circuits intégrés a évolué graduellement au fil des progrès technologiques. Nous proposons dans cet article une synthèse de cette évolution avec une prospective à 10 ans. L’évolution de nos travaux pratiques vers la conception 3nm Nano-Sheet est aussi décrite, basé sur un retour d’expérience de deux promotions. Nous esquissons l’évolution des besoins en enseignement et recherche pour la prochaine décennie, et notre stratégie de mise à disposition de logiciel de conception nano-CMOS implémentant les évolutions maje
APA, Harvard, Vancouver, ISO, and other styles
7

Boyadjian, Julien. "Les logiques sociales de structuration de l’audience de l’internet français." Réseaux N° 243, no. 1 (2024): 67–101. http://dx.doi.org/10.3917/res.243.0067.

Full text
Abstract:
Cet article interroge les logiques sociales de structuration de l’audience des 500 sites et applications internet générant le plus de trafic en France. L’analyse se focalise sur les données inédites du panel « Audience Internet Global » de Médiamétrie, qui mesure à l’aide d’un logiciel dédié les pratiques de navigation d’un panel de 25 000 individus âgés de 2 ans et plus, représentatifs de la population internaute française. L’article met au jour les trois variables « lourdes » explicatives de la distribution de l’audience numérique : le genre, l’âge et la position sociale des internautes. Alo
APA, Harvard, Vancouver, ISO, and other styles
8

El Bettioui, Rachid, Abdelkhalil Haidane, Lhassane Jaouhari, and Samir Mirdasse. "Digitalisation pédagogique et défis de l’enseignement à distance." revistamultidisciplinar.com 4, no. 1 (2022): 27–48. http://dx.doi.org/10.23882/rmd.22083.

Full text
Abstract:
La digitalisation représente, de notre temps, une nécessité de développement et de compétitivité de la majorité des secteurs. Le secteur de l’enseignement supérieur n’échappe pas de cette transformation digitale. Ainsi, au cours des deux dernières décennies, la pédagogie digitale est devenue l'une des formes d'apprentissage les plus adéquates pour la génération actuelle des étudiants de l'enseignement supérieur qui préfèrent un modèle de formation doté des smart universités. Dans ce cadre, le présent article consiste à étudier les défis de l’enseignement à distance appliqué au Maroc pendant la
APA, Harvard, Vancouver, ISO, and other styles
9

Bertrand-Gastaldy, Suzanne, and Gracia Pagola. "L’analyse du contenu textuel en vue de la construction de thésaurus et de l’indexation assistées par ordinateur; applications possibles avec SATO." Analyse de l’information textuelle 38, no. 2 (2015): 75–89. http://dx.doi.org/10.7202/1028612ar.

Full text
Abstract:
L’intervention de l’ordinateur, longtemps réservée aux tâches mécaniques effectuées en aval de l’analyse des documents et de la constitution des thésaurus, se déplace en amont vers l’analyse elle-même. Des logiciels existent désormais qui assistent l’exploration des textes. On montre comment SATO (système d’analyse de textes par ordinateur), utilisé par des chercheurs de plusieurs disciplines, peut faciliter les tâches de contrôle et de structuration du vocabulaire ainsi que l’indexation. On présente ses caractéristiques importantes : possibilité d’ajouter des propriétés aux mots et aux segmen
APA, Harvard, Vancouver, ISO, and other styles
10

Blanpain, O., and B. Chocat. "Un système d'aide au choix de modèles hydrologiques et hydrauliques pour simuler les réseaux d'assainissement : application aux modèles de propagation en conduite." Revue des sciences de l'eau 12, no. 2 (2005): 317–32. http://dx.doi.org/10.7202/705354ar.

Full text
Abstract:
La nouvelle génération de logiciels destinés aux études d'assainissement dispose d'un nombre croissant de modèles hydrauliques et hydrologiques. Il en découle une augmentation des possibilités de choix parmi ces modèles qui complique la tâche des techniciens de l'assainissement. Pour limiter cette difficulté, nous suggérons d'introduire dans les logiciels des outils permettant d'aider les utilisateurs à choisir les modèles en adéquation avec le réseau à simuler. Dans cet article, nous nous intéresserons essentiellement aux modèles de propagation en conduite. Les modèles de propagation les plus
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Génération de logiciel"

1

Villeneuve, D. "Logiciel de génération de colonnes." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp02/NQ53547.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Chevalley, Philippe. "Approche statistique pour le test de logiciels critiques orientés-objet : expérimentation sur un logiciel avionique." École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007), 2001. http://www.theses.fr/2001ESAE0018.

Full text
Abstract:
Les travaux présentés dans ce mémoire ont pour objectif de définir une stratégie appropriée pour le test de logiciels critiques orientés-objet. La stratégie de test que nous préconisons s'appuie sur la complémentarité de données de test statistique et déterministe. Les entrées de test statistiques sont générées automatiquement à partir de l'information présente dans les diagrammes d'état UML; en complément, les entrées de test déterministes ciblent des points singuliers du domaine d'entrée. Cette stratégie mixte s'intègre dans un environnement commercial de modélisation (Rose RealTime) permett
APA, Harvard, Vancouver, ISO, and other styles
3

Bertault, François. "Génération et tracé de structures décomposables." Nancy 1, 1997. http://www.theses.fr/1997NAN10297.

Full text
Abstract:
L'objet de cette thèse est la réalisation d'algorithmes et d'outils d'aide à l'étude des propriétés de structures combinatoires particulières, les structures décomposables. Nous nous intéressons pour cela à la génération aléatoire et systématique de structures décomposables, puis à leur représentation graphique automatique. Ce travail se situe à la frontière entre calcul mathématique et visualisation. Les structures décomposables sont les structures combinatoires qu'il est possible de former récursivement en utilisant des constructeurs aux propriétés particulières. Le point de vue est similair
APA, Harvard, Vancouver, ISO, and other styles
4

Nebut, Clémentine. "Génération automatique de tests à partir des exigences et application aux lignes de produits logicielles." Rennes 1, 2004. http://www.theses.fr/2004REN10099.

Full text
Abstract:
La contribution de cette thèse est une approche de génération automatique de tests fonctionnels à partir des exigences, prenant en compte la maîtrise du coût de test, l'adaptabilité au contexte des lignes de produits, la compatibilité avec les pratiques industrielles et la complexité des logiciels réels. Notre approche se base sur un modèle de cas d'utilisation étendus, relié à un analyseur de langage naturel contrôlé en amont et un générateur de tests en aval. Le langage contrôlé rapproche la méthode des pratiques industrielles, et formalise assez les exigences pour les transformer en un modè
APA, Harvard, Vancouver, ISO, and other styles
5

Le, Guennec Alain. "Génie logiciel et méthodes formelles avec UML : : spécification, validation et génération de tests." Rennes 1, 2001. http://www.theses.fr/2001REN10156.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Ribereau, Dominique. "Génération d'un logiciel de simulation de la combustion d'un bloc de propergol solide." Bordeaux 1, 1988. http://www.theses.fr/1988BOR10594.

Full text
Abstract:
Etablissement d'un code d'application industrielle qui simule en 3d la combustion de chargements de propergol solide. La modelisation de la regression de surface, a vitesse constante ou variable, est realisee grace a un systeme hyperbolique qui utilise les normales au front de flamme. Utilisation de la conception assistee par ordinateur pour construire et visualiser un maillage surfacique tridimensionnel, sur lequel s'appuie la resolution numerique. Etude d'un autre modele pour simuler la combustion de blocs a fils
APA, Harvard, Vancouver, ISO, and other styles
7

Belhaouari, Hakim. "Une approche intégrée pour la conception par contrat : vérification statique / dynamique et génération automatique de test." Paris 6, 2010. http://www.theses.fr/2010PA066116.

Full text
Abstract:
Les méthodes formelles légères facilitent l'introduction des outils formels en autorisant une spécification partielle du logiciel. En l'occurrence la granularité des vérifications dépend de la quantité d'information spécifiée. La fusion de ces méthodes semi-formelles (en particulier de la conception par contrat) et du test logiciel conduit à la notion de test basé sur les modèles (MBT). Ainsi, la découverte d'un oracle et la production des données de test peut être automatisée. Dans la génération automatique de tests, il est important de considérer le critère de qualité des tests produits. Cet
APA, Harvard, Vancouver, ISO, and other styles
8

Maïga, Cheick Ismaël. "Génération de squelettes des contrats de classes et des tests unitaires en Java." Mémoire, Université de Sherbrooke, 2016. http://hdl.handle.net/11143/9473.

Full text
Abstract:
Le logiciel est devenu omniprésent dans nos vies de sorte qu'on le retrouve dans plusieurs domaines de la vie courante. Cependant cette omniprésence, n'est pas sans conséquences. Les bogues de logiciel peuvent causer de vrais désastres, économiques, écologiques voire sanitaires. Vu la forte omniprésente du logiciel dans nos vies, le fonctionnement de nos sociétés dépend fortement de sa qualité. La programmation par contrat a pour but de produire des logiciels fiables, c'est-à-dire corrects et robustes. En effet, ce paradigme de programmation vise à introduire des assertions qui sont des
APA, Harvard, Vancouver, ISO, and other styles
9

Jouve, Wilfried. "Approche déclarative pour la génération de canevas logiciels dédiés à l'informatique ubiquitaire." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2009. http://tel.archives-ouvertes.fr/tel-00402605.

Full text
Abstract:
Les applications ubiquitaires évoluent dans des environnements plus hétérogènes et plus dynamiques que ceux des systèmes distribués traditionnels. La criticité des domaines applicatifs impliqués et la vocation non intrusive de l'informatique ubiquitaire exigent de garantir la robustesse des applications avant et pendant leur déploiement en situation réelle. Les solutions proposant de gérer la dynamicité des environnements ubiquitaires offrent des canevas de programmation dont la généricité ne permet pas de garantir la fiabilité des applications développées. D'autres solutions permettent davant
APA, Harvard, Vancouver, ISO, and other styles
10

Atat, Youssef. "Conception de haut niveau des MPSoCs à partir d'une spécification Simulink : passerelle entre la conception au niveau système et la génération d'architecture." Grenoble INPG, 2007. http://www.theses.fr/2007INPG0047.

Full text
Abstract:
La technologie de fabrication actuelle permet l’intégration d’un système multiprocesseur complexe sur une seule pièce de silicium (MPSoC pour Multiprocessor System-on-Chip). Une façon de maîtriser la complexité croissante de ces systèmes est d’augmenter le niveau d’abstraction et d’aborder la conception au niveau système. Cependant, l’augmentation du niveau d’abstraction peut engendrer un fossé entre les concepts au niveau système et ceux utilisés pour l’implémentation de l’architecture Matériel/Logiciel du MPSoC. L’objectif de cette thèse est de combler le gap entre les deux niveaux d’abstrac
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Génération de logiciel"

1

(Editor), Harald Ganzinger, and Neil D. Jones (Editor), eds. Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 (Lecture Notes in Computer Science). Springer, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Génération de logiciel"

1

DURAND, Philippe, Nadine POURTHIÉ, Céline TISON, and Giorgio GOMBA. "Interférométrie SAR : principes et traitement." In Mesure du déplacement de surface à partir d’images de télédétection. ISTE Group, 2024. https://doi.org/10.51926/iste.9083.ch4.

Full text
Abstract:
L’interférométrie radar à synthèse d’ouverture (InSAR) combine deux images SAR SLC (single-look-complex) pour exploiter les informations géométriques contenues dans la différence de phase des deux images. Ce chapitre explique les principes de l’InSAR. Il détaille notamment les principales étapes du traitement de l’interférométrie radar, qui sont communes à presque toutes les chaînes de traitement (comme la focalisation de l’image, le rééchantillonnage avec la même géométrie d’acquisition, le filtrage en bande commune, la génération d’interférogrammes et de cartes de cohérence, le filtrage des
APA, Harvard, Vancouver, ISO, and other styles
2

"La génération des nombres aléatoires." In La sécurité logicielle: une approche défensive. Presses de l'Université Laval, 2021. http://dx.doi.org/10.2307/j.ctv1qp9gsh.7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Génération de logiciel' for particular source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography