Author: Souad Kherroubi
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Book Description
Cette thèse vise à définir des techniques pour mieux exploiter les connaissances du domaine dans l'objectif de rendre compte de la réalité de systèmes qualifiés de complexes et critiques. La modélisation est une étape indispensable pour effectuer des vérifications et exprimer des propriétés qu'un système doit satisfaire. La modélisation est une représentation simplificatrice, mais réductionniste de la réalité d'un système. Or, un système complexe ne peut se réduire à un modèle. Un modèle doit s'intégrer dans sa théorie observationnelle pour rendre compte des anomalies qu'il peut y contenir. Notre étude montre clairement que le contexte est la première problématique à traiter car principale source de conflits dans le processus de conception d'un système. L'approche retenue dans cette thèse est celle d'intégrer des connaissances du domaine en associant le système à concevoir à des formalismes déclaratifs qualifiés de descriptifs appelés ontologies. Notre attention est portée au formalisme Event-B dont l'approche correct-par-construction appelée raffinement est le principal mécanisme dans ce formalisme qui permet de faire des preuves sur des représentations abstraites de systèmes pour exprimer/vérifier des propriétés de sûreté et d'invariance. Le premier problème traité concerne la représentation et la modélisation des connaissances du contexte en V&V de modèles. Suite à l'étude des sources de conflits, nous avons établi de nouvelles règles pour une extraction de connaissances liées au contexte par raffinement pour la V&V. Une étude des formalismes de représentation et d'interprétation logiques du contexte a permis de définir un nouveau mécanisme pour mieux structurer les modèles Event-B. Une deuxième étude concerne l'apport des connaissances du domaine pour la V&V. Nous définissons une logique pour le formalisme Event-B avec contraintes du domaine fondées sur les logiques de description, établissons des règles à exploiter pour l'intégration de ces connaissances à des fins de V&V. L'évaluation des propositions faites portent sur des études de cas très complexes telles que les systèmes de vote dont des patrons de conception sont aussi développés dans cette thèse. Nous soulevons des problématiques fondamentales sur la complémentarité que peut avoir l'intégration par raffinement des connaissances du domaine à des modèles en exploitant les raisonnements ontologiques, proposons de définir de nouvelles structures pour une extraction partiellement automatisée.
Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes
Author: Souad Kherroubi
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Book Description
Cette thèse vise à définir des techniques pour mieux exploiter les connaissances du domaine dans l'objectif de rendre compte de la réalité de systèmes qualifiés de complexes et critiques. La modélisation est une étape indispensable pour effectuer des vérifications et exprimer des propriétés qu'un système doit satisfaire. La modélisation est une représentation simplificatrice, mais réductionniste de la réalité d'un système. Or, un système complexe ne peut se réduire à un modèle. Un modèle doit s'intégrer dans sa théorie observationnelle pour rendre compte des anomalies qu'il peut y contenir. Notre étude montre clairement que le contexte est la première problématique à traiter car principale source de conflits dans le processus de conception d'un système. L'approche retenue dans cette thèse est celle d'intégrer des connaissances du domaine en associant le système à concevoir à des formalismes déclaratifs qualifiés de descriptifs appelés ontologies. Notre attention est portée au formalisme Event-B dont l'approche correct-par-construction appelée raffinement est le principal mécanisme dans ce formalisme qui permet de faire des preuves sur des représentations abstraites de systèmes pour exprimer/vérifier des propriétés de sûreté et d'invariance. Le premier problème traité concerne la représentation et la modélisation des connaissances du contexte en V&V de modèles. Suite à l'étude des sources de conflits, nous avons établi de nouvelles règles pour une extraction de connaissances liées au contexte par raffinement pour la V&V. Une étude des formalismes de représentation et d'interprétation logiques du contexte a permis de définir un nouveau mécanisme pour mieux structurer les modèles Event-B. Une deuxième étude concerne l'apport des connaissances du domaine pour la V&V. Nous définissons une logique pour le formalisme Event-B avec contraintes du domaine fondées sur les logiques de description, établissons des règles à exploiter pour l'intégration de ces connaissances à des fins de V&V. L'évaluation des propositions faites portent sur des études de cas très complexes telles que les systèmes de vote dont des patrons de conception sont aussi développés dans cette thèse. Nous soulevons des problématiques fondamentales sur la complémentarité que peut avoir l'intégration par raffinement des connaissances du domaine à des modèles en exploitant les raisonnements ontologiques, proposons de définir de nouvelles structures pour une extraction partiellement automatisée.
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Book Description
Cette thèse vise à définir des techniques pour mieux exploiter les connaissances du domaine dans l'objectif de rendre compte de la réalité de systèmes qualifiés de complexes et critiques. La modélisation est une étape indispensable pour effectuer des vérifications et exprimer des propriétés qu'un système doit satisfaire. La modélisation est une représentation simplificatrice, mais réductionniste de la réalité d'un système. Or, un système complexe ne peut se réduire à un modèle. Un modèle doit s'intégrer dans sa théorie observationnelle pour rendre compte des anomalies qu'il peut y contenir. Notre étude montre clairement que le contexte est la première problématique à traiter car principale source de conflits dans le processus de conception d'un système. L'approche retenue dans cette thèse est celle d'intégrer des connaissances du domaine en associant le système à concevoir à des formalismes déclaratifs qualifiés de descriptifs appelés ontologies. Notre attention est portée au formalisme Event-B dont l'approche correct-par-construction appelée raffinement est le principal mécanisme dans ce formalisme qui permet de faire des preuves sur des représentations abstraites de systèmes pour exprimer/vérifier des propriétés de sûreté et d'invariance. Le premier problème traité concerne la représentation et la modélisation des connaissances du contexte en V&V de modèles. Suite à l'étude des sources de conflits, nous avons établi de nouvelles règles pour une extraction de connaissances liées au contexte par raffinement pour la V&V. Une étude des formalismes de représentation et d'interprétation logiques du contexte a permis de définir un nouveau mécanisme pour mieux structurer les modèles Event-B. Une deuxième étude concerne l'apport des connaissances du domaine pour la V&V. Nous définissons une logique pour le formalisme Event-B avec contraintes du domaine fondées sur les logiques de description, établissons des règles à exploiter pour l'intégration de ces connaissances à des fins de V&V. L'évaluation des propositions faites portent sur des études de cas très complexes telles que les systèmes de vote dont des patrons de conception sont aussi développés dans cette thèse. Nous soulevons des problématiques fondamentales sur la complémentarité que peut avoir l'intégration par raffinement des connaissances du domaine à des modèles en exploitant les raisonnements ontologiques, proposons de définir de nouvelles structures pour une extraction partiellement automatisée.
TSI
Author:
Publisher:
ISBN:
Category : Computer programming
Languages : fr
Pages : 516
Book Description
Publisher:
ISBN:
Category : Computer programming
Languages : fr
Pages : 516
Book Description
Culture | 2030 indicators
Author: UNESCO
Publisher: UNESCO Publishing
ISBN: 9231003550
Category :
Languages : en
Pages : 112
Book Description
Publisher: UNESCO Publishing
ISBN: 9231003550
Category :
Languages : en
Pages : 112
Book Description
Design Theory
Author: Pascal Le Masson
Publisher: Springer
ISBN: 3319502778
Category : Technology & Engineering
Languages : en
Pages : 390
Book Description
This textbook presents the core of recent advances in design theory and its implications for design methods and design organization. Providing a unified perspective on different design methods and approaches, from the most classic (systematic design) to the most advanced (C-K theory), it offers a unique and integrated presentation of traditional and contemporary theories in the field. Examining the principles of each theory, this guide utilizes numerous real life industrial applications, with clear links to engineering design, industrial design, management, economics, psychology and creativity. Containing a section of exams with detailed answers, it is useful for courses in design theory, engineering design and advanced innovation management. "Students and professors, practitioners and researchers in diverse disciplines, interested in design, will find in this book a rich and vital source for studying fundamental design methods and tools as well as the most advanced design theories that work in practice". Professor Yoram Reich, Tel Aviv University, Editor-in-Chief, Research In Engineering Design. "Twenty years of research in design theory and engineering have shown that training in creative design is indeed possible and offers remarkably operational methods - this book is indispensable for all leaders and practitioners who wish to strengthen theinnovation capacity of their company." Pascal Daloz, Executive Vice President, Dassault Systèmes
Publisher: Springer
ISBN: 3319502778
Category : Technology & Engineering
Languages : en
Pages : 390
Book Description
This textbook presents the core of recent advances in design theory and its implications for design methods and design organization. Providing a unified perspective on different design methods and approaches, from the most classic (systematic design) to the most advanced (C-K theory), it offers a unique and integrated presentation of traditional and contemporary theories in the field. Examining the principles of each theory, this guide utilizes numerous real life industrial applications, with clear links to engineering design, industrial design, management, economics, psychology and creativity. Containing a section of exams with detailed answers, it is useful for courses in design theory, engineering design and advanced innovation management. "Students and professors, practitioners and researchers in diverse disciplines, interested in design, will find in this book a rich and vital source for studying fundamental design methods and tools as well as the most advanced design theories that work in practice". Professor Yoram Reich, Tel Aviv University, Editor-in-Chief, Research In Engineering Design. "Twenty years of research in design theory and engineering have shown that training in creative design is indeed possible and offers remarkably operational methods - this book is indispensable for all leaders and practitioners who wish to strengthen theinnovation capacity of their company." Pascal Daloz, Executive Vice President, Dassault Systèmes
Disaster risk reduction in school curricula: case studies from thirty countries
The Disappearing Computer
Author: Norbert Streitz
Publisher: Springer
ISBN: 3540727272
Category : Computers
Languages : en
Pages : 314
Book Description
This book examines how the computer, as we currently know it, will be replaced by a new generation of technologies, moving computing off the desktop and ultimately integrating it with real world objects and everyday environments. It provides a unique combination of concepts, methods and prototypes of ubiquitous and pervasive computing reflecting the current interest in smart environments and ambient intelligence.
Publisher: Springer
ISBN: 3540727272
Category : Computers
Languages : en
Pages : 314
Book Description
This book examines how the computer, as we currently know it, will be replaced by a new generation of technologies, moving computing off the desktop and ultimately integrating it with real world objects and everyday environments. It provides a unique combination of concepts, methods and prototypes of ubiquitous and pervasive computing reflecting the current interest in smart environments and ambient intelligence.
Child Friendly Schools Manual
Author:
Publisher: UNICEF
ISBN: 9280643762
Category : Business & Economics
Languages : en
Pages : 244
Book Description
This Child-Friendly Schools (CFS) Manual was developed during three-and-a-half years of continuous work, involving the United Nations Children's Fund education staff and specialists from partner agencies working on quality education. It benefits from fieldwork in 155 countries and territories, evaluations carried out by the Regional Offices and desk reviews conducted by headquarters in New York. The manual is a part of a total resource package that includes an e-learning package for capacity-building in the use of CFS models and a collection of field case studies to illustrate the state of the art in child-friendly schools in a variety of settings.
Publisher: UNICEF
ISBN: 9280643762
Category : Business & Economics
Languages : en
Pages : 244
Book Description
This Child-Friendly Schools (CFS) Manual was developed during three-and-a-half years of continuous work, involving the United Nations Children's Fund education staff and specialists from partner agencies working on quality education. It benefits from fieldwork in 155 countries and territories, evaluations carried out by the Regional Offices and desk reviews conducted by headquarters in New York. The manual is a part of a total resource package that includes an e-learning package for capacity-building in the use of CFS models and a collection of field case studies to illustrate the state of the art in child-friendly schools in a variety of settings.
Challenges in Basic Mathematics Education
PROMOTION DE LA SANTE ET AUTONOMISATION DANS LE CONTEXTE AFRICAIN
Author: David HouŽto
Publisher: Lulu.com
ISBN: 1291761152
Category : Reference
Languages : fr
Pages : 327
Book Description
Le terme promotion de la santé en Afrique, près de 30 ans après l'adoption de la Charte d'Ottawa, continue d'avoir des connotations complètement hors du sens que lui confère cette charte. Cela n'est pas étonnant quand on sait que la notion de santé dans ce contexte africain équivaut à la lutte contre la maladie à travers les soins de santé dispensés par des professionnels de la santé dans des formations sanitaires et les hôpitaux. L'évolution que connait le continent depuis quelques décennies est de donner un peu plus de place à la communauté à travers les relais communautaires dans une participation communautaire vidée de son contenu, car le pouvoir n'est jamais passé entre les mains des communautés.C'est au vu de tout ceci que le présent ouvrage à sa raison d'être pour expliquer les fondements de l'autonomisation communautaire et de la promotion de la santé avec leur importance pour la région africaine en proie aux mauvais indicateurs de santé comparativement aux autres régions du monde.
Publisher: Lulu.com
ISBN: 1291761152
Category : Reference
Languages : fr
Pages : 327
Book Description
Le terme promotion de la santé en Afrique, près de 30 ans après l'adoption de la Charte d'Ottawa, continue d'avoir des connotations complètement hors du sens que lui confère cette charte. Cela n'est pas étonnant quand on sait que la notion de santé dans ce contexte africain équivaut à la lutte contre la maladie à travers les soins de santé dispensés par des professionnels de la santé dans des formations sanitaires et les hôpitaux. L'évolution que connait le continent depuis quelques décennies est de donner un peu plus de place à la communauté à travers les relais communautaires dans une participation communautaire vidée de son contenu, car le pouvoir n'est jamais passé entre les mains des communautés.C'est au vu de tout ceci que le présent ouvrage à sa raison d'être pour expliquer les fondements de l'autonomisation communautaire et de la promotion de la santé avec leur importance pour la région africaine en proie aux mauvais indicateurs de santé comparativement aux autres régions du monde.
Educational Planning
Author: Jacques Hallak
Publisher: Routledge
ISBN: 1136517766
Category : Education
Languages : en
Pages : 320
Book Description
First published in 1995. Routledge is an imprint of Taylor & Francis, an informa company.
Publisher: Routledge
ISBN: 1136517766
Category : Education
Languages : en
Pages : 320
Book Description
First published in 1995. Routledge is an imprint of Taylor & Francis, an informa company.