Gotowa bibliografia na temat „Génération de logiciel”

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Génération de logiciel”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Rozprawy doktorskie na temat "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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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è
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Książki na temat "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.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Części książek na temat "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.

Pełny tekst źródła
Streszczenie:
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 franges, etc.). Après avoir discuté de ces étapes clés, ce chapitre illustrera cette méthode de mesure des mouvements du sol avec le cas d’un tremblement de terre en utilisant le logiciel libre ORFEO Tool Box. Un aperçu rapide des solutions logicielles InSAR existantes est également fourni.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!