Cette thèse s'intéresse à la problématique de la vérification et de la validation (V&V) de modèles UML. Notre objectif est de déterminer d'une part qu'un modèle donné est bien formé et cohérent, et d'autre part, qu'il satisfait les besoins des futurs utilisateurs du système d'information. Dans ce contexte, nos principales contributions portent sur la proposition de deux approches pour la vérification et la validation formelles de modèles UML. Ces deux approches ...

Ce mémoire accompagne l'exposition Suspendu entre deux néants, présentée dans le cadre du projet final de la maîtrise en art en avril 2009. Le travail de création et le mémoire abordent la question de l'hégémonie du discontinu dans le découpage conceptuel du monde, le réduisant ainsi en une accumulation d'objets, face à la sensation de l'écoulement continu du temps. Pour réfléchir sur ce sujet, l'exposition utilise des archives familiales comme matériau ...

Attitude, habitude, puis assuétude, le tabagisme est un comportement, renforcé par une dépendance qui tient de la nicotine et classé comme une réelle addiction. Véritable épidémie industrielle, avec près de 4.2 millions de décès par an, l''initiation au tabac n''est pas seulement l''apanage de l''adolescence, âge de transition, mais touche cette frange de personnes "fragilisées" par le vécu des conflits armés intempestifs, aujourd''hui légion ...

Le début du 21ème siècle est annonciateur de préoccupations politiques et éthiques liées à la protection de l'environnement et de la qualité de vie des hommes. Ces préoccupations s'imposent d'autant plus aux décideurs publics et économiques que les dérives du courtermisme ont fait émerger la nécessité d'une moralisation de l'économie. Dans ce contexte, l'entreprise, mue par le profit pour croitre et se maintenir sur le marché, se retrouve ...

La rationalisation des processus de développement de systèmes ne date pas d'aujourd'hui. Elle a cependant pris un cours nouveau avec la diffusion au milieu des années 90 d'un corps de connaissances de l'ingénierie des systèmes. Nombre d'entreprises adoptent de tels processus. Dans ce contexte, notre travail a consisté à: 1- mettre en évidence que la logique de ce corpus est une logique instrumentale des moyens par rapport à des fins, laquelle assure pour une part la répétabilité ...

Toute page Web est écrite ou représentée à base du langage HTML. HTML est un langage de balisage permettant essentiellement de définir la structure de la page web (titres, listes, tableaux, paragraphes, ...). Ce document, permettra aux lecteurs de se familiariser avec la structure et la syntaxe du langage HTML avec des exemples explicatifs, des exercices corrigées et des travaux pratiques. A la fin, vous serez en mesure de créer facilement et rapidement votre premier site Web. Le document débute par ...

Dans l'industrie bancaire, la relation client est un facteur de compétitivité de la banque. Pour mieux satisfaire les entreprises, celle-ci a besoin de savoir si elles préfèrent être traitées suivant une approche transactionnelle ou relationnelle. Cette thèse a cherché à déterminer l'orientation relationnelle des entreprises investissant en actifs intangibles(AI). La théorie sur la structure financière de l'entreprise est la grille d'analyse mobilisée. Considéré ...

La maîtrise de l'information est aujourd'hui un critère clé de la compétitivité des entreprises qui sont devenues de plus en plus consommatrices de données dans leurs activités opérationnelles quotidiennes. Cette inflation de données, plus de 30% par an, ne s'accompagne pas nécessairement des mesures garantissant leur qualité. Le manque de fiabilité peut se traduire par des impacts négatifs subis par les entreprises en termes d'insatisfaction des clients, d'image, de ...

Ce travail part de l'hypothèse qu'épistémologie et pratiques sont indissociables et que les idées que se font les enseignants de la technologie, bien qu'elles soient souvent implicites, sous-tendent fortement leurs pratiques en classe. Pour ceci, nous avons consacré la première partie de cet ouvrage à l'étude du processus d'élaboration d'un type particulier de savoirs technologiques: les normes techniques et ce, à travers une analyse bibliographique et historique. Dans la deuxième ...

La Gouvernance Ethique et Morale des Entreprises (GEME) est un concept novateur, alliant les approches philosophiques de l'éthique et de la morale avec celles de la gouvernance des entreprises. Cet ouvrage fait suite à la Gouvernance Ethique et Morale des Entreprises : Des paradoxes philosophiques chez le même éditeur et paru en 2011. Il présente une Méthodologie d'Implantation Participative de la Gouvernance Ethique et Morale des Entreprises (MIP-GEME). Il s'adresse à tous les professionnels désireux ...