Human Capital Externalities in the Canadian Metropolitan Areas: How Do We Measure Human Capital?

Rapport de recherche

Quantifying Capital Mobility in OECD and EU Areas.

Rapport de recherche

Suivi des changements des utilisations/occupations du sol en milieu urbain par imagerie satellitale de résolution spatiale moyenne : le cas de la région métropolitaine de Montréal

De nos jours les cartes d’utilisation/occupation du sol (USOS) à une échelle régionale sont habituellement générées à partir d’images satellitales de résolution modérée (entre 10 m et 30 m). Le National Land Cover Database aux États-Unis et le programme CORINE (Coordination of information on the environment) Land Cover en Europe, tous deux fondés sur les images LANDSAT, en sont des exemples représentatifs. Cependant ces cartes deviennent rapidement obsolètes, spécialement en environnement dynamique comme les megacités et les territoires métropolitains. Pour nombre d’applications, une mise à jour de ces cartes sur une base annuelle est requise. Depuis 2007, le USGS donne accès gratuitement à des images LANDSAT ortho-rectifiées. Des images archivées (depuis 1984) et des images acquises récemment sont disponibles. Sans aucun doute, une telle disponibilité d’images stimulera la recherche sur des méthodes et techniques rapides et efficaces pour un monitoring continue des changements des USOS à partir d’images à résolution moyenne. Cette recherche visait à évaluer le potentiel de telles images satellitales de résolution moyenne pour obtenir de l’information sur les changements des USOS à une échelle régionale dans le cas de la Communauté Métropolitaine de Montréal (CMM), une métropole nord-américaine typique. Les études précédentes ont démontré que les résultats de détection automatique des changements dépendent de plusieurs facteurs tels : 1) les caractéristiques des images (résolution spatiale, bandes spectrales, etc.); 2) la méthode même utilisée pour la détection automatique des changements; et 3) la complexité du milieu étudié. Dans le cas du milieu étudié, à l’exception du centre-ville et des artères commerciales, les utilisations du sol (industriel, commercial, résidentiel, etc.) sont bien délimitées. Ainsi cette étude s’est concentrée aux autres facteurs pouvant affecter les résultats, nommément, les caractéristiques des images et les méthodes de détection des changements. Nous avons utilisé des images TM/ETM+ de LANDSAT à 30 m de résolution spatiale et avec six bandes spectrales ainsi que des images VNIR-ASTER à 15 m de résolution spatiale et avec trois bandes spectrales afin d’évaluer l’impact des caractéristiques des images sur les résultats de détection des changements. En ce qui a trait à la méthode de détection des changements, nous avons décidé de comparer deux types de techniques automatiques : (1) techniques fournissant des informations principalement sur la localisation des changements et (2)techniques fournissant des informations à la fois sur la localisation des changements et sur les types de changement (classes « de-à »). Les principales conclusions de cette recherche sont les suivantes : Les techniques de détection de changement telles les différences d’image ou l’analyse des vecteurs de changements appliqués aux images multi-temporelles LANDSAT fournissent une image exacte des lieux où un changement est survenu d’une façon rapide et efficace. Elles peuvent donc être intégrées dans un système de monitoring continu à des fins d’évaluation rapide du volume des changements. Les cartes des changements peuvent aussi servir de guide pour l’acquisition d’images de haute résolution spatiale si l’identification détaillée du type de changement est nécessaire. Les techniques de détection de changement telles l’analyse en composantes principales et la comparaison post-classification appliquées aux images multi-temporelles LANDSAT fournissent une image relativement exacte de classes “de-à” mais à un niveau thématique très général (par exemple, bâti à espace vert et vice-versa, boisés à sol nu et vice-versa, etc.). Les images ASTER-VNIR avec une meilleure résolution spatiale mais avec moins de bandes spectrales que LANDSAT n’offrent pas un niveau thématique plus détaillé (par exemple, boisés à espace commercial ou industriel). Les résultats indiquent que la recherche future sur la détection des changements en milieu urbain devrait se concentrer aux changements du couvert végétal puisque les images à résolution moyenne sont très sensibles aux changements de ce type de couvert. Les cartes indiquant la localisation et le type des changements du couvert végétal sont en soi très utiles pour des applications comme le monitoring environnemental ou l’hydrologie urbaine. Elles peuvent aussi servir comme des indicateurs des changements de l’utilisation du sol. De techniques telles l’analyse des vecteurs de changement ou les indices de végétation son employées à cette fin.

