Définition formelle d'un générateur de solutions d'allocation spatiale en deux dimensions : application à l'urbanisme
Dans le cadre d'une application à l'architecture réalisée par l'équipe de conception assistée de l'IMAG, on propose un processus opératoire faisant partie du systeme SIGMA-ARCHI d'aide à la conception architecturale. Le but de ce processus est de fournir un outil d'allo...
Main Author: | Villamayor, Rita |
---|---|
Language: | FRE |
Published: |
1980
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00293126 http://tel.archives-ouvertes.fr/docs/00/29/31/26/PDF/Villamayor.Rita_1980_these.pdf |
Similar Items
-
Langages de description de systèmes logiques : propositions pour une méthode formelle de définition
by: Borrione, Dominique
Published: (1981) -
Méthodes de calcul des valeurs propres d'une matrice quelconque par utilisation de transformations unitaires
by: Wolf, Jacques
Published: (1965) -
Etude des possibilités d'interaction homme-machine dans un processus de traduction automatique : spécification d'un système d'aide à la rédaction en vue d'une traduction par machine, définition d'un langage de spécification linguistique
by: Zajac, Rémi
Published: (1986) -
Conception descendante de machine informatique : étude et définition du langage intermédiaire et d'une machine formelle multiprocesseurs orientée vers l'exécution du langage PASCAL
by: Fortier, Robert
Published: (1975) -
Définition du langage CASSANDRE : pour la conception aidée et la simulation des systèmes logiques, leur analyse, description et réalisation
by: Mermet, Jean
Published: (1970)