• Aucun résultat trouvé

Une approche déclarative pour la génération de modèles

N/A
N/A
Protected

Academic year: 2021

Partager "Une approche déclarative pour la génération de modèles"

Copied!
211
0
0

Texte intégral

Loading

Figure

Figure 2.1 – Chronologie des principaux langages de modélisation utilisés en informatique.
Figure 2.3 – Un diagramme SADT décrivant le processus de rédaction d’un papier.
Figure 2.4 – Architecture de modèles à 4 niveaux en IDM. À droite : des exemples concrets.
Figure 2.8 – Schéma de transformation d’un modèle UML en modèle de code Java, C♯.
+7

Références

Documents relatifs

Dans la deuxième partie de cette thèse, nous avons proposé un modèle analytique et une étude numérique pour étudier les propriétés dynamiques et rhéologiques d’une suspension

Pour ˆetre plus r´ealiste, il faudra encore dans un proche avenir cr´eer une v´eritable r´etroaction entre peau et syst`eme de particules, comme s’´etait le cas dans notre

Le multi-acc` es donne la possibilit´ e d’utiliser plu- sieurs interfaces r´ eseau d’une machine terminale pour profiter de plusieurs chemins de transmission ind´ ependants entre

En s’appuyant sur ces deux extensions, Caprau, De la Pena et MacGahan introduisent dans [13] le monoïde de tresses virtuelles singulières SVB n dont ils donnent une définition en

Les intergiciels fournissent, au-dessus des environnements physiques et des systèmes d’exploi- tation, une couche d’abstraction qui est composée (1) d’un canevas de

Les sorcières rapetissent mais en même temps, elles deviennent très grosses et très larges, et elles font encore très peur?. Carabique, Carabosse et

Dans la deuxième partie de cette thèse, nous avons proposé un modèle analytique et une étude numérique pour étudier les propriétés dynamiques et rhéologiques d’une suspension

A partir d’une première démonstration d’un OEO à 10 GHz basé sur un anneau ayant un coefficient de qualité de 10 8 et de la mesure de son bruit de phase [1],