Relations sociales et troubles dépressifs chez les personnes âgées au Québec : interactions avec le genre et la région de résidence

Chez les personnes âgées, la dépression est un problème important en santé publique, à cause de sa prévalence élevée et de son association avec les incapacités fonctionnelles, la mortalité et l’utilisation des services. La plupart des études ont montré que le manque de relations sociales était associé à la dépression, mais les résultats ne sont pas clairs. Au Québec et au Canada, on possède peu de données sur la prévalence de la dépression chez les personnes âgées et de son association avec les relations sociales. Peu d’études ont examiné le rôle des relations sociales sur l’utilisation des services de santé par les personnes âgées déprimées. Le but de cette recherche était d’examiner le rôle des relations sociales dans la présence de la dépression et dans la consultation chez un professionnel de la santé des personnes âgées déprimées, au Québec. Plus spécifiquement, ce travail visait à : 1) examiner les associations entre les relations sociales et les troubles dépressifs selon la région de résidence; 2) examiner les associations différentielles des relations sociales sur la dépression des femmes et des hommes âgés; 3) examiner le rôle des relations sociales dans la consultation auprès d’un professionnel de la santé des personnes âgées déprimées. Pour répondre à ces objectifs, nous avons utilisé les données de l’enquête ESA (Enquête sur la Santé des Aînés), réalisée en 2005 -2006 auprès d’un échantillon de 2670 personnes âgées résidant à domicile au Québec, qui nous ont permis de rédiger trois articles. Les troubles dépressifs (incluant la dépression majeure et mineure) ont été mesurés, selon les critères du DSM-IV, en excluant le critère de l’altération du fonctionnement social, professionnel ou dans d’autres domaines importants, à l’aide du questionnaire ESA développé par l’équipe de recherche. Les relations sociales ont été mesurées à l’aide de cinq variables : (1) le réseau social; (2) l’intégration sociale; (3) le soutien social, (4) la perception d’utilité auprès des proches et (5) la présence de relations conflictuelles avec le conjoint, les enfants, les frères et sœurs et les amis. Des modèles de régression logistique multiple ont été ajustés aux données pour estimer les rapports de cote et leur intervalle de confiance à 95 %. Nos résultats ont montré des prévalences de dépression plus élevées chez les personnes qui résident dans les régions rurales et urbaines, comparées à celles qui résident dans la région métropolitaine de Montréal. La pratique du bénévolat, le soutien social et les relations non conflictuelles avec le conjoint sont associés à une faible prévalence de dépression, indépendamment du type de résidence. Comparés aux hommes, les femmes ont une prévalence de dépression plus élevée. L’absence de confident est associée à une prévalence de dépression élevée, tant chez les hommes que chez les femmes. La probabilité de dépression est plus élevée chez les hommes veufs et chez ceux qui ne pratiquent pas d’activités de bénévolat, comparativement à ceux qui sont mariés et font du bénévolat. Chez les femmes, aucune association significative n’a été observée entre le statut marital, le bénévolat et la dépression. Cependant, la présence de relations conflictuelles avec le conjoint est associée avec la dépression, seulement chez les femmes. Les relations avec les enfants, les frères et sœurs et les amis ne sont pas associées avec la dépression dans cette population de personnes âgées du Quebec. En ce qui concerne la consultation chez un professionnel de la santé, nos résultats ont révélé que presque la moitié des personnes âgées dépressives n’ont pas consulté un professionnel de la santé, pour leurs symptômes de dépression, au cours des 12 derniers mois. Par ailleurs, notre étude a montré que les personnes âgées qui disposent de tous les types de soutien (confident, émotionnel et instrumental) consultent plus pour leurs symptômes de dépression que ceux qui ont moins de soutien. Comparativement aux hommes mariés, les femmes mariées consultent plus les professionnels de la santé, ce qui laisse supposer que le réseau de proches (épouse et enfants) semble agir comme un substitut en réduisant la fréquence de consultation chez les hommes. Vu la rareté des études canadiennes sur la prévalence de la dépression chez les personnes âgées et les facteurs psychosociaux qui y sont associés, les résultats de ce travail seront utiles pour les cliniciens et pour les responsables des politiques à l’échelle nationale, provinciale et locale. Ils pourront guider des interventions spécifiques, selon la région de résidence et pour les hommes et les femmes âgées, dans le domaine de la santé mentale.

La pratique médicale des omnipraticiens : influence des contextes organisationnel et géographique

L’utilisation des services de santé est au centre de l’organisation des soins. La compréhension des processus qui déterminent cette utilisation est essentielle pour agir sur le système de santé et faire en sorte qu’il réponde mieux aux besoins de la population. L’objectif de cette thèse est de comprendre le phénomène complexe qu’est l’utilisation des services de santé en s’intéressant à la pratique des médecins omnipraticiens. En nous appuyant sur le cadre théorique de Donabedian, nous décomposons les déterminants de l’utilisation des services de santé en trois niveaux : le niveau individuel, le niveau organisationnel, et le niveau environnemental. Pour tenir compte de la complexité des phénomènes de cette étude nous proposons de nous appuyer sur l’approche configurationnelle. Notre question de recherche est la suivante : dans quelle mesure le mode d’exercice des omnipraticiens influence-t-il la prestation des services et comment l’environnement géographique et la patientèle modulent-ils cette relation ? Nous avons utilisé des bases de données jumelées du Collège des médecins du Québec, de la Régie d’assurance maladie du Québec et de la banque de données iCLSC. Notre échantillon est constitué des médecins omnipraticiens de l’année 2002, ayant satisfait aux critères d’inclusion, ce qui représente près de 70% de la population totale. Des analyses de correspondances multiples et des classifications ascendantes hiérarchiques ont été utilisées pour réaliser la taxonomie des modes d’exercice et des contextes géographiques. Nous avons construit des indicateurs d’utilisation des services de santé pour apprécier la continuité, la globalité, l’accessibilité et la productivité. Ces indicateurs ont été validés en les comparant à ceux d’une enquête populationnelle. Nous présentons tout d’abord les modes d’exercice des médecins qui sont au nombre de sept. Deux modes d’exercice à lieu unique ont émergé : le mode d’exercice en cabinet privé d'une part, caractérisé par des niveaux de continuité et productivité élevés, le mode d’exercice en CLSC d'autre part présentant un niveau de productivité faible et des niveaux de globalité et d'accessibilité légèrement au-dessus de la moyenne. Dans les cinq autres modes d’exercice, les médecins exercent leur pratique dans une configuration de lieux. Deux modes d’exercice multi-institutionnel réunissent des médecins qui partagent leur temps entre les urgences, les centres hospitaliers et le cabinet privé ou le CLSC. Les médecins de ces deux groupes présentent des niveaux d’accessibilité et de productivité très élevés. Le mode d’exercice le moins actif réunit des médecins travaillant en cabinet privé et en CHLSD. Leur niveau d’activité est inférieur à la moyenne. Ils sont caractérisés par un niveau de continuité très élevé. Le mode d’exercice ambulatoire regroupe des médecins qui partagent leur pratique entre le CLSC, le cabinet privé et le CHLSD. Ces médecins présentent des résultats faibles sur tous les indicateurs. Finalement le mode d’exercice hospitaliste réunit des médecins dont la majorité de la pratique s’exerce en milieu hospitalier avec une petite composante en cabinet privé. Dans ce mode d’exercice tous les indicateurs sont faibles. Les analyses ont mis en évidence quatre groupes de territoires de CSSS : les ruraux, les semi-urbains, les urbains et les métropolitains. La prévalence des modes d’exercice varie selon les contextes. En milieu rural, le multi-institutionnel attire près d’un tiers des médecins. En milieu semi-urbain, les médecins se retrouvent de façon plus prédominante dans les modes d’exercice ayant une composante CLSC. En milieu urbain, les modes d’exercice ayant une composante cabinet privé attirent plus de médecins. En milieu métropolitain, les modes d’exercice moins actif et hospitaliste attirent près de 40% des médecins. Les omnipraticiens se répartissent presque également dans les autres modes d’exercice. Les niveaux des indicateurs varient en fonction de l’environnement géographique. Ainsi l’accessibilité augmente avec le niveau de ruralité. De façon inverse, la productivité augmente avec le niveau d’urbanité. La continuité des soins est plus élevée en régions métropolitaines et rurales. La globalité varie peu d’un contexte à l’autre. Pour pallier à la carence de l’analyse partielle de l’organisation de la pratique des médecins dans la littérature, nous avons créé le concept de mode d’exercice comme la configuration de lieux professionnels de pratique propre à chaque médecin. A notre connaissance, il n’existe pas dans la littérature, d’étude qui ait analysé simultanément quatre indicateurs de l’utilisation des services pour évaluer la prestation des services médicaux, comme nous l’avons fait. Les résultats de nos analyses montrent qu’il existe une différence dans la prestation des services selon le mode d’exercice. Certains des résultats trouvés sont documentés dans la littérature et plus particulièrement quand il s’agit de mode d’exercice à lieu unique. La continuité et la globalité des soins semblent évoluer dans le même sens. De même, la productivité et l’accessibilité sont corrélées positivement. Cependant il existe une tension, entre les premiers indicateurs et les seconds. Seuls les modes d’exercice à lieu unique déjouent l’arbitrage entre les indicateurs, énoncé dans l’état des connaissances. Aucun mode d’exercice ne présente de niveaux élevés pour les quatre indicateurs. Il est donc nécessaire de travailler sur des combinaisons de modes d’exercice, sur des territoires, afin d’offrir à la population les services nécessaires pour l’atteinte concomitante des quatre objectifs de prestation des services. Les modes d’exercice émergents (qui attirent les jeunes médecins) et les modes d’exercice en voie de disparition (où la prévalence des médecins les plus âgés est la plus grande) sont préoccupants. A noter que les modes d’exercice amenés à disparaître répondent mieux aux besoins de santé de la population que les modes d’exercice émergents, au regard de tous nos indicateurs. En conclusion, cette thèse présente trois contributions théoriques et trois contributions méthodologiques. Les implications pour les recherches futures et la décision indiquent que, si aucune mesure n’est mise en place pour renverser la tendance, le Québec risque de vivre des pénuries dans la prestation des services en termes de continuité, globalité et accessibilité.

