Download or read book Pratique des m thodes et outils logiciels d aide la conception des syst mes d information 1991 written by Henri Habrias and published by . This book was released on 1991 with total page 207 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Real Time and Multi Agent Systems written by Ammar Attoui and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 474 pages. Available in PDF, EPUB and Kindle. Book excerpt: A detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verification methods of reactive systems. The book brings together the 3 key fields of current and future data-processing: distributed systems and applications, parallel scientific computing, and real-time and manufacturing systems. It covers the basic concepts and theories, methods, techniques and tools currently used in the specification and implementation of applications and contains many examples plus complete case studies.
Download or read book Actes des journ es Pratique des m thodes et outils logiciels d aide a la conception de syst mes d information written by Journées Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information and published by . This book was released on 1987 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Pratique des methodes et outils logiciels d aide a la conception de systemes d information written by Henri Habrias and published by . This book was released on 1988 with total page 338 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Complex Systems written by David G. Green and published by IOS Press. This book was released on 1993 with total page 402 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Proceedings written by and published by . This book was released on 1991 with total page 322 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book L Ergonomie des logiciels written by Claudine Alezra and published by La Documentation Française. This book was released on 1987 with total page 116 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book M thodes et outils pour la conception de syst mes logiciels auto adaptatifs written by Franck Chauvel and published by . This book was released on 2008 with total page 122 pages. Available in PDF, EPUB and Kindle. Book excerpt: Avec l'avènement des systèmes mobiles, la plupart des systèmes logiciels doivent s'adapter à un environnement fluctuant en ressources matérielles et logicielles. Ce besoin d'adaptabilité survient à la fois dans des systèmes à large échelle tels que les systèmes paire-à-paire déployés sur Internet et dans des systèmes de taille plus modeste, voire dans des systèmes embarqués, téléphonie mobile, GPS, etc. Ces systèmes, dits « auto-adaptatifs », doivent donc observer les fluctuations de leur environnement dans le but d'offrir un service de qualité le plus longtemps possible. « Observation, décision, action » est alors naturellement le credo des systèmes auto-adaptatifs : observer l'environnement pour décider des modifications à apporter à la configuration ou à l'architecture. Le conception et le développement de tels systèmes fait converger plusieurs branches de l'informatique actuelle : le génie logiciel, l'intelligence artificielle, et les systèmes distribués. Les systèmes distribués et les systèmes sensibles traitent tout d'abord de problèmes liés à l'observation de l'environnement. L'intelligence artificielle et les systèmes de décision permettent ensuite de raisonner sur des données pour automatiser la prise de décision. Enfin, le génie logiciel et plus précisément les architectures à base de composants ont apporté un support technique permettant de modifier « à chaud » l'architecture d'un système logiciel en cours d'exécution. Pourtant, le développement et la conception de ces systèmes restent pour le moins difficile à cause d'un manque d'outils et de techniques dédiés. Si la plupart des plates-formes d'exécution récentes supportant le déploiement de systèmes à base de composant permettent effectivement d'adapter dynamiquement un système, les mécanismes mis en œuvre restent très rudimentaires et empêchent l'architecte de concevoir, en intention, le comportement lié à l'auto-adaptation. L'auto-adaptation reste donc une tâche annexe et ne fait pas encore l'objet des bonnes pratiques issues du génie logiciel. C'est pourquoi la contribution de cette thèse est de fournir à l'architecte des méthodes et des outils lui permettant d'exprimer, au bon niveau d'abstraction, l'auto-adaptation d'un système logiciel. Nous proposons de modéliser l'auto-adaptation sous la forme de règles qualifiant l'environnement et le système à l'aide d'un langage naturel contraint. Ces règles, par ailleurs composables, sont interprétées à l'aide d'un moteur de logique floue, soit lors de la conception via un moteur de simulation, soit dans le système réel à l'aide d'un moteur d'interprétation. La simulation des règles lors de la conception permet de valider, a priori et à moindre coût, des systèmes dont le test en situation réelle est excessivement complexe et coûteux. Ces différents outils ont été intégrés dans un outil nommé TanGraM permettant de concevoir et de simuler des systèmes auto-adaptatifs et une extension de la plate-forme d'exécution Fractal a été développée pour supporter l'intégration de règles d'adaptation floues dans un système réel. Cet outil a été utilisé pour concevoir un serveur HTTP susceptible d'adapter son architecture et sa configuration en fonction du nombre et de la dispersion des requêtes qu'il reçoit. Déployé ensuite sur la plate-forme Fractal, le système montre la pertinence d'une validation a priori lors de la conception de systèmes complexes. L'expression de l'adaptation sous la forme de règles de haut niveau n'est cependant que le premier pas vers des systèmes pleinement adaptatifs. La prise en compte des objectifs de qualité sous-jacents à l'adaptation, tels que la minimisation du temps de réponse par exemple, offre une perspective intéressante pour contrôler et simplifier encore la conception de systèmes auto-adaptatifs.
Download or read book Technique Et Science Informatiques written by and published by . This book was released on 1991 with total page 506 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Le d veloppement de syst mes d information written by Suzanne Rivard and published by PUQ. This book was released on 2014 with total page 540 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Les syst mes d information written by Groupe d'animation et de liaison pour l'analyse et la conception de systèmes d'information (France) and published by . This book was released on 1984 with total page 280 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'ouvrage conçu par des enseignants d'informatique de l'enseignement supérieur présente des modèles, des méthodes et des outils utilisés dans la conception de systèmes d'information. L'ensemble des éléments proposés se répartit en trois étapes chronologiques : l'étude de l'existant, l'analyse fonctionnelle et l'analyse organique.
Download or read book D finition et r alisation d un logiciel d aide la conception de syst mes d information written by Alain Roche and published by . This book was released on 1990 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: DANS LA PRATIQUE, LA GESTION DES INFORMATIONS NECESSAIRES A LA DEFINITION D'UNE BASE DE DONNEES S'AVERE TRES DIFFICILE. DES OUTILS DE NORMALISATION PERMETTENT DE FACILITER CETTE ETAPE. LA NORMALISATION FINE OFFRE L'AVANTAGE DE PRODUIRE DES SCHEMAS CONCEPTUELS IRREDONDANTS ET SOUS FORME GRAPHIQUE. EN PRENANT EN COMPTE LES DEPENDANCES D'INCLUSION DANS LE PROCESSUS DE NORMALISATION, ON OBTIENT UN MODELE POUR DEFINIR LES SCHEMAS DE DONNEES ENCORE PLUS PUISSANT. LE PROCESSUS DE NORMALISATION FINE ETENDUE AUX DEPENDANCES D'INCLUSION A ETE AUTOMATISE DANS UN LOGICIEL, LACSI, FONCTIONNANT UN MICRO-ORDINATEUR MACINTOSH. LACSI, QUI OFFRE EN OUTRE UNE ERGONOMIE ET UNE INTERACTIVITE CONVIVIALE, EST OPERATIONNEL ET REND BIEN COMPTE DE L'INTERET D'UN TEL OUTIL
Download or read book Advanced Technologies written by M. R. Beheshti and published by Elsevier Publishing Company. This book was released on 1993 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt: The 49 papers in this volume give an analysis on the planning and integration of advanced technologies, as well as the current terms and conditions necessary for introducing the new tools offered by the latest developments in the fields of artificial intelligence, robotics and image processing.
Download or read book Une synth se des m thodes et des outils d aide a la conception de syst mes d information A synthesis of the methods and tools for information system design written by M. Bouzeghoub and published by . This book was released on 1983 with total page 63 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Conception des syst mes logiciel mat riel written by Frédéric Rousseau (auteur en microélectronique).) and published by . This book was released on 2005 with total page 62 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce document retrace mes activités de recherche depuis ma thèse soutenue en juillet 1997. Certains des travaux présentés sont achevés, d'autres sont en cours ou encore dans un stade exploratoire. De 1993 à 1999, je me suis intéressé aux différents aspects du partitionnement logiciel/matériel dans la conception de systèmes intégrés numériques de télécommunications. Depuis 1999, mes travaux ont porté sur la conception de systèmes multiprocesseurs monopuces, et plus particulièrement sur ce qui a trait aux relations entre logiciel et matériel. Ces systèmes sont généralement dédiés à une application ou à une classe d'applications, ce qui permet d'optimiser l'architecture et les programmes. Mes recherches ses sont donc focalisées sur l'architecture mémoire, les interfaces de communication entre composants et le prototypage. Pour ces trois axes de recherche, des méthodes et des outils d'aide à la conception ont été définis et développés. Des travaux toujours en cours portent sur la généralisation d'une méthode de conception de composants d'interface matériels à partir d'une spécification sous forme de services requis et fournis. Une telle spécification est déjà utilisée pour représenter des protocoles dans les réseaux de communication et pour le développement des couches logicielles de communication. Son extension à la conception des interfaces matérielles homogénéiserait les langages, méthodes et outils de l'environnement de conception. Mes travaux futurs s'orientent vers deux axes : l'intégration logiciel/matériel et l'adéquation entre architecture et système d'exploitation. Dans les deux cas, les relations étroites entre les ressources physiques de l'architecture et les couches logicielles qui y accèdent doivent permettre d'améliorer sensiblement les performances.
Download or read book French books in print anglais written by Electre and published by . This book was released on 2000 with total page 1846 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book aPratique des m thodes et outils logiciels d aide la conception de syst mes d information written by Henri Habrias and published by . This book was released on 1990 with total page 794 pages. Available in PDF, EPUB and Kindle. Book excerpt:
