Littérature scientifique sur le sujet « Génération de logiciel »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Génération de logiciel ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Génération de logiciel"
Soyer, A., et A. Rimsky. « Logiciel de génération et représentation de structures cristallines ». Journal of Applied Crystallography 25, no 2 (1 avril 1992) : 214–20. http://dx.doi.org/10.1107/s0021889891012086.
Texte intégralContant, Chantal. « Génération automatique de rapports boursiers français et anglais ». Revue québécoise de linguistique 17, no 1 (12 mai 2009) : 197–221. http://dx.doi.org/10.7202/602620ar.
Texte intégralManneheut, Agnès, et Emmanuelle Paulet-Grandguillot. « Folio au SCD de Nantes : le choix d’un logiciel de nouvelle génération ». Arabesques, no 113 (1 avril 2024) : 16–17. http://dx.doi.org/10.35562/arabesques.4094.
Texte intégralAndary, Philippe, Daniel Krob et 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 (janvier 1994) : 221–41. http://dx.doi.org/10.1080/12460125.1994.10511622.
Texte intégralDí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.
Texte intégralSicard, E., S. Ben Dhia et L. Trojman. « Conception de cellules nano-CMOS – Perspectives à dix ans ». J3eA 23 (2024) : 1018. http://dx.doi.org/10.1051/j3ea/20241018.
Texte intégralBoyadjian, Julien. « Les logiques sociales de structuration de l’audience de l’internet français ». Réseaux N° 243, no 1 (20 février 2024) : 67–101. http://dx.doi.org/10.3917/res.243.0067.
Texte intégralEl Bettioui, Rachid, Abdelkhalil Haidane, Lhassane Jaouhari et 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.
Texte intégralBertrand-Gastaldy, Suzanne, et 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 (13 février 2015) : 75–89. http://dx.doi.org/10.7202/1028612ar.
Texte intégralBlanpain, O., et 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 (12 avril 2005) : 317–32. http://dx.doi.org/10.7202/705354ar.
Texte intégralThèses sur le sujet "Génération de logiciel"
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.
Texte intégralChevalley, 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.
Texte intégralBertault, François. « Génération et tracé de structures décomposables ». Nancy 1, 1997. http://www.theses.fr/1997NAN10297.
Texte intégralThe main goal of the thesis is to conceive algorithms and tools to assist people who study a special kind of combinatorial structures, namely decomposable structures. The two major questions we try to solve are: How to generate, randomly or by some systematic procedure, a decomposable structure; How to draw decomposable structures. Decornposable structures are combinatorial structures that are recursively described using a small set of constructors. The idea consists in considering a structure as a process of construction from simpler structures. The main interest of the decomposable structure theory is that we can describe an infinite number of different sets of structures, including permutations, varions kind of trees or functional graphs, for which we can solve counting and random generation problems. Possible applications are the average case analysis of algorithms and the production of test inputs for the experimental validation of programs. We propose an algorithm for drawing decomposable structures based on the translation into special graphs, that we call composed graphs, in which bath inclusion and adjacency relationships can exist. The principle is based on the translation of decomposable structures into composed graphs, i. E. Graphs with both inclusion and adjacency relationships. The drawing of composed graph is achieved by using different classical graph drawing algorithm together. The number of algorithms that can be used on a sarne drawing is infinite. The only restriction is that the algorithms must be able to draw graphs with arbitrary node sizes. We present two graph drawing software realisations that we wrote in order to validate the algorithms presented in the thesis. They can be linked to combinatorial structure generation programs in order to form integrated systems. We also investigate their use for the visualisation of large data structures
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.
Texte intégralLe, 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.
Texte intégralRibereau, 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.
Texte intégralBelhaouari, 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.
Texte intégralMaï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.
Texte intégralJouve, 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.
Texte intégral– Nous proposons l'approche DIAGEN qui permet, à partir de spécifications d'architectures logicielles ubiquitaires, de générer du support de programmation et un ensemble de vérifications dédiés au développement d'applications ubiquitaires. Ces spécifications reposent sur un langage déclaratif, appelé DIASPEC, qui permet de décrire les types de services composant les applications ubiquitaires cibles. Le compilateur DIASPEC vérifie la cohérence des spécifications et génère, à partir de celles-ci, des canevas de programmation dédiés. Les canevas de programmation générés garantissent l'intégrité des communications d'applications dynamiques.
– Nous avons développé DIASIM, un simulateur pour tester à l'exécution, le comportement des applications développées avec l'approche DIAGEN. DIASIM permet de tester les applications sans les modifier et d'intégrer incrémentalement des services réels dans les scénarios de simulation.
– Nous avons montré que l'approche DIAGEN permet davantage de vérifications statiques tout en gérant la dynamicité des environnements ubiquitaires et en permettant une plus grande concision des applications développées. Nous avons analysé les canevas de programmation générés pour la gestion de réunion, l'immotique et la téléphonie.
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.
Texte intégralThe current fabrication technology allows the integration of a complex multiprocessor system on one silicon part (MPSoC for Multiprocessor System-one-Chip). A way to control the increasing complexity of these systems is to increase the abstraction level and to adopt the system level design. However, the increase of the abstraction level can make a huge gap between the system level concepts and those used for the hardware/software architecture implementation of MPSoC. The objective of this thesis is to fill the gap between the two abstractions levels by proposing an efficient bridge between the algorithms development aid tools (Matlab\Simulink) and the architectures design tools (ROSES and macro-Cell builder). This is accomplished: - By defining a transactional model in the Simulink environment. This intermediate model combines algorithm and architecture. It allows the early definition of the implementation platform and establishes continuity between the functional model and the architectural model. - By automating the passage between the system level and the architectural level, to accelerate the MPSoCs design procedure and to reduce the errors quantity caused by manual design in a unified environment. The relevance of this work was evaluated by its application to the MP3 decoder design presented in this memory
Livres sur le sujet "Génération de logiciel"
(Editor), Harald Ganzinger, et Neil D. Jones (Editor), dir. Programs as Data Objects : Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 (Lecture Notes in Computer Science). Springer, 1986.
Trouver le texte intégralChapitres de livres sur le sujet "Génération de logiciel"
« La génération des nombres aléatoires ». Dans La sécurité logicielle : une approche défensive, 133–72. Presses de l'Université Laval, 2021. http://dx.doi.org/10.2307/j.ctv1qp9gsh.7.
Texte intégral