L’effet des interventions policières sur les violences reliées aux bandes criminelles

Objectifs. L’objectif de ce mémoire est d’améliorer les connaissances quant à l’effet des interventions policières sur la violence imputable aux bandes criminelles. À travers l’évaluation des cinq plus importantes opérations policières réalisées entre 1991 et 2008 au Québec, trois modèles conceptuels sont confrontés : 1) celui du marché qui prévoit une hausse des affrontements entres bandes rivales dont le but est de prendre possession d’un marché criminel maintenant disponible en raison du retrait d’un joueur clé, 2) celui de la dissuasion qui prévoit une baisse des violences criminelles, et 3) celui de l’attrition qui envisage une baisse des violences en raison de l’essoufflement des bandes. Méthodologie. Les données de cette étude proviennent de l’Enquête générale sur les homicides de Statistique Canada. Différents taux d’homicides furent agrégés sur une base annuelle pour différentes provinces et régions métropolitaines de recensement. Des analyses de séries chronologiques interrompues furent ensuite réalisées pour estimer l’effet des interventions policières. Résultats. L’opération Printemps 2001 est la seule intervention policière à être associée à une baisse significative des homicides reliés aux bandes criminelles. « Sans-Frontière », « Colisée » et les deux escouades Carcajou de Montréal et de Québec, n’ont produit aucun effet préventif notable. Au contraire, Carcajou Montréal et Québec ont été associées à une hausse des homicides liés aux gangs. Conclusion. Les présents résultats appuient davantage la thèse de la dissuasion que celles du marché ou de l’attrition. Afin de produire un effet de dissuasion, les résultats suggèrent que l’intervention policière doit : 1) cibler un nombre important de membres de l’organisation criminelle, 2) s’attaquer aux têtes dirigeantes, 3) assurer la neutralisation des membres de l’organisation, et 4) assurer la diffusion du message pénal auprès des délinquants concernés. D’autres études sont toutefois nécessaires pour estimer l’effet des interventions policières dans d’autres contextes.

Évaluation de l’intégration "forme urbaine – transports durables" dans les trois grandes régions métropolitaines canadiennes : nouvelle approche exploratoire

