Добірка наукової літератури з теми "Génération de logiciel"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Génération de logiciel".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Génération de logiciel"
Soyer, A., and A. Rimsky. "Logiciel de génération et représentation de structures cristallines." Journal of Applied Crystallography 25, no. 2 (April 1, 1992): 214–20. http://dx.doi.org/10.1107/s0021889891012086.
Повний текст джерелаContant, Chantal. "Génération automatique de rapports boursiers français et anglais." Revue québécoise de linguistique 17, no. 1 (May 12, 2009): 197–221. http://dx.doi.org/10.7202/602620ar.
Повний текст джерела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.
Повний текст джерела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 (January 1994): 221–41. http://dx.doi.org/10.1080/12460125.1994.10511622.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерелаBoyadjian, Julien. "Les logiques sociales de structuration de l’audience de l’internet français." Réseaux N° 243, no. 1 (February 20, 2024): 67–101. http://dx.doi.org/10.3917/res.243.0067.
Повний текст джерела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.
Повний текст джерела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 (February 13, 2015): 75–89. http://dx.doi.org/10.7202/1028612ar.
Повний текст джерела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 (April 12, 2005): 317–32. http://dx.doi.org/10.7202/705354ar.
Повний текст джерелаДисертації з теми "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.
Повний текст джерела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.
Повний текст джерелаBertault, François. "Génération et tracé de structures décomposables." Nancy 1, 1997. http://www.theses.fr/1997NAN10297.
Повний текст джерелаThe 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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела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.
Повний текст джерела– 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.
Повний текст джерелаThe 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
Книги з теми "Génération de logiciel"
(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.
Знайти повний текст джерелаЧастини книг з теми "Génération de logiciel"
"La génération des nombres aléatoires." In 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.
Повний текст джерела