Auswahl der wissenschaftlichen Literatur zum Thema „Génération de logiciel“

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Génération de logiciel" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Zeitschriftenartikel zum Thema "Génération de logiciel"

1

Soyer, A., und A. Rimsky. „Logiciel de génération et représentation de structures cristallines“. Journal of Applied Crystallography 25, Nr. 2 (01.04.1992): 214–20. http://dx.doi.org/10.1107/s0021889891012086.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
2

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

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
3

Manneheut, Agnès, und Emmanuelle Paulet-Grandguillot. „Folio au SCD de Nantes : le choix d’un logiciel de nouvelle génération“. Arabesques, Nr. 113 (01.04.2024): 16–17. http://dx.doi.org/10.35562/arabesques.4094.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Andary, Philippe, Daniel Krob und 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, Nr. 3 (Januar 1994): 221–41. http://dx.doi.org/10.1080/12460125.1994.10511622.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 de l’outil dans l’histoire des idées linguistiques.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

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

Der volle Inhalt der Quelle
Annotation:
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 majeures associées à chaque génération technologique.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

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

Der volle Inhalt der Quelle
Annotation:
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. Alors que les inégalités d’accès à internet et les inégalités de compétences numériques ont été bien documentées dans la littérature spécialisée, cette recherche met en exergue une dimension moins souvent étudiée de la « fracture numérique » : les inégalités de navigation des internautes. Plutôt qu’évoquer une fracture numérique de « troisième génération », l’article postule plutôt l’existence d’une homologie structurale entre l’espace numérique et l’espace social « réel ».
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

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

Der volle Inhalt der Quelle
Annotation:
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 pandémie de COVID-19 pour maintenir la formation des étudiants. La méthode de recherche utilisée est la méthode quantitative. Ainsi, un questionnaire en ligne a été rempli par 487 étudiants de l’Ecole supérieure de technologie d’Agadir de l’université Ibn Zohr au Maroc. Les données collectées ont été analysées premièrement par la méthode descriptive (statistique descriptive uni-variée), puis par la méthode analytique en appliquant le Test de Khi-deux, à l’aide du logiciel IBM SPSS Statistics. Cette dernière a été menée pour analyser les relations entre les variables du modèle conceptuel. Les résultats de cette recherche ont révélé que l’accélération de la transformation digitale de l’enseignement supérieur fait face à plusieurs défis. Au niveau des apprenants, de nombreux étudiants éprouvent de sérieuses difficultés à utiliser les plateformes digitales de l’enseignement à savoir le problème de lenteur et de coût de connexion internet, la qualité de la vidéo et du son des vidéoconférences, la difficulté de compréhension des cours… Par conséquent, ils ne participent pas toujours à leurs classes virtuelles.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Bertrand-Gastaldy, Suzanne, und 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, Nr. 2 (13.02.2015): 75–89. http://dx.doi.org/10.7202/1028612ar.

Der volle Inhalt der Quelle
Annotation:
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 segments textuels, génération de lexiques, analyses lexico-statistiques diverses, définition de sous-ensembles de textes et de lexiques. On examine ensuite l’aide apportée dans l’élaboration de thésaurus : extraction d’unités lexicales simples et complexes, pondération pour faciliter le choix, regroupements divers, repérage en contexte de formes équivalentes, de synonymes, de termes génériques et spécifiques, de termes associés. L’indexation assistée par ordinateur est également illustrée, avec des perspectives d’analyse « sur mesure », de même que plusieurs stratégies d’interrogation. On conclut sur la nécessité de résoudre les questions théoriques auxquelles l’analyse du contenu confronte désormais les spécialistes de l’information.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Blanpain, O., und 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, Nr. 2 (12.04.2005): 317–32. http://dx.doi.org/10.7202/705354ar.