La planification intégrée du développement urbain et des transports durables est aujourd’hui cruciale au double impératif d’une plus grande maîtrise des déplacements automobiles et d’une diminution de la « dépendance automobile », éléments essentiels au développement durable des grandes métropoles. La présente recherche visait l‘approfondissement des connaissances sur l‘évolution récente de la forme urbaine dans les trois régions métropolitaines canadiennes de Toronto, Montréal et Vancouver, sous l’angle particulier de l’intégration « forme urbaine – transports durables ». Notre stratégie de recherche a consisté en l’élaboration d’un cadre d‘analyse qui devait permettre une opérationnalisation complète du paradigme d‘aménagement à l‘étude ainsi qu’une évaluation de sa mise en œuvre. Ce cadre tire parti des opportunités analytiques qu‘offrent les systèmes d‘information géographique (SIG) ainsi que certains outils Internet courants de « visite virtuelle des lieux » tel que Google Earth. Il en est résulté une approche méthodologique originale, multidimensionnelle et multi-échelle. Son application a permis des analyses particulières de la forme urbaine pour chacune des trois régions cibles, structurées selon trois axes principaux : leur performance globale (autour de 2006), leur performance en périphérie métropolitaine ainsi que l’évolution de leur performance entre 2001 et 2006. De nos analyses comparatives, Vancouver se démarque avec des performances supérieures pour les trois axes, tout particulièrement pour l‘évolution de ses performances. Montréal arrive quant à elle troisième, en raison notamment de sa faible performance en périphérie. Globalement, les trois régions métropolitaines affichent de faibles niveaux d’intégration entre la forme urbaine et les réseaux de transport durable et souffrent d’une grande dépendance automobile structurelle, particulièrement en leur périphérie. Par ailleurs, en dépit d’objectifs de planification adéquats, les déficiences de leur forme urbaine et leurs progrès relativement modestes laissent présager une prédominance de la dépendance automobile qui perdurera au cours des prochaines années. Il nous apparaît primordial que tous les acteurs du domaine public fassent preuve d‘une plus grande « lucidité », voire maturité, face aux lourds constats exposant la difficile mise en œuvre de leurs objectifs ainsi que la dichotomie entre ce qui « se passe sur le terrain » et le contenu de leurs politiques. Une première étape obligée vers un raffinement des politiques et, peut-être, vers leur plus grande efficacité passe sans doute par la pleine reconnaissance des limites du paradigme d’aménagement actuel et de l‘immense défi que représente un inversement des tendances. Cela implique notamment une plus grande transparence en matière d‘évaluation des politiques ainsi que des efforts communs pour le développement et la diffusion de données de qualité dans les domaines connexes de la forme urbaine et des transports urbains, de meilleurs outils de monitoring, etc., qui pourraient aider à instituer une nouvelle synergie entre tous les acteurs impliqués tant dans la recherche urbaine, le développement urbain que les politiques d’aménagement et de transport. Le raffinement de notre propre approche méthodologique pourrait aussi bénéficier de telles avancées, approche qui constitue une des avenues possibles pour la poursuite de l‘exploration de l‘enjeu de l‘intégration « forme urbaine – transports durables » dans les régions métropolitaines canadiennes.

A portal for the Canadian Virtual Health Library / Bibliothèque virtuelle canadienne de la santé (CVHL/BVCS): Accomplishments and possibilities, scope and structure - a review of best practices

Introduction: Coordination through CVHL/BVCS gives Canadian health libraries access to information technology they could not offer individually, thereby enhancing the library services offered to Canadian health professionals. An example is the portal being developed. Portal best practices are of increasing interest (usability.gov; Wikipedia portals; JISC subject portal project; Stanford clinical portals) but conclusive research is not yet available. This paper will identify best practices for a portal bringing together knowledge for Canadian health professionals supported through a network of libraries. Description: The portal for Canadian health professionals will include capabilities such as: • Authentication • Question referral • Specialist “branch libraries” • Integration of commercial resources, web resources and health systems data • Cross-resource search engine • Infrastructure to enable links from EHR and decision support systems • Knowledge translation tools, such as highlighting of best evidence Best practices will be determined by studying the capabilities of existing portals, including consortia/networks and individual institutions, and through a literature review. Outcomes: Best practices in portals will be reviewed. The collaboratively developed Virtual Library, currently the heart of cvhl.ca, is a unique database collecting high quality, free web documents and sites relevant to Canadian health care. The evident strengths of the Virtual Library will be discussed in light of best practices. Discussion: Identification of best practices will support cost-benefit analysis of options and provide direction for CVHL/BVCS. Open discussion with stakeholders (libraries and professionals) informed by this review will lead to adoption of the best technical solutions supporting Canadian health libraries and their users.

