Bibliografie tematiche / Génération de logiciel

Indice

  1. Articoli di riviste
  2. Tesi
  3. Libri
  4. Capitoli di libri

Letteratura scientifica selezionata sul tema "Génération de logiciel"

Autore: Grafiati
Pubblicato: 7 settembre 2024
Ultima modifica: 31 luglio 2025

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Génération de logiciel".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "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.

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Tesi sul tema "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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
3

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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è
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Libri sul tema "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.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Capitoli di libri sul tema "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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Ti possono interessare anche gli elenchi estesi di opere sul tema "Génération de logiciel":
Articoli di riviste Tesi
Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!

Vai alla bibliografia