Der volle Inhalt der Quelle
Annotation:
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 usités sont un modèle basé sur les équations de Barré de Saint Venant et des modèles conceptuels nettement plus simples tels que le modèle Muskingum. Ces modèles présentent chacun des avantages et des inconvénients. Dans la pratique, plus un modèle est sophistiqué, mieux il est capable de représenter la réalité. En contrepartie, il est plus difficile à utiliser et nécessite davantage de données et des temps de calcul plus importants. Le problème qui se pose alors à l'utilisateur est de décider quel modèle utiliser. Pour régler ce problème, nous proposons un système d'aide au choix prenant en compte les caractéristiques du réseau étudié, les événements pluvieux simulés et le type d'étude réalisée. Les connaissances nécessaires pour cette aide au choix de modèles peuvent être de qualité variable. Pour mesurer la confiance à accorder à ces connaissances, il est nécessaire de prendre en compte les notions d'imprécision et d'incertitude. Cet état de fait nous a conduit, lors de l'élaboration de cet outil d'aide au choix des modèles de propagation en conduite, à définir un ensemble de règles utilisant la théorie des sous-ensembles flous.
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Dissertationen zum Thema "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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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) permettant ainsi la génération automatique à la fois des entrées de test statistiques et des sorties attendues. Le pouvoir d'efficacité de cette stratégie mixte est évalué par une technique d'injection de fautes logicielles, analyse de mutation. Dans ce cadre, un outil d'analyse de mutation pour programmes Java a été développé sur les bases d'une idée originale, associant analyse syntaxique et réflexivité pour l'injection de différents types de fautes (traditionnelles et orientées-objet). Ces travaux théoriques sont illustrés sur une étude de cas industrielle du domaine avionique. Les résultats expérimentaux confirment la pertinence de l'approche élaborée et montrent son efficacité prometteuse vis-à-vis de la recherche de fautes. Ces mesures d'efficacité sont complétées par une étude comparative de l'approche proposée avec une approche déterministe utilisée expérimentalement chez Rockwell-Collins.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

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