'Are We Now Equal?' Recent experiences and perceptions of South American migrants in Argentina under MERCOSUR

De manière générale, ma thèse examine les mécanismes des processus sociaux, économiques et politiques ayant contribué, souvent de manière contradictoire, à la (re)définition des critères d’adhésion au sein de la nation et de l’Etat. Elle le fait par le dialogue au sein de deux grands corps de littérature intimement liés, la citoyenneté et le transnationalisme, qui se sont penchés sur les questions d’appartenance, d’exclusion, de mobilité et d’accès aux droits chez les migrants transnationaux tout en soulignant la capacité accrue de l’Etat à réguler à la fois les déplacements de personnes et l’accès des migrants aux droits. Cette thèse remet en question trois principes qui influencent la recherche et les programmes d’action publique ayant trait au transnationalisme et à la citoyenneté des migrants, et remet en cause les approches analytiques hégémoniques et méthodologiques qui les sous-tendent. L’étude a été menée à deux niveaux distincts d’analyse empirique et analytique. D’une part, nous examinons les « technologies de la citoyenneté » (Ong 2003, Fujiwara 2008) qui ont été développées par le gouvernement pour transformer l’Argentine en une nation latino-américaine diverse et inclusive pendant la dernière décennie, en nous intéressant particulièrement à la création, par le Kirchnerisme, d’une « nouvelle légalité » pour les Paraguayens, les Boliviens et les Péruviens résidant dans le pays. D’autre part, nous analysons la « dimension horizontale des processus de citoyenneté » (Neveu 2005, Pickus and Skerry 2007, Gagné and Neveu 2009) chez ces migrants dans des aires urbaines, périphériques et rurales du partido de La Plata. Plus spécifiquement, nous examinons dans quelle mesure les conditions socioéconomiques des migrants ont changé suite à leur nouveau statut légal (en tant que ressortissants du MERCOSUR en Argentine, dont les droits sont égaux à ceux des citoyens) et aux politiques de « citoyenneté inclusive » déployées par le gouvernement. Cette thèse se penche particulièrement sur les fondations et l’incarnation (« embodiment ») des droits en examinant comment le nouveau statut légal des migrants se manifeste au quotidien en fonction de a) où ils vivent et travaillent, et b) leur statut social perçu par les autres migrants et non-migrants. D’une part, nous examinons les aires urbaines, périphériques et rurales de La Plata en tant que « zones de souveraineté graduée » (Ong 1999), où des régimes de gouvernementalité locaux spécifiques se sont développés en lien avec l’installation de groupes ethniques souvent distincts, et dont les droits et devoirs diffèrent de ceux d’autres zones. D’autre part, nous étudions la façon dont le statut social est produit à travers les interactions sociales quotidiennes en transposant des distinctions construites socialement telles que race, classe, genre et origine nationale, en systèmes d’exclusion formels (Gregory 2007). Notre analyse ethnographique de ce que nous appelons les « expériences de légalité » des migrants démontre que leur égalité formelle vis-à-vis des Argentins, loin d’être simplement donnée comme un nouveau statut légal uniformément garanti pour tous, est à la fois inégalement vécue par les divers migrants, et différemment respectée dans les zones géographiques dirigées par divers régimes de gouvernementalité (Foucault 1978).

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

La configuration spatiale et la hiérarchie urbaine en Colombie

Ce mémoire présente les résultats d'une recherche portant sur cinq villes colombiennes sélectionnées selon leur taille et le nombre d’emplois par secteur économique, d’après les données des recensements du Département Administratif National des Statistiques (DANE) qui s’étalent entre 1985 et 2005. La méthode d'analyse adoptée est de type descriptif et met l'accent sur des facteurs de taille et de nombre d’habitants afin d’évaluer la hiérarchie entre les villes entre 1985 et 2005, et de comprendre, pour la même période, la spécialisation des cinq villes à travers leurs données d’emplois respectives. Cette méthode est complétée par l’utilisation des outils d’évaluation régionale et urbaine pour comprendre le processus de polarisation en Colombie. L’économie colombienne est dominée par les villes de grande taille ou les régions métropolitaines qui constituent les plus grands marchés (économies d'agglomération). Cependant, ces zones (Bogota, Medellin, Cali, Barranquilla et Bucaramanga) ne sont pas intégrées. Par conséquent, la prédominance de ces centres s’est considérablement réduite.