Der volle Inhalt der Quelle
Annotation:
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 similaire à celui adopté dans la théorie des espèces de structures, où l'on privilégie la description d'ensembles de structures à partir de transformations d'ensembles existants. Il est alors possible, grâce à des spécifications, de décrire une infinité d'ensembles de structures combinatoires parmi lesquels les permutations, les graphes fonctionnels, les arbres enracinés ou encore les hiérarchies. L'intérêt de cette démarche tient au fait que l'on sait résoudre des problèmes de dénombrement et de comportement asymptotique sur ces ensembles et générer aléatoirement de façon uniforme des structures de ces ensembles. Les applications concernent le calcul de complexité en moyenne d'algorithmes, et la génération de jeux de tests pour la validation expérimentale ou l'étalonnage d'algorithmes. Nous présentons dans cette thèse deux types de résultats. Les premiers concernent la génération de structures décomposables, les seconds leur représentation graphique. Nous présentons une implantation d'un algorithme classique de génération aléatoire de structures décomposables, et nous proposons des techniques permettant de générer tous les éléments d'un ensemble à partir de sa spécification. Nous proposons également un algorithme de tracé de graphes particuliers, pour lesquels il existe à la fois des relations d'adjacence et d'inclusion entre les noeuds. Ces graphes, que nous appelons les graphes composés, sont en effet bien adaptés à la représentation de la nature générique des structures décomposables. Ce travail est concrétisé par la réalisation de deux logiciels de tracé de structures combinatoires. Leur utilisation n'est cependant pas limitée à ce seule domaine et les aspsects liés à leur application à la visualisation de graphes en général sont abordés
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
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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èle de cas d'utilisation simulables (via l'ajout de contrats interprétables). Des critères de test permettent alors de générer des objectifs de test de haut niveau, qui sont ensuite raffinés vers des cas de test en utilisant des scénarios. La variabilité dans les exigences est prise en compte à chaque niveau de la génération de tests, cette approche est donc adaptée aux lignes de produits.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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. Cette qualité dépend des différents modes de productions. Le mode offrant la meilleur qualité consiste à analyser finement la spécification à l'aide de techniques de satisfaction de contraintes. Afin d'améliorer la qualité du logiciel, nous proposons dans cette thèse une méthodologie complète reposant sur la conception par contrat et différentes vérifications (dynamique et statique). En particulier, la génération automatique de tests dont l'enjeu est de produire de véritables scénarios de test qui suivent le plus précisément possible les spécifications ainsi qu'une stratégie de test clairement définie. La mise en œuvre des outils repose en grande partie sur un moteur de résolution de contrainte offrant une architecture ouverte. Ainsi l'utilisateur peut intégrer des types complexes qui ne sont pas supportés initialement grâce à la notion de constructeur de type. Nous présentons notamment le support pour deux types complexes: les tableaux bornés et les chaînes de caractères.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 spécifications de services. Ces spécifications représentent une forme de contrat. Les contrats définissent les responsabilités entre le client et le fournisseur. Le respect des contrats permet de garantir que le logiciel ne fait ni plus ni moins que ce que l'on attend de lui qu'il fasse. Le test unitaire est un test qui permet de s'assurer du bon fonctionnement d'une partie précise d'un logiciel. C'est un test dont la vérification se fait en exécutant une petite unité de code. En somme, un test unitaire est un code qui exécute de manière indirecte le code d'une classe pour vérifier que le code fonctionne bien. L'outil Génération de Squelettes des Contrats de classes et des tests unitaires (GACTUS) permet la génération automatique de squelettes de contrats de classes et celles des classes des tests unitaires d'un projet Java. La génération automatique du code source permet d'obtenir un code uniforme. GACTUS est un plug-in pour l'environnement de développement Eclipse écrit en Java. L'objectif principal de GACTUS est de faciliter la réalisation de logiciel de qualité grâce à la génération automatique des squelettes de contrats de classe et celui des tests unitaires et aussi d'accroître la productivité des développeurs. Pour faciliter son utilisation, GACTUS dispose d'une interface graphique permettant de guider l'utilisateur.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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 davantage de vérifications en assurant, par exemple, l'intégrité des communications. Cependant, ces vérifications, telles que proposées dans ces solutions, empêchent la prise en compte de la dynamicité, indispensable à la mise en oeuvre d'applications ubiquitaires. Dans cette thèse, nous proposons un canevas logiciel visant à concevoir, développer, vérifier et tester les applications ubiquitaires avant leur déploiement en environnements réels. Notre approche repose sur des spécifications haut niveau des applications cibles. Chaque spécification, écrites dans le langage DIASPEC, est analysée, vérifiée et compilée par le compilateur DIASPEC qui génère un canevas logiciel dédié, incluant un canevas de programmation et un canevas de simulation. Les canevas de programmation générés fournissent du support pour la programmation d'applications ubiquitaires. Ils garantissent l'intégrité des communications tout en permettant la gestion de la dynamicité des environnements ubiquitaires. Les canevas de simulation générés fournissent du support pour le test des applications ainsi développées. Les contributions de cette thèse sont les suivantes :
– 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.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
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.

Der volle Inhalt der Quelle
Annotation:
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’abstractions utilisés en proposant une passerelle efficace entre les outils d’aide au développement d’algorithmes (Matlab\Simulink) et les outils de conception des architectures (ROSES et macro-Cell builder). Ceci est accompli : - En définissant un modèle intermédiaire transactionnel dans l’environnement Simulink. Ce modèle intermédiaire combine l’algorithme et l’architecture. Il permet la définition précoce de la plateforme d’implémentation et établit une continuité entre le modèle fonctionnel et le modèle architectural. - En automatisant le passage entre le niveau système et le niveau architectural, dans le but d’accélérer la procédure de la conception des MPSoCs et de réduire la quantité des erreurs provoquées par le travail manuel dans un environnement unifié. La pertinence de ce travail a été évaluée par son application à la conception du décodeur MP3 présenté dans ce mémoire
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
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Bücher zum Thema "Génération de logiciel"

1

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

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Buchteile zum Thema "Génération de logiciel"

1

„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.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!

Zur Bibliographie