Дисертації: "Exigences de la technologie"

1

Le, Pors Éric. "Interprétation sémantique des exigences pour l'enrichissement de la traçabilité et pour l'amélioration des architectures de systèmes complexes." Télécom Bretagne, 2010. http://www.theses.fr/2010TELB0127.

Повний текст джерела

Анотація:

L'augmentation de la complexité des systèmes à logiciel prépondérant, produits dans l'industrie, est liée à la complexité des ingénieries : réduction des délais, organisation des activités, gestion de la sous-traitance. . . Cette complexité est également due à l'augmentation du nombre de fonctions attendues et de données à traiter. Elle dépend de plus du nombre de composants logiciels et physiques devant interagir, soumis à des contraintes en termes de fonctionnalités et de qualité, ce qui implique une conception toujours plus difficile de ces systèmes. Afin de maîtriser leur production, un niveau d'expertise élevé est requis dans des domaines toujours plus nombreux. Cette connaissance doit, de plus, être partagée par de nombreuses équipes collaborant à la spécification et à la réalisation d'entités distinctes et spécifiques du système. Le processus d'ingénierie des systèmes décrit les phases de réalisation, depuis l'analyse du besoin opérationnel, passant par l'analyse du besoin système, jusqu'à l'architecture solution répondant au besoin fonctionnel exprimé par le client. Ce besoin est formalisé dans les exigences. Les travaux de cette thèse proposent une approche outillée permettant de modéliser l'architecture solution en exprimant les fonctions requises associées à leurs contraintes non fonctionnelles dans différents points de vue. Ces derniers permettent de représenter les éléments de l'architecture solution sous différentes facettes, ségréguant de ce fait la complexité. De plus, des contrôles permettent de s'assurer du respect de règles de cohérence et de conception. Nous proposons également une méthode, associée à la réalisation d'un modèle conceptuel du système et de son environnement, permettant d'écrire des exigences mieux construites. Le modèle conceptuel nous permet de réaliser une interprétation de la sémantique présente dans ces exigences afin d'en extraire des éléments de contrôle et de vérification. Ces éléments capturés dans les exigences seront ensuite associés sous forme d'annotations aux éléments des différents points de vue constituant l'architecture, en exploitant les liens de traçabilité réalisés par les ingénieurs concepteurs. La vérification de la prise en compte de ces éléments d'annotation ainsi que la génération automatique de points de vue à partir d'informations contenues dans les exigences nous permet d'obtenir des solutions architecturales plus proches du besoin initial. Le modèle conceptuel nous donne également la possibilité de capitaliser la connaissance
The increasing complexity of software-intensive systems produced in the industry is related to the complexity of engineering: reduction of production delays, activities organisation, managing subcontractors. . . This complexity is also due to the increasing number of new functions and data to be processed. Moreover, it depends on the number of physical and software components to interact, constrained in terms of functionality and quality, which implies ever more difficult designs for these systems. To control their production, a high level of expertise is required in more and more domains. Moreover, this knowledge must be shared by many teams collaborating on building specification and implementing separate and specific entities of the system. System Engineering process describes the different building phases, from operational need analysis, through system need analysis, to the establishment of an architectural solution that meets the functional need expressed by the customer. This need is formalized in requirements. This PhD work proposes an approach to model architectural solutions by expressing the required functions associated with their non-functional constraints using different viewpoints. These viewpoints can represent different facets of the architectural solution, separing thus the global complexity. Additionally, controls allow to ensure that the solution is compliant with coherence and design rules. We also propose a method coupled with the realization of a conceptual model of the system and its environment, in order to obtain better written requirements. The conceptual model allows us to make an interpretation of the semantics present in these requirements in order to extract control and verification elements. These items captured in requirements will annotate elements of different viewpoints, representing the architecture, by exploiting traceability links established by design engineers. The verification of these annotations consideration and the automatic generation of viewpoints from information contained in the requirements allows us to obtain architectural solutions closer to the customer needs. The conceptual model also gives us the opportunity to capitalize, in different expertise domains, on engineers knowledge. It also enables us to establish a reference model as a basis for discussion and training of new team members

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Rother, Eva. "Prise en compte des spécificités culturelles et des muta-tions nécessaires dans le management industriel français pour répondre aux nouvelles exigences de l’industrie 4.0." Thesis, Lyon, 2020. http://www.theses.fr/2020LYSEI047.

Повний текст джерела

Анотація:

A la lumière des précédentes révolutions industrielles et évolutions organisationnelles et en évaluant les promesses portées par l’Industrie 4.0, notre propos est d’imaginer les évolutions tangibles du lean management et des organisations en construisant le manager de demain. Pour cela, une démarche méthodologique sera appliquée afin de confronter les concepts théoriques du lean, leurs applications concrètes en entreprises et leurs éventuelles faiblesses à la lumière des principes de l’I4.0. Les évolutions à venir seront posées, en intégrant les retours d’expériences ainsi que les contraintes digitales, organisationnelles et générationnelles et nous permettront de dresser le portrait du manager opérationnel du futur, dans une organisation agile, voire libérée. Ces propositions seront concrètement mises en application et appréciées sur un site industriel français qui sera notre champ d’expérimentation. A travers l’analyse des facteurs de succès et d’échecs de projets de digitalisation dans cette usine historique d’un groupe international, nous évaluerons les hypothèses précédemment posées et enrichirons le modèle de management imaginé. Dans un second temps et à travers une enquête sur plusieurs sites européens nous questionnerons les managers opérationnels de tous niveaux afin de définir les fonctions et les interactions du manager 4.0 français en termes de compétences, d’objectivation et de mode de management. L’ensemble de ces conclusions porteront sur la position clef du manager intermédiaire dans les évolutions technologiques et leur appropriation mais aussi sur des propositions de prise en compte et d’adaptation des organisations pour faciliter l’intégration des concepts clefs de l’I4.0 qui sont un formidable atout de renouveau pour l’industrie française
Regarding the previous industrial revolutions and organizational changes and evalu-ating the promises made by Industry 4.0, our aim is to imagine concrete developments in lean management and organization by building the manager of tomorrow. For this, a methodological approach will be applied to compare the theoretical con-cepts of lean, their concrete applications in current manufacturing and their possible weaknesses looking for I4.0 ‘s principles. Future developments will be made, by in-tegrating feedback and digital, organizational and generational constraints, and will allow us to draw up a portrait of the operational manager of the future, in an agile or even liberated organization. These proposals will be concretely implemented and evaluated on a French industri-al site that will be our field of experimentation. Through the analysis of the factors of success and failure of digitization projects in this historic factory of an international group, we will evaluate the assumptions previously made and enrich the management model imagined. In a second phase, through a survey of several European sites, we will question operational managers at all levels in order to define the func-tions and interactions of the French manager 4.0 in terms of skills, objectives and management methods. All these conclusions will focus on the key position of the in-termediate manager in technological developments and their ownership, but also on proposals to take into account and adapt organizations to facilitate the integration of the key concepts of I4.0 which are a great asset of renewal for the French industry

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Assouroko, Ibrahim. "Gestion de données et dynamiques des connaissances en ingénierie numérique : contribution à l'intégration de l'ingénierie des exigences, de la conception mécanique et de la simulation numérique." Compiègne, 2012. http://www.theses.fr/2012COMP2030.

Повний текст джерела

Анотація:

Les profonds changements observés, ces vingt dernières années dans le domaine du développement de produits, ont entraîné un changement méthodologique propre au domaine de la conception, et ont bénéficié d'un développement considérable des Technologies de l'Information et de la Communication (à l'instar des systèmes PLM pour la gestion de cycle de vie de produits), et des approches d'ingénierie collaborative pour l'amélioration du processus de développement de produits (PDP). Dans le contexte actuel, les solutions PLM du marché présentent de fortes hétérogénéités et restent centrés sur des technologies et formats propriétaires, n'offre pas suffisamment de capacités de communication et de partage entre logiciels contribuant au PDP. Cette thèse s'inscrit dans le cadre du PDP, et contribue à l'amélioration de la gestion intégrée de données (hétérogènes) de conception mécanique et de simulation numérique dans un contexte PLM. La contribution apportée se focalise sur la mise en œuvre d'une approche de dynamique des connaissances d'ingénierie basée sur une gestion des relations sémantiques du produit et s'articulant autour des points suivants : (1) une approche de structuration de données, portée par des entités de type semi-structuré avec une structuration évolutive, (2) un modèle conceptuel décrivant les concepts fondamentaux pilotant l'approche proposée, (3) une méthodologie simple pour faciliter et améliorer la gestion et réutilisation des connaissances d'ingénierie dans le projet de conception, et enfin (4) une approche de capitalisation des connaissances du produit par la gestion des relations sémantiques entre entités d'ingénierie en début de cycle de vie de produits
Over the last twenty years, the deep changes noticed in the field of product development, led to methodological change in the field of design. These changes have, in fact, benefited from the significant development of Information and Communication Technologies (ICT) (such as PLM systems dedicated to the product lifecycle management), and from collaborative engineering approaches, playing key role in the improvement of product development process (PDP). In the current PLM market, PLM solutions from different vendors still present strong heterogeneities, and remain on proprietary technologies and formats for competitiveness and profitability reasons, what does not ease communication and sharing between various ICTs contributing to the PDP. Our research work focuses on PDP, and aims to contribute to the improvement of the integrated management of mechanical design and numerical simulation data in a PLM context. The research contribution proposes an engineering knowledge capitalization solution based on a product semantic relationship management approach, organized as follows : (1) a data structuring approach driven by so called semi-structured entities with a structure able to evolve along the PDP, (2) a conceptual model describing the fundamental concepts of the proposed approach, (3) a methodology that facilitates and improves the management and reuse of engineering knowledge within design project, and (4) a knowledge capitalization approach based on the management of semantic relationships that exist or may exist between engineering entities within the product development process

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Radouani, Mohammed. "Contribution à la validation du modèle des chaînes de cotes." Cachan, Ecole normale supérieure, 2002. http://www.theses.fr/2002DENSA003.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Fabre, Caroline. "Peines perpétuelles et exigences européennes." Thesis, Université Côte d'Azur (ComUE), 2017. http://www.theses.fr/2017AZUR0040.

Повний текст джерела

Анотація:

Depuis l’abolition de la peine de mort en 1981, la peine perpétuelle s’est imposée comme une peine de substitution étant devenue la peine la plus sévère dans l’échelle des peines. Les questions relatives au sens de la réclusion criminelle à perpétuité, de sa compatibilité avec le principe de la dignité humaine, ont intéressé la Cour européenne des droits de l’homme qui n’a de cesse de mettre l'accent sur la nécessaire effectivité des droits garantis par la Convention de sauvegarde des droits de l’homme et des libertés fondamentales. La problématique repose sur la finalité de la réclusion criminelle à perpétuité, entre un droit ouvert à l'aménagement et une durée effective accrue par l'effet de très longues périodes de sûreté. Cette étude aura donc pour objet l'examen des directives d'interprétation mobilisées par le juge européen dans le contentieux de la privation de liberté perpétuelle afin d'identifier les différents paramètres pris en compte par ce dernier afin d'élaborer au regard des dispositions conventionnelles ses exigences en matière de protection des droits de l'homme des personnes privées de liberté à perpétuité. La nouveauté s’identifie dans le positionnement de la problématique au centre du contexte de la jurisprudence européenne. Tant par les tendances politiques que les garde-fous juridiques, le thème de la perpétuité permet de confronter les systèmes de droit étalonnés par le juge européen. Les analyses du droit pénal général, de la procédure pénale ainsi que du droit pénal post-sentenciel s’avèrent être rassemblées autour de la thématique de la réclusion à perpétuité, s’attardant en effet sur les nouveaux critères donnés par la Cour européenne des droits de l’homme en matière d’atteinte, et subséquemment, de préservation des droits fondamentaux
Since the death penalty was abolished in 1981, life imprisonment has established itself as an alternative sentence, thus becoming the most severe punishment in the spectrum of penalties. The questions of whether life imprisonment is useful and whether it is compatible with the notion of human dignity have interested the European Court of human rights which has indeed laid great emphasis on the necessity to preserve the rights enshrined in the European Convention of Human Rights. The issue lies in the very purpose of life imprisonment and the discrepancy between laws offering reduced sentences and the increase of established durations caused by the lengthening of unconditional imprisonment periods. This study will thus provide a review of the interpretative guidelines followed by European judges on the issue of life imprisonment so as to identify the various parameters taken into account by Judges when they set - in compliance with conventional dispositions - their requirements on the protection of the human rights of persons sentenced to perpetual imprisonment. This thesis will address the topic from a new standpoint in the context of European jurisprudence. Since it involves various political tendencies and juridical bulwarks, this topic allows us to confront perpetuity with the law systems calibrated by European Court of Human Rights. The issue of life imprisonment combines analysis of general criminal law, criminal procedure law as well as post sentence law which are indeed focused on the new criteria given by the European Court of Human Rights pertaining to the violation - and subsequently- preservation of basic rights

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Peng, Yong. "Modelling and designing IT-enabled service systems driven by requirements and collaboration." Phd thesis, INSA de Lyon, 2012. http://tel.archives-ouvertes.fr/tel-00737773.

Повний текст джерела

Анотація:

Compared to traditional business services, IT-enabled services provide more value to customers and providers by enabling traditional business services with Information and Communication Technologies (ICT) and delivering them via e-channels (i.e., Internet, Mobile networks). Although IT-enabled service systems help in co-creating value through collaboration with customers during service design and delivery, they raise challenges when we attempt to understand, design and produce innovative and intelligent IT-enabled services from a multi-disciplinary perspective by including businesses, technology and people for value addition and increasing benefits. Due to their social-technical nature and characteristics (i.e., Intangibility, Inseparability, Perishability, Simultaneity), IT-enabled services also lack common methods to systemize services driven by customer requirements and their satisfactions and co-produce them through ad-hoc collaboration. In this thesis, we propose a middle-out methodology to model, design and systemize advanced IT-enabled service driven by customer requirements and collaboration among all actors to jointly co-create service systems. From a multi-disciplinary perspective, the methodology relies on a multi-view models including a service system reference model, a requirement model and a collaboration model to ensure system flexibility and adaptability to requirement changes and take into account joint efforts and collaboration of all service actors. The reference model aims at a multi-disciplinary description of services (ontological, systematical and characteristic-based descriptions), and formalizing business knowledge related to different domains. As for the requirement model, customer needs are specified in common expressiveness language understandable by all service actors and made possible its top-down propagation throughout service lifecycle and among actors. The collaboration model advocates a data-driven approach, which increases busi-ness, technical and semantic interoperability and exhibits stability in comparison to business processes centric approaches. Finally, the collaboration hinges on de-livery channels expressed as data flows and encapsulating business artifacts as per which business rules are generated to invoke underlying software components.

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Serra, Sophie. "Nicole Oresme : exigences scientifiques et projet politique." Thesis, Paris 4, 2015. http://www.theses.fr/2015PA040107.

Повний текст джерела

Анотація:

Par commodité, le corpus oresmien est souvent scindé en deux parties. L'une, scientifique, regrouperait ses traités scientifiques et ses commentaires universitaires en philosophie naturelle. L'autre, politique et morale, comprendrait les traductions en français de la Politique, des Économiques, et de l'Éthique à Nicomaque d'Aristote. Cependant, une telle dichotomie présente bien des inconvénients. Tout d'abord, un tel schématisme ne laisse pas de place aux écrits dits « polémiques » d'Oresme contre l'astrologie prédictive, ni à son traité monétaire. Il convient d'ailleurs de remarquer que, tout au long de sa carrière, et pour ces ouvrages en particulier, Nicole Oresme a pratiqué l'écriture, la traduction et l'auto-traduction en français. D'autre part, si, du point de vue de la réalité historique, cette distinction créé l'illusion de deux auteurs distincts, elle tend aussi à imposer une différence d'importance entre les deux pans de l'œuvre de Nicole Oresme et nie, justement, l'idée d'un œuvre unifiée par un auteur, et un projet. Or, l'adoption du français comme langue d'écriture tout au long de sa vie nous en fournit un indice. La rédaction à la fin de sa carrière d'un texte en vernaculaire et d'une grande complexité scientifique tel que le Livre du Ciel et du Monde en constitue un autre. Les déclarations qui émaillent tous les textes de Nicole Oresme sur le but de la connaissance et les méthodes argumentatives mises en œuvre pour y parvenir constituent encore une autre piste de réflexion. Le but de ce travail est donc de suivre les chemins empruntés par Oresme dans ses écrits, reconstituer son itinéraire en tant qu'auteur, et de montrer que le philosophe normand a établi un projet, affermi au cours des années, au cœur duquel se trouve une conception originale et unifiée de l'homme, de son rapport au savoir, et de son rapport aux autres
For the sake of convenience, the oresmian corpus has often been split into two parts. In a scientific one would be gathered his science treatises and his natural philosophy commentaries, whereas his translations into French of Aristotle's Politics, Economics and Nicomachean Ethics would belong to a political and moral one. But this dichotomy presents with a lot of flaws. First of all such a simplification doesn't take into account either the so-called pamphlets Oresme wrote against judicial astrology nor his monetary treatise. Besides, one must bear in mind that Oresme continuously wrote and translated his own writings into French, and especially those treatises. Secondly, in addition to being historically inaccurate, positing two “Oresmes” tends to suggest that one of these aspects would prevail over the other. It denies the very idea of an oeuvre, intended as unified by its author and the project he envisioned. Yet, the fact that Oresme chose to write some of his works in French all along his life indicates such a continuity. Another clue would be that he composed the Livre du Ciel et du Monde at the end of his career, a book both in French and of a great scientific complexity. To enlighten us about these matters, we can rely on the many passages Nicole Oresme devotes to knowledge and the means to attain it. The present thesis aims to walk in Oresme's steps, reconstruct his journey as an author and philosopher, and to show that he gradually established a unique and unified conception of man in all its dimensions, political as well as scientific

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Salinesi, Camille. "L'Ingénierie des Exigences appliquée aux Systèmes d'Information." Habilitation à diriger des recherches, Université Panthéon-Sorbonne - Paris I, 2010. http://tel.archives-ouvertes.fr/tel-01003149.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Bulusu, Sravani Teja. "Méthodologie d'ingénierie des exigences de sécurité réseau." Thesis, Toulouse 3, 2019. http://www.theses.fr/2019TOU30084.

Повний текст джерела

Анотація:

La construction de réseaux sécurisés est à la fois une étape cruciale et complexe pour toute organisation. Traditionnellement, cette tâche couvre les aspects architecturaux en proposant une segmentation du réseau où des règles de sécurité différentes sont appliquées à chaque zone ; elle couvre également la sécurisation des équipements d'extrémité exploités par des utilisateurs et apporte ainsi des garanties sécuritaires pour les informations transférées sur les liaisons de communication. Le plus souvent, les aspects sécurité réseau sont pris en compte après la conception du réseau et donc tardivement. Ceci se traduit inéluctablement par une augmentation de la complexité et des coûts pour prendre en compte les modifications nécessaires qui doivent alors être apportées. À cet égard, les exigences de sécurité revêtent une importance primordiale, car elles guident les décisions relatives à la mise en œuvre des contrôles de sécurité réseau (ex. Firewalls et proxies sécurité, VPN) répondant aux besoins de l'entreprise. En effet, de mauvaises exigences en matière de sécurité réseau peuvent conduire à une sécurité inefficace voire à des failles de sécurité dans la conception de la sécurité du réseau. Cependant, les méthodologies d'ingénierie des exigences de sécurité actuelles ne permettent pas de déduire les exigences de sécurité réseau. Ce travail de thèse fait partie du projet de recherche DGA IREDHO2 (Intégration REseau Haut Débit Embarqué Optique 2ème phase) qui concerne en particulier les réseaux avioniques du futur. Ce travail est le résultat d'une collaboration menée avec la société AIRBUS GROUP. Il a pour objectif de proposer une méthodologie d'ingénierie des exigences de sécurité pour capturer, exprimer et analyser les exigences de sécurité réseau, afin de pouvoir les dériver et gérer l'application de configurations réseau dans une approche "Top Down". La complexité adressée vient à la fois des différences de point de vue : i) en regard de la compréhension de la problématique de la sécurité par les différentes parties prenantes, ii) de la nature des systèmes impactés et iii) de la variabilité des niveaux d'abstraction retenus dans le cycle de développement réseau. Dans ce travail, nous avons défini une méthode qui s'appuie sur les niveaux d'abstraction proposés par la méthode SABSA (Sherwood Applied Business Security Architecture) afin de décomposer les exigences de sécurité métier en exigences de sécurité techniques. En effet, SABSA préconise l'étude de vues Métier (décisionnaire), Architecte (objectifs, risques, processus, applications, interactions), Concepteur (services de sécurité), Constructeur de réseau (mécanismes de sécurité) et Composants (produits, outils, technologies, etc.). Les vues Métier et Architecte sont exprimées dans le formalisme STS (Social Technical Systems)
Building secure networks is crucial as well as challenging for any organization. Network security majorly concerns the security architectural needs that describe network segmentation (i.e., security zoning); security of network devices connecting the communicating end user systems; and security of the information being transferred across the communication links. Most often, a late consideration of security aspects (i.e., post-deployment of network design) inevitably results in an increase in costs as well as in the complexity to take into account the necessary changes that have be made to the existing infrastructures. In this regard, network security requirements hold a paramount importance since they drive the decisions related to the implementation of security controls about business needs. Indeed, bad network security requirements can lead to ineffective and costly security or worth security holes in the network security design. Nevertheless, current security requirement engineering methodologies render no support to derive network security requirements. This thesis work is a part of the research project DGA IREHDO2 (Intégration REseau Haut Débit embarqué Optique 2ème phase) that concerns aircrafts future generation networks. Our work is done mainly in collaboration with AIRBUS and is related to the security requirements engineering process for aircraft networks. Our objective in this project is to propose an SRE methodology for capturing and analysing network security requirements, and that facilitates the refinement into network security and monitoring configurations (TOP/DOWN approach). The complexity addressed comes at a time from the differences in point of view: i) with regard to the understanding of the issue of security by different stakeholders, ii) the nature of the systems impacted and the variability of the levels of abstraction in the network development cycle. In this work, we defined SRE methodology based on the abstraction levels proposed by SABSA (Sherwood Applied Business Security Architecture) method in order to structure the refinement activity of business needs into network security requirements. Indeed, SABSA recommends the expression of the needs considering the Business view (decision makers), Architect's view (objectives, risks, processes, applications and interactions), Designer's view (security services), Builder's view (security mechanisms) and Tradesman's view (products, tools, technologies). We considered the first three views. We express the business and architect's views using STS (Social-Technical Systems) formalism. We also propose to represent attacks as multi-agent systems to facilitate the analysis of security risks at these first two views. For expressing the network security requirements captured at Designer's view, we propose a methodology that automates parts of the process of security zoning and network security requirements elicitation using a definite set of formalized rules derived from security design principles and formal integrity models. We developed a tool that implements these rules in ASP (Answer set programming), which facilitates calculating cost-optimal security zone models. In the end, to ensure traceability between the three views, we defined a new modelling notation based on the concepts proposed in KAOS (Keep All Objectives Satisfied) and STS. We illustrate our methodology using a scenario specific to the IRHEDO2 project. Finally, we evaluate our methodology using: 1) an e-commerce enterprise case study; 2) a new scenario specific to the IRHEDO2 project

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Wallaert, Sylvie. "L' intégration des exigences environnementales en droit positif." Littoral, 2007. http://www.theses.fr/2007DUNK0194.

Повний текст джерела

Анотація:

Cette thèse vise à étudier le positionnement des politiques d’environnement et le répertoire perfectible des outils du droit pour intégrer l’environnement. La protection de l’environnement comme valeur à protéger trouve encore trop souvent une place et une autorité diverses au sein des arbitrages des autres droits et systèmes. Autant que de démarche d’intégration, c’est de droit de l’environnement dont il s’agit. Le droit de l’environnement doit s’accommoder d’une articulation pure et simple aux autres branches du droit et tarde à trouver une réelle identité, de même qu’il ne parvient pas à s’affranchir du paradigme anthropocentrique. La légitimité d’un questionnement sur l’autonomisation du droit de l’environnement autour d’un objet et de moyens d’action bien spécifiques, est défendue. Une réelle intégration des exigences environnementales ne passe-t-elle pas en particulier par un juge spécialisé ? une nouvelle régulation juridique de l’environnement impose à la réflexion de se déplacer hors du strict cadre étatique et le rôle précurseur et révélateur de l’intégration des exigences environnementales peut participer mutatis mutandis au renouvellement du droit et des échanges entre les systèmes juridiques. L’intégration environnementale favoriserait ainsi des évolutions qui s’intégreraient avec souplesse dans le droit, revivifiant celui-ci
This thesis aims at studying the positioning of environmental policies and the perfectible list of the tools of Law to integrate the environment. The protection of the environment as a value to protect still too often finds a various place and authority within the arbitration of other laws and systems. It is as much about a process of integration as the Law of the environment. The Law of the environment must do with a pure and simple articulation to the other branches of Law and takes a long time to find a real identity. In the same way it can’t get rid of the anthropocentric paradigm. It is legitimate to question the autonomisation of the Law of environment around a very precise object and means of action. Isn’t in particular a specialised judge necessary to really integrate the environmental requirements? It is thus necessary to wonder if a new legal regulation of the environment must be studied outside the strict state-controlled frame and if the precursory and revealing role of the integration of governmental requirements can take part mutatis mutandis in the renewal of the Law and the exchanges between the legal systems. The environmental integration would therefore serve evolutions which would fluidly fit into the Law, refresching it

Стилі APA, Harvard, Vancouver, ISO та ін.

11

Youssef, Hoda. "Ciblage d’Inflation en Égypte ? : exigences budgétaires et institutionnelles." Paris, Institut d'études politiques, 2010. http://www.theses.fr/2010IEPP0005.

Повний текст джерела

Анотація:

Le ciblage d’inflation a suscité beaucoup d’intérêt depuis son adoption dans les pays industrialisés puis par certains pays émergents, cet intérêt étant poussé par le succès attribué à cette politique monétaire en matière de maitrise de l’inflation. Toutefois, il est largement admis que certaines exigences économiques, institutionnelles et techniques sont nécessaires à la mise en œuvre réussie du ciblage d’inflation. Etant donnéLe ciblage d’inflation a été intensément étudié depuis son adoption dans les pays industrialisés puis par certains pays émergeants. L’intérêt croissant pour le ciblage d’inflation depuis son adoption aux débuts des années 1990s est poussé par le les résultats positifs qui lui sont attribués en matière de maitrise de l’inflation. Toutefois, il est largement admis que les exigences économiques, institutionnelles et techniques de la mise en œuvre du ciblage d’inflation sont nombreuses. C’est d’ailleurs une des raisons majeures pour lesquelles certaines voix doutent de l’adéquation du ciblage d'inflat que la Banque Centrale d’Égypte (CBE) a annoncé son intention d’adopter le ciblage d’inflation dès que les conditions de base seront réalisées, il est important de réfléchir à ces conditions de base et souligner celles dont le non accomplissement en Égypte peut entraver l’application efficace du ciblage d’inflation, voire aboutir à son échec. Nous montrons que les défis majeurs sont d’ordres budgétaire et institutionnel, dans la mesure où l’économie égyptienne souffre d’une dominance budgétaire, d’une indépendance discutable de sa banque centrale ainsi que de la faiblesse des mécanismes d’élaboration, d’exécution et de contrôle de la politique budgétaire
Nflation targeting has emerged in recent years as an increasingly advocated framework for conducting monetary policy in order to achieve and maintain price stability. However, there is a wide consensus on the necessity of meeting a set of economic, institutional and technical preconditions in order to be able to successfully adopt an inflation targeting regime. Like many other developing countries, Egypt is aspiring to introduce inflation targeting as a framework for its monetary policy once the fundamental prerequisites are met. This thesis reviews these prerequisites and analyzes the extent to which they are met in Egypt. We argue that the major challenges that Egypt faces are the fiscal and institutional requirements, as the Egyptian economy suffers from fiscal dominance, a questionable independence of its central bank, as well as the weakness of the budgeting system and the mechanisms of execution and control of fiscal policy

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Glatz, Tudor Alexandre. "L' adaptation du droit roumain aux exigences communautaires." Paris 2, 2001. http://www.theses.fr/2001PA020061.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Wasenda, N'Songo Corneille. "Le droit pénal congolais confronté aux exigences constitutionnelles." Thesis, Paris 1, 2019. http://www.theses.fr/2019PA01D046.

Повний текст джерела

Анотація:

Alors que sous d'autres cieux, les liens entre le droit constitutionnel et le droit pénal ont été acceptés comme fondement de droit pénal d'une part, et que les grandes questions de droit répressif ont fonctionné comme catalyseur d'une constitutionnalisation de l'État et de l'émergence des droits de l'homme, d'autre part, en République démocratique du Congo par contre, la question a rarement été traitée de façon systématique par les chercheurs. La constitutionnalisation du droit pénal serait-elle ainsi un sujet négligé ? La présente thèse avait l'ambition de relever le défi en faisant une lecture pénale croisée et transversale des différentes constitutions qui ont régenté le pays, depuis la Loi fondamentale de 1960 relatives aux structures du Congo, jusqu'à l'actuelle Constitution du 18 février 2006. Dans cette quête, il fallait donc éviter les pièges d'une compartimentalisation des disciplines juridiques en optant plutôt pour leur interdisciplinarité. Conçu initialement pour lutter contre la traite des esclaves et protéger le commerce des États signataires de l'Acte de Berlin sur le territoire formant le bassin conventionnel du Congo, le droit pénal a longtemps gardé cette empreinte d'une oeuvre sommaire, ignorant l'importance des enjeux constitutionnels sur la politique criminelle. Le constat a été observé lors des développements de la première partie consacrée à l'absence du respect des exigences constitutionnelles dans la construction du dispositif répressif, tant dans ses fondements que dans ses orientations philosophiques. Les modifications intervenues après la période coloniale n'ont rien changé de la donne, mais ont plutôt instauré un régime répressif essentiellement tourné vers la protection des institutions politiques et leurs animateurs, ignorant les garanties constitutionnelles et le respect des droits fondamentaux de la personne humaine. Les changements démocratiques introduits par la Constitution du 18 février 2006 auguraient un nouveau cadre idéologique dans l'organisation de la société. Celle-ci a instauré de nouvelles formes de contrôle social et de régulation auxquelles participent naturellement un nouveau droit pénal. Ce dernier doit obéir à certaines conditions d'éthique dans la détermination et la hiérarchie des valeurs sociales d'une part, d'autre part, dans la protection du groupe social avec une attention particulière aux personnes vulnérables et enfin, il doit avoir une valeur pédagogique, tant pour les citoyens ordinaires que pour les diverses catégories des délinquants, notamment en instaurant une gamme de sanctions appropriées. L'examen de toutes ces questions a démontré dans la seconde partie de la thèse qu'il persiste des limites au respect des exigences constitutionnelles, faute d'adaptabilité d'un contrôle de constitutionnalité des normes pénales et surtout par l'insuffisance d'une protection pénale de la Constitution, empêchant ainsi à la Cour constitutionnelle de jouer le rôle d'un véritable acteur de politique criminelle
Whereas in other places the link between constitutional law and criminal law have been accepted as the basis of criminal law on the one hand, and the major questions of repressive law have played the role of a catalyst for the constitutionalisation of criminal law the state and the emergence of human rights on the other hand, in the Democratic Republic of Congo, however, the issue has rarely been treated systematically by researchers. Would the constitionalization of criminal law be a neglected subject ? The present thesis had the ambition to take up the challenge by making a cross reading and transversal of the various constitutions which ruled the country since the Basic law of 1960 relating to the structures of Congo, until the current Constitution of February 18. 2006. In this quest, it was necessary to avoid the trap of compartmentalization of legal disciplines by opting rather for their interdisciplinarity. Originnaly designed to combat the slave trade and protect the trade to the signatory states of the Berlin Act on the territory forming the Congo Basin, the criminal law has long kept this figure of a summary work, ignoring the importance constitutional issues on criminal policy. The observation was made during the developments of the first part devoted to the lack of respect for constitional requirementsin the construction of the repressive mechanism both in its foudations and its philosophical orientations. The changes that took place after the colonial period did not change the situation. Rather, they have created a repressive regime that focuses on protecting political institutions and their leaders, ignoring constitutional guarentees and respect for the fundamental rights of the human person. The democratic changes introduced by the Costitution of 18 february 2006 augured a new ideological framework in the organization of society. It jhas introduced new forms of social control and regulation, which are naturally part of a new criminal law. The latter must comply with certain ethical conditions in the determination and hierarchy of social values on the one hand, and one the other hand, in the protection of the social group with particular attention to vulnerable people and, finalty, it must have a value both for ordinary citizens and for the various categories of offenders, including a range of appropriate. The examination of all these questions has demonstrated in the second part of the thesis that there are limits to the respect constitutional requirements, because of the lack of adaptability of a constitutional review of penal norms and especially because of the insufficiency of criminal protection of the Constitution, thus preventing the Constitutionnal Court from playing the role of a real actor of criminal policy

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Couture, Philippe. "Adaptation de la procédure SSFR aux exigences industrielles." Master's thesis, Université Laval, 2018. http://hdl.handle.net/20.500.11794/30002.

Повний текст джерела

Анотація:

Tableau d'honneur de la Faculté des études supérieures et postdoctorales, 2017-2018
La validité des modèles des générateurs est essentielle aux analyses de stabilité et de performance dynamique des réseaux électriques. Les producteurs d’énergie doivent fournir aux transporteurs d’électricité les paramètres électriques dynamiques du modèle de tous les générateurs mis en service après 1990. Les paramètres fournis doivent obligatoirement être validés par des mesures expérimentales. En Amérique du Nord, la procédure d’estimation des paramètres la plus acceptée est l’essai de courtcircuit brusque. Pour des cas de réfection, les risques élevés de bris peuvent devenir inacceptables. L’essai SSFR (« Standstill Frequency Response ») décrit dans la norme ANSI/IEEE Std 115-2009 comporte plusieurs avantages par rapport aux méthodes plus traditionnelles, notamment l’amélioration de la précision des modèles sur une bande passante plus large (> 200 Hz) et l’élimination des risques d’endommager le générateur. L’objectif du projet de recherche est de développer un système de mesure automatisé répondant à des contraintes industrielles afin d’assister la réalisation de l’essai SSFR sur de grands alternateurs hydrauliques. La solution proposée vise à maximiser la qualité des mesures tout en minimisant le nombre d’interventions manuelles et la complexité du montage expérimental. Le système a été utilisé pendant plus de deux mille heures afin de réaliser des essais de validation sur des générateurs de 5.4 kVA. Les essais ont permis de démontrer que le système est robuste et qu’il possède les spécifications requises pour effectuer des essais SSFR répondant aux exigences de la norme ANSI/IEEE Std 115- 2009. Les trois premiers chapitres du mémoire introduisent les bases théoriques liées à la modélisation dq0 d’un générateur synchrone, puis décrivent les principaux essais permettant l’identification des paramètres du modèle. La seconde partie du mémoire se concentre sur les divers aspects de conception du système de mesure automatisé.
Generator models validity is essential to analyze power grids stability and dynamic performance. Energy producers must provide power carriers with the model parameters of all generators commissioned after 1990. The parameters supplied must be validated by experimental measurements. In North America, the most accepted parameter estimation procedure is the short-circuit test. For repair cases, the high risk of damaging the alternator may become unacceptable. The SSFR (« Standstill Frequency Response ») test described in the ANSI / IEEE Std 115-2009 standard has several advantages over more traditional methods, namely an improvement of the models accuracy over a wider bandwidth (> 200 Hz) and the elimination of the risk of damaging the generator. The research project objective is to develop an automated measurement system meeting industrial constraints in order to assist the realization of the SSFR test on large hydraulic alternators. The proposed solution aims to maximize the quality of measurements while minimizing the number of manual interventions and the complexity of the experimental setup. The system has been used for more than two thousand hours to perform validation tests on 5.4 kVA generators. The tests demonstrated that the system is robust and has the required specifications to perform SSFR tests that meet the requirements of the ANSI / IEEE Std 115-2009 standard. The first three chapters of the thesis introduce the theoretical framework related to the dq0 modelisation of a synchronous generator, then describe the main tests allowing the identification of the model parameters. The second part of the thesis focuses on the various design considerations of the automated measurement system.

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Bendjenna, Hakim. "Ingénierie des exigences pour les processus inter-organisationnels." Toulouse 2, 2010. http://www.theses.fr/2010TOU20092.

Повний текст джерела

Анотація:

Le processus d'ingénierie des exigences constitue la phase amont du cycle de développement d'un système d'information. L'élicitation des exigences est l'une des activités critiques de cette phase. Cette criticité augmente dans l'environnement distribué où se situent les systèmes coopératifs inter-organisationnels qui représentent notre contexte de travail. La cause est due aux obstacles de communication entre les acteurs, liés à la dispersion des acteurs entre les sites distants dans le temps et l'espace, la différence de culture, de langues et de caractéristiques entre les acteurs, etc. Nous avons étudié trois des concepts principaux sur lesquels sont fondées les approches existantes d'élicitation des exigences : but, scénario et point de vue. Nous critiquons ces méthodes dans le contexte des systèmes coopératifs inter organisationnels, en établissant leurs intérêts mais aussi les éléments qui leur font défaut. De cette critique ressortent deux préoccupations. La première consiste à proposer des moyens pour remédier aux inconvénients recensés lors de l'application des approches d'élicitation existantes. La deuxième invite à considérer les facteurs qui influent sur le processus d'élicitation tels que le décalage horaire entre les sites, la différence de langues entre les acteurs, etc. , et qui ont un impact sur le choix des techniques d'élicitation. La solution adoptée dans ce mémoire de thèse est la proposition d'une méthodologie nommée MAMIE (from MAcro to MIcro level requirements Elicitation). Dans MAMIE, nous intégrons à la fois les trois concepts de but, scénario et point de vue. Les buts sont utilisés pour exprimer les objectifs de haut niveau dits de métier, les scénarios fournissent une description textuelle à ces objectifs et les points de vue permettent d'encapsuler les exigences du futur système. De plus, MAMIE fait appel de manière récurrente au choix d'une technique d'élicitation : ce choix ne dépend pas des préférences personnelles de l'analyste, mais il est le résultat d'une évaluation d'une situation décrite par l'ensemble des facteurs qui influent sur ce choix. Pour aider l'analyste à utiliser MAMIE, nous avons développé un outil, MAMIE-Tool, qui permet notamment de spécifier les buts, les scénarios, les points de vue et les exigences du futur système. MAMIE-Tool est présenté sur une étude de cas issue de l'industrie textile
Requirements Engineering (RE) process constitutes the earliest phase of the information system development life-cycle. Requirements elicitation is considered as one of the most critical activities of this phase. Moreover, requirements elicitation is still a challenge, especially in the distributed environment of so-called inter-company cooperative information system, where more issues are created by inadequate communication, time difference between sites, cultural and characteristics diversity of stakeholders. Even though existing requirements elicitation approaches based either on goal, scenario or viewpoint are effective techniques, however, it is well known that they present some difficulties in the practice. In this thesis, we propose a methodology called MAMIE (from MAcro to MIcro level requirements Elicitation) which integrates the three notions of goal, scenario and viewpoint to elicit requirements for an inter-company cooperative information system. We argue that these concepts may be used simultaneously and in a complementary way to improve the requirements elicitation process. Moreover, in order to increase the quality of the elicited requirements and thus the system-to-be quality, selecting an elicitation technique in MAMIE is not based on personal preferences but on situation assessment. A tool has been developed to facilitate the operation of our methodology and an example from textile industry is used to illustrate its applicability

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Garion, Christophe. "Apports de la logique mathématique en ingénierie des exigences." Phd thesis, Toulouse, ENSAE, 2002. http://oatao.univ-toulouse.fr/510/1/Garion_510.pdf.

Повний текст джерела

Анотація:

This thesis deals with requirements engineering (RE). RE characterizes the process leading to consistent set of specifications about some product. We have identified three distinct phases in RE process: requirements modelling, inconsistency management and requirements distribution. In the modelling phase, we have used CO, a logic of preferences, which has allowed us to express each agent's requirements in an ordonned way, but also domain constraints and complex normative sentences. We have then defined the notion of consistency between those three notions. Concerning the possible conflicts between requirements emitted by different agents, we have developped MF, a modal logic allowing to reason on belief bases obtained by majority merging. We have also developped Prolog automatic prover for MF. We have then shown that our approach allows to reason on ordonned or unordonned requirements sets. Finally, we have proposed to include in the RE process a distribution phase. The requirements are distributed among a set of executive agents. We have defined a simple model of agency from which we can derive the agent's goals. We have then extended this approach to multiagents systems and defined a distribution model based on a central entity controlling the distribution process.

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Filion, Marcel. "L'éthique environnementale face aux exigences de la raison publique." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape10/PQDD_0018/NQ47565.pdf.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Hellouin, Laureen. "Contribution à l'ingénierie des exigences et à la traçabilité." Toulouse, INPT, 2002. http://www.theses.fr/2002INPT006G.

Повний текст джерела

Анотація:

Ce mémoire de thèse expose les problématiques qui sont liées à l'Ingénierie des Systèmes et plus spécifiquement l'Ingénierie des Exigences et la Traçabilité. Il présente et définit ensuite chacun de ces thèmes, en soulignant les cycles de développement pratiqués lors de l'Ingénierie des Systèmes en industrie et présents dans les revues spécialisées, puis les activités de l'Ingénierie des Exigences et enfin les modèles de traçabilité répertoriés. Il est proposé une approche méthodologique pour la pratique de l'Ingénierie des Exigences (MISE : Méthodologie d'Ingénierie des Systèmes Electrique, électronique et informatique). Elle a pour support, une matrice de fiches d'exigences catégorisées à trois dimensions, qui classe les exigences par niveaux d'abstraction, par composantes d'un système et par technologie/métier associé. Puis, le thème de la traçabilité est abordé en détail sur les notions de liens résultant de demandes d'évolution des exigences, des liens de déclinaison traduisant un changement de niveau d'abstraction d'une description, des liens de dépendances qui incluent les liens d'allocations des exigences sur des composants du système. Finalement, un exemple simple d'application illustre le modèle de traçabilité défini : pour cela un outil du commerce a été employé. Il décrit les attributs utilisés pour les classes Exigences, Procédures de Vérification, Organes et Systèmes Externes, ainsi que les attributs spécifiques à certains liens. En perspective, deux axes sont émis. Le premier suggère une confrontation de la matrice, de ses fiches et du raisonnement associé avec les opérationnels qui pratiquent l'ingénierie des systèmes au niveau des phases de faisabilité et définition du besoin. Le second axe consiste à améliorer le modèle traçabilité afin de lier l'ensemble des éléments clés du cycle de vie d'un système et d'accroître l'efficacité et la réactivité lors des analyses des demandes d'évolution.

Стилі APA, Harvard, Vancouver, ISO та ін.

19

Sifferlen, Richard. "Etre formateur, des exigences nouvelles pour un métier nouveau ?" Lyon 2, 1996. http://www.theses.fr/1996LYO20009.

Повний текст джерела

Анотація:

Exercer le métier de formateur impose, aujourd'hui, de maîtriser tout un ensemble de connaissances ou d'attitudes dont les composantes peuvent être classées selon deux registres bien distincts. Le premier, se situant au plan des savoir-faire, se réfère à la compétence didactique stricto sensu. A ce titre, il regroupe divers acquis ou pré-requis indispensables à l'acte éducatif ou formatif. Il s'agit alors de maîtriser les paramètres influant sur la situation de formation et les méthodes, voire les techniques d'enseignement appropriées, de connaitre le milieu économico-politique et la population à former, de percevoir et d'intérioriser la nécessité de l'exemplarité comportementale et celle de l'aptitude à l'autocritique. Le second, quant à lui, repose sur tout un ensemble de fondements subjectifs mais non moins capitaux, intégrés dans le cadre de l'aptitude psychologique. On se situe désormais dans le registre des savoir-être qui se traduisent de manière plus ou moins objective sous la forme de comportements observables. Dans cette perspective, il convient de considérer des notions ou des concepts differenciés comme la vocation, le désintéressement, la détermination ou l'opiniatreté, l'ouverture d'esprit, la gestion de son autorité, l'intégration sociale, la conviction de l'éducabilité et, surtout, la qualité relationnelle. Ceux-là doivent constamment et durablement imprégner chacune des attitudes du formateur. Ce dernier correspond, dans cette optique, à une "compilation" plus ou moins bien équilibrée, de connaissances théoriques ou pratiques, de compétences, d'aptitudes et de capacités qui représenteront les fondements même de son action éducative. De l'harmonie de cette répartition dépendront ultèrieurement son efficacité formative et son investissement dans le processus éducatif
Nowadays, in order to practice the teaching profession in a vocational training or continuing education context, it is imperative to master the required knowledge and standpoints of the profession which can be classified into two distinctive groups. The first concerns know how, mainly the didactic skills in their strictest sense, regrouping essential experience and acquired knowledge vital to enable the implementation of the teaching process. This means, to be in full control of the influencing factors and the capacity to apply the appropriate methods and techniques in each teaching situation. Moreover it is vital to be capable of discerning the economical-political and social environment that the group to be taught belongs to, and to show the correct behaviour pattern and self criticism to adopt. The second group is of no lesser importance, it reposes upon a collection of foundations that are of a subjective character concerning the psychological aptitude of the teacher. This is the skills domaine, comprising of the more or less objective manner in which behaviour observation is interpreted. In this context, it is a matter of taking into consideration notions or concepts such as the profession, impartiality, determination or stubborness, open-mindedness, the control of one's authority, social integration, the conviction of learning capabilities, and crucially to be at ease in public relations. All of these qualities should be constantly present in every one of the teacher's attitudes. The last element relates to a more or less well balanced composition of the theoretical and practical knowledge, competence, aptitudes and capacities representing his or her way of teaching. The harmony of this composition will determine the efficiency and personal investment of the teacher in this profession

Стилі APA, Harvard, Vancouver, ISO та ін.

20

Naumchev, Alexandr. "Exigences orientées objets dans un cycle de vie continu." Thesis, Toulouse 3, 2019. http://www.theses.fr/2019TOU30132.

Повний текст джерела

Анотація:

L'évolution constante des besoins des clients et des utilisateurs exige une réponse rapide de la part des équipes logicielles. Cela crée une forte demande pour un fonctionnement sans rupture des processus logiciels. L'intégration, la livraison et le déploiement continus, également connus sous le nom de DevOps, ont fait d'énormes progrès en rendant les processus logiciels réactifs au changement. Ces progrès n'ont toutefois eu que peu d'effets sur les exigences en matière de logiciels. Aujourd'hui, la plupart des besoins sont exprimés en langage naturel. Cette approche a un grand pouvoir expressif, mais au détriment d'autres aspects de la qualité des exigences telles que la traçabilité, la réutilisabilité, la vérifiabilité et la compréhensibilité. Le défi est ici d'améliorer ces aspects sans sacrifier l'expressivité. Bertrand Meyer, dans sa méthode multi-exigences, relève ce défi et propose d'exprimer les besoins individuels en trois couches : sous-ensemble déclaratif d'un langage de programmation orienté objet, langage naturel et notation graphique. Cette approche a motive et inspire les travaux de la présente thèse. Alors que l'approche multiexigences se concentre sur la traçabilité et la compréhensibilité, l'approche Seamless Object-Oriented Requirements (SOOR) présentée dans cette thèse prend en compte la vérifiabilité, la réutilisabilité et la compréhensibilité. Cette thèse explore l'hypothèse de Martin Glinz selon laquelle, pour soutenir la continuité, les exigences logicielles devraient être des objets. L'exploration confirme l'hypothèse et aboutit à un ensemble de méthodes basées sur des outils pour spécifier, valider, vérifier et réutiliser les exigences orientées objets. La contribution technique réutilisable la plus importante de cette thèse est une bibliothèque Eiffel prête à l'emploi de patrons de classes, qui capturent les modèles d'exigences logicielles récurrents. Les exigences orientées objets, concrètes et sans rupture, héritent de ces patrons et deviennent des clients du logiciel spécifié. La construction de logiciels orientés objets devient la méthode de spécification, de validation et de réutilisation des exigences ; la conception par contrat devient la méthode de vérification de l'exactitude des implémentations par rapport aux exigences. Cette thèse s'appuie sur plusieurs expériences et montre que la nouvelle approche propose favorise la vérifiabilité, la réutilisabilité et la compréhensibilité des exigences tout en maintenant l'expressivité à un niveau acceptable. Les expérimentations mettent en oeuvre plusieurs exemples, dont certains sont des standards de l'état de l'art de l'ingénierie des exigences. Chaque expérimentation illustre un problème par un exemple, propose une solution générale et montre comment la solution règle le problème. Alors que l'expérimentation s'appuie sur Eiffel et son support d'outils avancés, tels que la preuve et les tests automatisés, chaque idée présentée dans l'approche SOOR s'adapte conceptuellement à tout langage de programmation orienté objet typé statiquement, possédant un mécanisme de généricité et un support élémentaire pour les contrats
The constantly changing customers' and users' needs require fast response from software teams. This creates strong demand for seamlessness of the software processes. Continuous integration, delivery and deployment, also known as DevOps, made a huge progress in making software processes responsive to change. This progress had little effect on software requirements, however. Specifying requirements still relies on the natural language, which has an enormous expressive power, but inhibits requirements' traceability, verifiability, reusability and understandability. Promoting the problematic qualities without inhibiting the expressiveness too much introduces a challenge. Bertrand Meyer, in his multirequirements method, accepts the challenge and proposes to express individual requirements on three layers: declarative subset of an object-oriented programming language, natural language and a graphical notation. This approach has motivated and inspired the work on the present thesis. While multirequirements focus on traceability and understandability, the Seamless Object-Oriented Requirements approach presented in the dissertation takes care of verifiability, reusability and understandability. The dissertation explores the Martin Glinz' hypothesis that software requirements should be objects to support seamlessness. The exploration confirms the hypothesis and results in a collection of tool-supported methods for specifying, validating, verifying and reusing object-oriented requirements. The most significant reusable technical contribution of the dissertation is a ready-to-use Eiffel library of template classes that capture recurring software requirement patterns. Concrete seamless object-oriented requirements inherit from these templates and become clients of the specified software. Object-oriented software construction becomes the method for requirements specification, validation and reuse; Design by Contract becomes the method for verifying correctness of implementations against the requirements. The dissertation reflects on several experiments and shows that the new approach promotes requirements' verifiability, reusability and understandability while keeping expressiveness at an acceptable level. The experiments rely on several examples, some of which are used as benchmarks in the requirements literature. Each experiment illustrates a problem through an example, proposes a general solution, and shows how the solution fixes the problem. While the experimentation relies on Eiffel and its advanced tool support, such as automated proving and testing, each idea underpinning the approach scales conceptually to any statically typed object-oriented programming language with genericity and elementary support for contracts

Стилі APA, Harvard, Vancouver, ISO та ін.

21

Driss, Maha. "Approche multi-perspective centrée exigences de composition de services Web." Phd thesis, Université Rennes 1, 2011. http://tel.archives-ouvertes.fr/tel-00648131.

Повний текст джерела

Анотація:

Le paradigme architecture orientée service AOS est devenu un standard pour la conception et le développement d'applications distribuées dans base de services Web. Malgré tous les avantages qu'elles apportent en termes d'interopérabilité et de réutilisation, les solutions de développement associées au paradigme AOS sont destinées aux programmeurs et restent difficiles à comprendre par le monde de l'entreprise. Pour être en phase avec le monde de l'entreprise, les applications à base de services Web doivent être décrites en termes d'exigences qu'elles permettent de satisfaire et non pas en termes de fonctionnalités qu'elles permettent de réaliser. Ceci permet de minimiser la discordance conceptuelle entre les services logiciels et l'énoncé des exigences des utilisateurs. Nous proposons dans le cadre de ce travail de thèse, une approche multi-perspective centrée exigences pour la composition de services Web. Notre approche positionne la composition des services dans une perspective centrée exigences dans laquelle les services métiers de haut niveau sont décrits en termes d'exigences qu'ils permettent de satisfaire. Un processus d'alignement est proposé pour assurer une mise en correspondance de ces services avec les services logiciels de bas niveau qui sont décrits en termes de déclarations techniques au niveau d'une perspective centrée fonctions. Ce processus intègre la variabilité de composition tout au long des étapes de construction de ces applications à base de services.

Стилі APA, Harvard, Vancouver, ISO та ін.

22

Dela-Saviá, Sérgio. "L'institution imaginaire de l'ethos : exigences pour une éthique de l'autonomie." Thesis, Paris Est, 2008. http://www.theses.fr/2008PEST0070.

Повний текст джерела

Анотація:

Le sujet de ce travail porte sur le conditions pour qu'il soit pensable une "éthique de l'autonomie". Pour cette enquête j'ai mobilisé la philosophie de l'imaginaire de Cornelius Castoriadis. Ainsi, il s'agit de réfléchir non pas à une éthique "chez" Castoriadis, mais une éthique qui soit en mesure de répondre aux impératifs du projet visant l'autonomie humaine en puisant dans l'oeuvre de Castoriadis le sens d'un tel projet. Le travail tente ainsi d'élucider les conditions de possibilités de l'altération de l'ethos de la société : mode d'être collectif, horizon et source normative d'un groupe social donné (peuple, civilisation, etc.). Or, penser l'altération du monde social signifie penser la possibilité de l'autonomie ce qui implique, par voie de conséquence, penser une éthique et une politique qui favorisent son exercice. Or, nous ne pouvons pas parler d'"autonomie" dans le sens de la philosophie de Castoriadis sans évoquer aussitôt l'ontologie propre au domaine du social-historique, c'est-à-dire la question de l'institution de la société, du rapport psyché/société, de l'effectivité des significations imaginaires sociales, etc. Une "éthique de l'autonomie" : éducation/formation des individus comme membres et coparticipants à l'institution de la société comme telle ; faire être des individus "intéressés" pour le bien commun, capables d'intervenir dans le domaine publique et d'y revendiquer, capables aussi de poser des lois/normes pour la vie en commun
The subject of this work is the conditions that make thinkable an ethics of the autonomy. For such investigation I have mobilized the philosophy of imaginary of Cornelius Castoriadis. Thus, it's a question of thinking not of an ethics "at" Castoriadis, but of an ethics which is able to answer the demands of the project aiming at human autonomy while taking from Castoriadis' work the direction of such a project. The work thus tries to elucidate the conditions that make possible changing the ethos of the society : societal ways of being and normative source of a given social group (people, civilization, etc.). However, to think the change of the social world means to think the possibility of exercising the autonomy, what implies, consequently, of thinking an ethics and a politics that support this exercise. However, we cannot speak about "autonomy" in the sense of Castoriadis' philosophy without evoking at once the ontology specific to the social-historical world, i.e. the issues regarding the institution of the society ; the relations between psyche and society, the effectiveness of the social imaginary significations, etc. an "ethics of the autonomy" will be thus interdependent of the political activity insofar as this one institutes the field where the conditions of the exercise of autonomy can be created indeed : education/formation of the individuals as members and as copartners of the institution of the society as it is ; to create individuals to whom the public good is a major question ; individuals who will be able to intervene and to assert in the public field, as well as to establish laws and rules for the collective life

Стилі APA, Harvard, Vancouver, ISO та ін.

23

Claros, Salinas Maria Paz. "Contribution à l'ingénierie des exigences en conception de produits industriels." Grenoble INPG, 2008. http://www.theses.fr/2008INPG0149.

Повний текст джерела

Анотація:

Pour répondre aux problèmes de globalisation et de compétitivité, l’organisation industrielle s’est complexifiée. Par ailleurs, les produits à concevoir sont également devenus plus complexes, intégrant plusieurs technologies. Dans ce contexte, nous montrons qu’il y a co-évolution du problème et de la solution. La gestion et l’ingénierie d’exigences deviennent des tâches complexes à mettre en œuvre au cours du projet. Pour répondre à cette problématique, cette thèse interroge dans un premier temps les activités qui pourront permettre d’assister la prise en compte des exigences et leur évolution tout au long du processus de conception et dans un deuxième temps, nous interrogons sur les moyens, mis en place dans les organisations industrielles, concernant l’élicitation et la formalisation. Nous proposons deux modèles : le premier permet de mettre en évidence la complexité du déploiement des exigences dans la conception et le deuxième met en évidence des liens de dépendances entre quatre éléments de l’organisation et le réseau des exigences visé par la formalisation
Ln order to satisfy the constraints on competiveness and globalisation, the industrial organisations became very complex. The engineering design process shifted from a sequential process to a concurrent engineering and integrated design. Additionally, products being designed had made more complex the design process because multiple technologies (mechanical, software. . . ) are used while designing. Ln such context, the requirement management and the requirement engineering became complex tasks to achieve during the design process. We showed that the problem is not addressed from the beginning of the design process but that there is coevolution between problem and solution. To answer this challenge on requirement engineering, we first addressed activities that support requirements expression and evolution ail over the design process. Four activities were chosen. The next step was to look for means used in industrial organisations to support these activities (we focussed on elicitation and formalisation activities). Finally we proposed two models. The first one, underline the complexity of deploying requirements ina design process, and the second one highlights the relations between four elements of the organisation and their impact on the requirements network formalisation

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Gudefin, Julia. "Le statut juridique de l'eau à l'épreuve des exigences environnementales." Thesis, Lyon 3, 2013. http://www.theses.fr/2013LYO30068.

Повний текст джерела

Анотація:

Que l’on soit un simple promeneur ou un fin observateur, l’eau est présente partout. Pourtant, l’atout qu’elle représente pour les activités anthropiques cache souvent sa réalité environnementale, celle de son cycle. Ce constat se reflète dans l’appréhension juridique de l’eau laquelle est conçue comme un bien ou une chose. Cette qualification l’assigne donc à un statut juridique dont les manifestations révèlent la fonction utilitariste de la ressource. Or, l’émergence des problématiques environnementales confronte le statut juridique de l’eau à sa réalité physique. Ainsi, le droit et les exigences environnementales s’influencent réciproquement pour générer des règles protectrices de l’eau et des représentations juridiques du cycle hydrologique qui engendrent des évolutions du statut. Dès lors, ce dernier s’émancipe des catégories juridiques traditionnelles issues du droit des biens et s’habille d’une finalité protectrice dont les règles et les concepts, qui s’attachent à la fonction écologique de l’eau et à la réalité environnementale du cycle hydrologique, lui façonnent une autre condition juridique
Along a simple stroll or through fine observations, you will always find water, wherever you go. However, the asset this resource represents for anthropogenic activities often hides its environmental reality, the one of its cycle. This is reflected in the legal definition of water which conceives it as property. This latter qualification assigns it to a judicial status which reveals the utilitarian function of the resource. Yet, the emergence of the environmental issues confronts water’s legal status to its tangible reality. Thus, the conflict between the law and water’s environmental demands makes way for protective regulations. Along with the hydrologic cycle’s legal representation, they both influence the evolution of water’s status. Consequently, the latter goes beyond property law traditional legal categories and arms itself with a protective purpose. Its rules and concepts are tied to the ecological function of water and to the environmental reality of the hydrologic cycle which shape yet another judicial condition for the water

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Briand, Ségolène Faivre-Chauvet Alain. "Fabrication des médicaments expérimentaux radiopharmaceutiques stériles exigences réglementaires et techniques /." [S.l.] : [s.n.], 2008. http://castore.univ-nantes.fr/castore/GetOAIRef?idDoc=33141.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Chabot, Martial. "Tests automatisés dirigés par les exigences pour systèmes cyber-physiques." Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAM056/document.

Повний текст джерела

Анотація:

Aujourd’hui, de nombreux grands industriels de différents domaines se sont lancés dans la conception de produits intelligents pour répondre aux nouveaux besoins du marché. La conception de ces systèmes est de plus en plus complexe, puisqu’ils sont composés de nombreux composants physiques pouvant être contrôlés par des applications s'exécutant sur des processeurs. Afin d'assister cette conception multi-disciplines, la solution que nous proposons dans cette thèse est de diriger la modélisation et la conception du système par la prise en compte des scénarios de test qui devront être utilisés pour valider ses exigences. La méthode préconisée suggère de raisonner au niveau système et de commencer le processus de conception par la formalisation des tests de validation. En d'autres termes, il s'agit en particulier de préciser le(s) critère(s) d’acceptation de l’exigence ainsi que le scénario de test nécessaire pour le(s) vérifier. Formaliser ainsi les tests permet notamment d'analyser la formulation des exigences elles-mêmes et d'y lever toute ambiguïté. Nous proposons un modèle générique de la vue structurelle de l'infrastructure de test, et un profil UML associé. La vue comportementale est modélisée sous forme de diagrammes de séquences SysML. Les interfaces de l'infrastructure de test fournissent des contraintes de testabilité pour le système à concevoir. Nous avons développé un outil, ARES (Automatic geneRation of Executable tests from SysML), qui transforme automatiquement cette spécification structurelle/comportementale des tests en scénarios simulables ou exécutables. Ceux-ci, analogues par construction, seront utilisés pour valider des modèles simulables du système (Matlab/Simulink) puis lors du processus de vérification finale du produit (avec un environnement TestStand). Nous présentons l'application de cet outil sur diverses études de cas associées à des produits Schneider Electric
Nowadays, many major manufacturers in different fields are working towards the design of smart products to meet new market needs. The design of these systems is increasingly complex, as they are composed of many physical components controlled by applications running on processors. In order to support this multi-disciplinary design, the solution we propose in this thesis is to guide the system modeling and design by taking into account the test scenarios that will be used to validate its requirements. The method that we propose suggests reasoning at the system level and starting the design process by formalizing validation tests. In other words, it amounts to specifying the acceptance criterion(s) for the requirement as well as the test scenario necessary to verify it. Formalizing the tests in this way makes it possible to analyze the formulation of the requirements themselves and to remove any ambiguity. We propose a generic model of the structural view of the test infrastructure, and an associated UML profile. The behavioral view is modeled as SysML sequence diagrams. The test infrastructure interfaces provide testability constraints for the system to be designed. We have developed a tool, ARES (Automatic GeneRation of Executable Tests from SysML), which automatically transforms this structural/behavioral specification of the tests into simulatable or executable scenarios. These scenarios, analogous by construction, will be used to validate simulatable models of the system (Matlab/Simulink), then during the process of final verification of the product (with a TestStand environment). We present the application of this tool on various case studies associated with Schneider Electric products

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Chaibi, Rami. "Les exigences physiques chez les enseignants d'éducation physique au Québec." Thèse, Université du Québec à Trois-Rivières, 2009. http://depot-e.uqtr.ca/1709/1/030126930.pdf.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

28

Li, Wenbin. "Towards a resilient service oriented computing based on ad-hoc web service compositions in dynamic environments." Thesis, Lyon, INSA, 2014. http://www.theses.fr/2014ISAL0032/document.

Повний текст джерела

Анотація:

Le processus de composition des services Web joue un rôle important dans la réalisation des architectures orientées services (SOA). Dans les environnements dynamiques dans lesquels des informations con-textuelles changent souvent, le processus de composition est souvent affec-té pendant les phases de conception et d’exécution. Ce processus devrait par conséquence être en mesure de s'adapter aux changements en temps de conception et exécution. A présent, les architectures orientées services et les mécanismes automatiques de composition de services Web ne parviennent pas à faire face aux changements continus et imprévisibles. Construire des architectures orientées services qui s'adaptent aux changements dans des environnements dynamiques révèle un défi pour les processus de com-position de services Web. En outre, les processus de composition actuelles offrent un support limité pour les utilisateurs professionnels de spécifier leurs exigences métier afin générer automatiquement les processus métiers (services Web composites). Par cela, l'écart entre les exigences fonction-nelles et non-fonctionnelles au niveau métier et les exigences techniques liées aux mécanismes de composition de services Web augmentent la com-plexité du développement d'applications ou de processus métier adaptés aux environnements dynamiques. Pour remédier à ces défis, nous introduisons le concept de rési-lience appliqué à l'informatique orientée services (nommé SOC résilient) afin de construire des applications et processus métier dynamiques en res-pectant les exigences métier dans des environnements dynamiques. La SOA résilient est conçue comme un ensemble de modèles qui affectent, et sont affectées par, d’autres modèles. Dans cette thèse, nos contributions, qui se concentrent en particulier sur le modèle d’exigence de composition et le modèle de composition des services Web, composent trois parties princi-pales: tout d'abord le modèle de d’exigence est modélisé aux trois niveaux, i.e., métier, capacité, et règle. Particulièrement, le modèle de d’exigence métier offre aux utilisateurs un langage structuré à base de langage naturelle pour spécifier les processus métier; d'autre part, un processus de trans-formation dérive par transformation un modèle d’exigence de composition à base de règles. Chaque règle représente un ensemble de contraintes multi-objectives concernant différentes variables liées au processus de composi-tion et à son environnement dynamique. Troisièmement, une approche ad-hoc de composition des services Web a été développée pour construire de services composites sans plans de composition prédéfinis dans des environ-nements dynamiques. L’approche de transformation de modèle-à-modèle génère les règles qui sont récursivement utilisées pour modifier ces modèles et ensuite replanifiés une composition ad-hoc de services Web
Due to the distributed and asynchronous nature of Web services, the Web service composition process plays an important role in achieving SOC. In dynamic environments by which contextual information such as Web service properties and composition requirements often change, the composition process is thus affected and, consequently, should be able to adapt composite applications to changes at design time and runtime. Un-fortunately, current Service-Oriented Architecture (SOA) and Web service composition approaches lack of the ability to deal with continuous and un-predictable changes. Building resilient service-oriented architectures that are adaptable to endogenous and exogenous changes in dynamic environments reveal a drastic challenge to current composition processes. In addition, current composition processes provide a limited support for business users to specify their requirements in business languages to automatically compose business processes (i.e., composite services). By such, the gap be-tween business requirements and composition requirements related to Web services increases the complexity of developing adaptable SOA-based ap-plications and processes in dynamic environments. To overcome these challenges, we introduce the concept of Resili-ent Service-Oriented Computing (rSOC) to construct resilient SOA-based applications driven by business requirements in dynamic environments. To this end, the resilient SOA is defined as a set of models that affect and are affected by each other, and relies on a model-to-model transformation ap-proach to ensure SOA adaptability and evolution. In this thesis, we particu-larly focus on two models: a three-level composition requirement model and a Web service composition model, to establish the foundation for a re-silient SOA as follows: firstly, composition requirements are modeled in three levels, i.e., business-centric, capability-focused and rule-driven. Par-ticularly the business-centric requirement model provides business users with a structured natural language to specify requirements; secondly, a two-phase requirement transformation process builds the rule-driven Web ser-vice composition requirement model from the business-centric requirement model as set of composition rules, expressing multi-objective constraints that affect the composition process and its dynamic environment; thirdly, an ad-hoc Web service composition approach is introduced to flexibly con-struct composite services without predefined composition plans. Particularly, composition rules generated in composition process may affect other model(s) in the resilient SOA, such as composition requirement model, and recursively invoke the model-to-model transformation approach to replan the ad-hoc Web service composition approach

Стилі APA, Harvard, Vancouver, ISO та ін.

29

El, Jamal Mohamad Hani. "Contribution à l'évolution des exigences et son impact sur la sécurité." Phd thesis, Université Paul Sabatier - Toulouse III, 2006. http://tel.archives-ouvertes.fr/tel-00139543.

Повний текст джерела

Анотація:

Le travail de la thèse porte sur la problématique de l'évolution des exigences et son analyse d'impact sur la sécurité. Au cours du développement des systèmes, les parties prenantes demandent l'application des évolutions, afin d'améliorer leurs fonctionnalités. L'occurrence d'une évolution affecte plusieurs aspects comme: la sécurité, le coût du développement et les délais. Lorsque le développement concerne un système complexe où le nombre des exigences est de l'ordre de dizaines de milliers, alors les demandes des évolutions rendent l'analyse d'impact du changement de plus en plus difficile. Malheureusement, la problématique de l'évolution des exigences n'est pas encore complètement résolue en milieu industriel. Notre étude est située dans le contexte d'ingénierie système et ingénierie des exigences, en intégrant des modèles formels et outils supports associés pour la vérification des propriétés de sécurité. La méthodologie est basée sur la norme industrielle de l'EIA-632 et sur le format VOLERE d'ingénierie des exigences en intégrant un modèle de traçabilité. De cette démarche ingénierie système, on a développé une méthodologie associée et un système d'information du processus de changement/évolution des exigences. Enfin, ce travail présente la méthodologie de la recherche d'impact lors de la demande de changement, et les outils qui supportent la méthodologie de la recherche d'impact, en se basant sur la méthode formelle (RAISE), qui nous permet d'analyser l'impact de l'évolution sur la sécurité.

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Djebbi, Olfa. "L' ingénierie des exigences par et pour les lignes de produits." Paris 1, 2011. http://www.theses.fr/2011PA010010.

Повний текст джерела

Анотація:

Cette thèse s'intéresse à la configuration des lignes de produits. Son objectif principal est de définir une approche de configuration qui pennette de ten' compte des exigences de configuration des parties prenantes, tout en garantissant la cohérence du produit dérivé par rapport à la spécification de la lign de produits. L'approche proposée, RED-PL, consiste à spécifier les exigences de configuration sous fonne d'équations mathématiques. Le problème de configuration peut alors être traité comme un problème de résolution d'un système d'équations mathématiques. L'avantage est multiple: outre le gain en tenne de pouvoir d'expression, l'approche pennet de procéder à une activité de configuration en présence de modèles multiples, y compris lorsque ceux-ci instancient différents méta-modèles, et d'être directement automatisable par des outils déjà existants. Le premier résultat de la thèse consiste en la définition fonnelle de ce qu'est une exigence de configuration. Cette définition comprend un langage et u classification. Le deuxième résultat consiste en une démarche de configuration originale: à chaque classe d'exigences de configuration correspond un type de problème mathématique, solvable par un solveur du marché spécifique. Cette démarche est outillée. Enfin, l'approche RED-PL qui fournit un guidage pour la configuration d'une ligne de produits depuis la spécification des exigences de configuration jusqu'à l'opérationnalisation par l'outillage approprié a été évaluée dans le cadre d'une étude de cas industrielle menée au sein de la société STAGO Instruments.

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Faget, Vincent. "La répétition de l'indu : entre exigences communautaires et contraintes nationales françaises." Pau, 2008. http://www.theses.fr/2008PAUU2002.

Повний текст джерела

Анотація:

Directement héritée du droit romain, la répétition de l’indu a été profondément renouvelée par la Cour de justice des Communautés Européennes afin de contraindre les Etats membres à rembourser le taxes nationales perçues en violation du droit communautaire, puis à récupérer les aides irrégulièrement versées aux opérateurs économiques. Dans ces conditions, l’ensemble de nos juridictions nationales ont été amenées à la reconnaître et à l’appliquer dans des conditions toutefois très différentes et peu satisfaisantes car ne garantissant pleinement ni les droits des opérateurs économiques ni l’effectivité des exigences du droit communautaire. C’est dire combien une refonte juridique de cette action apparaît aujourd’hui nécessaire. La Convention Européenne des Droits de l’Homme ou la Charte des droits fondamentaux de l’Union européenne ne pouvant suffire à elles seules pour compléter les apports d’une jurisprudence communautaire encore trop respectueuse de l’autonomie institutionnelle et procédurale des Etats membres, c’est donc en toute logique qu’il conviendrait de s’en remettre au législateur communautaire. En effet, et même si son véritable fondement juridique s’avère malaisé à déterminer, une harmonisation du régime de l’action concernée n’en demeure pas moins envisageable ainsi qu’en atteste le fait que le juge communautaire ait déjà contribué au rapprochement des droits nationaux en ce domaine. Et une telle harmonisation parait d’autant plus souhaitable qu’elle permettrait en réalité de parfaire une réglementation communautaire aujourd’hui grandement émaciée notamment en matière d’aide d’Etat
The recovery of undue payments, a concept directly inherited from roman law, has been largely restored by the Court of Justice of the European Communities so as to compel the members states to refund national taxes levied in breach of Community law, and to recover aid unlawfully paid to economic operators. All our national courts have thus been led to recognize and implement this concept, although under conditions which are very different and not very satisfactory, since they do not fully guarantee either the rights of the economics operators or the effectiveness of the requirements of EC law. This shows how necessary it is today to recast the law in that area. The European Convention on Human Rights and the Charter of Fundamental

Стилі APA, Harvard, Vancouver, ISO та ін.

32

Perrussel, Laurent. "Un outillage logique pour l'ingenierie des exigences multi-points de vue." Toulouse 3, 1998. http://www.theses.fr/1998TOU30020.

Повний текст джерела

Анотація:

L'activite d'ingénierie des exigences (IE) d'un logiciel a comme objectif de définir les propriétés et le comportement d'un futur système. Les spécifications finales, caractérisables comme un ensemble cohérent de connaissances, sont issues d'un processus de coopération entre de multiples sources appelées points de vue. Notre objectif est de définir un outillage basé sur la logique permettant de représenter explicitement d'une part les points de vue et leurs connaissances et d'autre part la dynamique de ces points de vue, i. E. L'évolution des connaissances dans ces points de vue. Nous proposons de représenter les points de vue et leurs connaissances à l'aide de la logique des contextes initialement proposée par J. McCarthy. Notre proposition est, dans un premier temps, limitée à un langage propositionnel et ensuite étendue au premier ordre. L'extension au premier ordre nous permet de définir des relations inter-contextuelles. Nous montrons que nous aboutissons pour ces deux langages à des systèmes logiques complets et adéquats. Ensuite, nous nous intéressons à la dynamique des théories contextuelles. Nous avons pris soin de spécifier les actions de révision sous une double facette : _ une facette descriptive. Pour ceci, nous étendons notre langage contextuel propositionnel avec des opérateurs de révision des connaissances. Le langage obtenu permet de spécifier (1) à chaque instant les vérités contextuelles et (2) de spécifier les séquences d'actions (le processus) justifiant ces vérités contextuelles. _ une facette constructive. Nous nous intéressons ici au processus de révision de connaissances dans un contexte. Pour ceci, nous considérons les théories contextuelles comme des théories représentées sous forme arborescente. Nous définissons ensuite une fonction de révision respectant les postulats d'Alchourron, Gardenfors et Makinson. L'application pour l'IE multi-points de vues est multiple car nous pouvons : 1. Exhiber les exigences clairement (représentation logique), 2. Représenter explicitement les points de vue et leurs productions (contextes et vérités contextuelles) et les liens entre points de vue (contextes imbriqués), 3. Spécifier formellement le processus d'obtention des exigences (actions de révision) 4. Justifier les actions conduites (fonction de révision).

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Najjar, Nathalie. "L'arbitrage dans les pays arabes face aux exigences du commerce international." Paris 2, 2003. http://www.theses.fr/2003PA020019.

Повний текст джерела

Анотація:

Après avoir décrit, dans un titre préliminaire, les sources de l'arbitrage commercial international dans les pays arabes et leur contexte législatif, cette thèse est construite autour de deux exigences du commerce international : la liberté et la sécurité dans la résolution des conflits. La première partie (l'exigence de liberté) examine la conformation de l'arbitrage dans les pays arabes à l'exigence de liberté des parties (titre premier) ; cela conduit à s'interroger dans quelle mesure la liberté de recourir à l'arbitrage international et de l'aménager est vérifiée. Le titre second envisage l'autonomie des arbitres dans l'arbitrage, leur pouvoir de statuer sur leur compétence et leur autonomie dans la procédure arbitrale ainsi que dans le règlement du fond du litige. La seconde partie s'attache à vérifier si l'exigence de sécurité est satisfaite. Pour cela, sont successivement étudiés le déroulement de l'arbitrage (titre premier : sécurité dans l'arbitrage), plus particulièrement la lutte contre les manœuvres dilatoires et les garanties d'indépendance et d'impartialité de l'arbitre dans les droits arabes. Le second titre examine si les résultats concrets de l'arbitrage offrent la sécurité recherchée (sécurité de l'arbitrage), lorsqu'il s'agit de mesurer l'efficacité d'une sentence internationale rendue, aussi bien dans les pays arabes qu'à l'étranger. Le sujet est abordé au travers d'une recherche systématique d'informations de première main dans les pays arabes. Le détail des droits de non moins de seize pays est dès lors analysé tout à la fois de manière compréhensive et critique, dans le but d'offrir une alternative favorable à une évolution du droit de l'arbitrage commercial international dans ces pays et en vue de satisfaire à leurs intérêts bien compris.

Стилі APA, Harvard, Vancouver, ISO та ін.

34

Christophe, François. "Sémantique et ingénierie des connaissances pour les exigences et la synthèse en préconception : vers l'automatisation de la clarification des exigences et la synthèse de solutions de préconception." Ecole centrale de Nantes, 2012. http://www.theses.fr/2012ECDN0019.

Повний текст джерела

Анотація:

Cette thèse propose l'application d'outils de linguistique computationnelle et de représentation des connaissances à deux processus de préconception de produits. L'idée ainsi défendue est que de tels outils permettraient l'automatisation partielle des processus d'analyse des besoins et de synthèse des concepts de solution. Le point de vue sur le développement conceptuel développé dans cette recherche est basé sur les méthodologies de développement systématique développées dans la littérature. L'évolution de ces méthodologies apporte une description précise des tâches à réaliser par l'équipe de conception afin de parvenir à un produit efficace et performant. Par conséquent, l'argument de cette thèse est qu'il est possible de créer des modèles informatiques de certaines de ces tâches afin d'assister l’équipe de conception dans la reformulation du problème de conception ainsi que dans l'exploration de l'espace de conception. En ingénierie des exigences, la définition des besoins consiste à identifier les besoins des divers intervenants puis à les formaliser en spécifications du produit. Au cours de cette tâche, les concepteurs sont confrontés à des personnes ayant des domaines de compétence différents. La difficulté est alors que ces personnes expriment leurs besoins avec des niveaux de clarté et des champs lexicaux différents. Ces travaux de recherche aborde la question du traitement des exigences exprimées en langage naturel (dans ce cas en anglais). L'analyse de ces besoins est réalisée à différents niveaux linguistiques: lexicaux, syntaxiques et sémantiques. Le niveau lexical traite de la signification des mots du langage. Le niveau syntaxique analyse la construction des phrases exprimant les exigences par rapport à la grammaire du langage. Le niveau sémantique est l’étude du sens précis d’utilsation des mots dans leur contexte. Cette recherche fait un usage intensif d'un atlas sémantique basé sur le concept mathématique de clique provenant de la théorie des graphes. Ce concept permet le calcul de distances entre un mot et ses synonymes. En outre, une méthodologie et une métrique de similitude ont été définies pour clarifier les exigences aux niveaux syntaxique, lexical et sémantique. Cette méthodologie intègre des outils de collaborateurs de recherche. Pour le processus de synthèse, une représentation numérique des concepts de connaissance nécessaires à la création de solutions de préconception a été développée. Ces concepts sont les suivants: fonction, flux d’entrée/sortie, organe générique, comportement et composant. L’atlas sémantique est également utilisé au cours de ce processus pour chercher une correspondance entre fonctions et composants de solution
This thesis suggests the use of tools from the disciplines of Computational Linguistics and Knowledge Representation with the idea that such tools would enable the partial automation of two processes of Conceptual Design: the analysis of Requirements and the synthesis of concepts of solution. The viewpoint on Conceptual Design developed in this research is based on the systematic methodologies developed in the literature. The evolution of these methodologies provided precise description of the tasks to be achieved by the designing team in order to achieve successful design. Therefore, the argument of this thesis is that it is possible to create computer models of some of these tasks in order to partially automate the refinement of the design problem and the exploration of the design space. In Requirements Engineering, the definition of requirements consists in identifying the needs of various stakeholders and formalizing it into design specifications. During this task, designers face the problem of having to deal with individuals from different expertise, expressing their needs with different levels of clarity. This research tackles this issue with requirements expressed in natural language (in this case in English). The analysis of needs is realised from different linguistic levels: lexical, syntactic and semantic. The lexical level deals with the meaning of words of a language. Syntactic analysis provides the construction of the sentence in language, i. E. The grammar of a language. The semantic level aims at finding about the specific meaning of words in the context of a sentence. This research makes extensive use of a semantic atlas based on the concept of clique from graph theory. Such concept enables the computation of distances between a word and its synonyms. Additionally, a methodology and a metric of similarity was defined for clarifying requirements at syntactic, lexical and semantic levels. This methodology integrates tools from research collaborators. In the synthesis process, a Knowledge Representation of the necessary concepts for enabling computers to create concepts of solution was developed. Such, concepts are: function, input/output flow, generic organs, behaviour, and components. The semantic atlas is also used at that stage to enable a mapping between functions and their solutions. It works as the interface between the concepts of this Knowledge Representation

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Souag, Amina. "AMAN-DA : une approche basée sur la réutilisation de la connaissance pour l’ingénierie des exigences de sécurité." Thesis, Paris 1, 2015. http://www.theses.fr/2015PA010070/document.

Повний текст джерела

Анотація:

Au cours de ces dernières années, la sécurité des Systèmes d'Information (SI) est devenue une préoccupation importante, qui doit être prise en compte dans toutes les phases du développement du SI, y compris dans la phase initiale de l'ingénierie des exigences (IE). Prendre en considération la sécurité durant les premières phases du développement des SI permet aux développeurs d'envisager les menaces, leurs conséquences et les contre-mesures avant qu'un système soit mis en place. Les exigences de sécurité sont connues pour être "les plus difficiles des types d’exigences", et potentiellement celles qui causent le plus de risque si elles ne sont pas correctes. De plus, les ingénieurs en exigences ne sont pas principalement intéressés à, ou formés sur la sécurité. Leur connaissance tacite de la sécurité et leur connaissance primitive sur le domaine pour lequel ils élucident des exigences de sécurité rendent les exigences de sécurité résultantes pauvres et trop génériques. Cette thèse explore l'approche de l’élucidation des exigences fondée sur la réutilisation de connaissances explicites. Tout d'abord, la thèse propose une étude cartographique systématique et exhaustive de la littérature sur la réutilisation des connaissances dans l'ingénierie des exigences de sécurité identifiant les différentes formes de connaissances. Suivi par un examen et une classification des ontologies de sécurité comme étant la principale forme de réutilisation. Dans la deuxième partie, AMAN-DA est présentée. AMAN-DA est la méthode développée dans cette thèse. Elle permet l’élucidation des exigences de sécurité d'un système d'information spécifique à un domaine particulier en réutilisant des connaissances encapsulées dans des ontologies de domaine et de sécurité. En outre, la thèse présente les différents éléments d'AMAN-DA : (I) une ontologie de sécurité noyau, (II) une ontologie de domaine multi-niveau, (iii) des modèles syntaxique de buts et d’exigences de sécurité, (IV) un ensemble de règles et de mécanismes nécessaires d'explorer et de réutiliser la connaissance encapsulée dans les ontologies et de produire des spécifications d’exigences de sécurité. La dernière partie rapporte l'évaluation de la méthode. AMAN-DA a été implémenté dans un prototype d'outil. Sa faisabilité a été évaluée et appliquée dans les études de cas de trois domaines différents (maritimes, applications web, et de vente). La facilité d'utilisation et l’utilisabilité de la méthode et de son outil ont également été évaluées dans une expérience contrôlée. L'expérience a révélé que la méthode est bénéfique pour l’élucidation des exigences de sécurité spécifiques aux domaines, et l'outil convivial et facile à utiliser
In recent years, security in Information Systems (IS) has become an important issue that needs to be taken into account in all stages of IS development, including the early phase of Requirement Engineering (RE). Considering security during early stages of IS development allows IS developers to envisage threats, their consequences and countermeasures before a system is in place. Security requirements are known to be “the most difficult of requirements types”, and potentially the ones causing the greatest risk if they are not correct. Moreover, requirements engineers are not primarily interested in, or knowledgeable about, security. Their tacit knowledge about security and their primitive knowledge about the domain for which they elicit security requirements make the resulting security requirements poor and too generic. This thesis explores the approach of eliciting requirements based on the reuse of explicit knowledge. First, the thesis proposes an extensive systematic mapping study of the literature on the reuse of knowledge in security requirements engineering identifying the different knowledge forms. This is followed by a review and classification of security ontologies as the main reuse form. In the second part, AMAN-DA is presented. AMAN-DA is the method developed in this thesis. It allows the elicitation of domain-specific security requirements of an information system by reusing knowledge encapsulated in domain and security ontologies. Besides that, the thesis presents the different elements of AMANDA: (I) a core security ontology, (II) a multi-level domain ontology, (III) security goals and requirements’ syntactic models, (IV) a set of rules and mechanisms necessary to explore and reuse the encapsulated knowledge of the ontologies and produce security requirements specifications. The last part reports the evaluation of the method. AMAN-DA was implemented in a prototype tool. Its feasibility was evaluated and applied in case studies of three different domains (maritime, web applications, and sales). The ease of use and the usability of the method and its tool were also evaluated in a controlled experiment. The experiment revealed that the method is beneficial for the elicitation of domain specific security requirements, and that the tool is friendly and easy to use

Стилі APA, Harvard, Vancouver, ISO та ін.

36

Konate, Jacqueline. "Approche système pour la conception d'une méthodologie pour l'élicitation collaborative des exigences." Phd thesis, Université Paul Sabatier - Toulouse III, 2009. http://tel.archives-ouvertes.fr/tel-00435878.

Повний текст джерела

Анотація:

La présente thèse porte sur la collaboration dans la conception d'un système dans un cadre Ingénierie Système (IS) et plus spécifiquement, nous nous sommes intéressés à la phase de définition des besoins du système ou processus d'Ingénierie des exigences, qui est la toute première phase dans l'Ingénierie Système. L'Ingénierie des Exigences est un processus assez complexe au cours duquel les exigences qu'un système doit satisfaire sont définies à partir de besoins provenant des différentes parties prenantes concernées de près ou de loin par la réalisation du système. Nous faisons la distinction entre le besoin qui est la perception qu'un utilisateur final a du système et l'exigence qui est la vision en termes techniques qu'un concepteur ou un développeur a du système. Le processus d'élicitation des besoins et de leur transformation en exigences techniques est un travail assez critique et demande l'implication de toutes les parties prenantes. Sur la base de ce constat, nous avons adopte une approche collaborative pour traiter la complexité de ce processus. Etant donne la nature du problème, nous avons distingue deux domaines de définition de nos travaux : l'Ingénierie des Exigences à travers l'Elicitation des Exigences et la Collaboration. Nous avons ainsi adopte une démarche dans laquelle nous faisons la distinction entre les problèmes d'Ingénierie et ceux de la collaboration. Nous proposons une méthodologie pour l'Elicitation Collaborative des exigences qui distingue deux types de processus : les processus d'Ingénierie des exigences et les processus de collaboration. Les processus de collaboration sont définis à l'aide de l'Ingénierie de la Collaboration en s'appuyant sur les taches d'Ingénierie identifiées aux travers de processus d'Ingénierie fournis par des normes, en l'occurrence la norme EIA-632. Des expérimentations de notre méthodologie ont été réalises avec des étudiants en utilisant l'outil ThinkTank de GroupSystems et un prototype de spécification c ollaborative des exigences appelé SPECJ que nous avons développé.

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Coulin, Chad Raymond. "Une Approche Situationnelle et un outil intelligent pour l'élicitation collaborative des exigences." Phd thesis, Université Paul Sabatier - Toulouse III, 2007. http://tel.archives-ouvertes.fr/tel-00195833.

Повний текст джерела

Анотація:

L'elicitation des exigences est une partie fondamentale du processus de développement de logiciel, et est considérée souvent comme une des activités les plus difficiles à réaliser. Beaucoup des techniques, d'approches, et des outils courants sont inconnus ou trop complexes pour les novices, créant ainsi un écart significatif entre la théorie et la pratique de l'elicitation des exigences. Il y aussi l'écart important entre les novices et les experts analystes, qui peuvent être attribués à la compétence étendue réglée et à la gamme des expériences qui est souvent exigée pour conduire avec succès cette activité essentielle. En conséquence, dans cette recherche nous avons examiné l'état de l'art et l'état de pratique afin de développer et évaluer une approche et un outil pour soutenir les novices pendant l'elicitation des exigences. La première étape de la recherche était une étude critique de la littérature, qui a impliqué une révision vaste et une analyse critique de théorie existante sur et autour du secteur de l'elicitation des exigences. Ceci a été suivi par un aperçu de la pratique, qui s'est composé des entrevues détaillées avec les experts, et d'un questionnaire en ligne pour les novices, utilisés pour obtenir des directives d'approche et des caractéristiques d'outil. L'approche OUTSET a été alors conçue, et l'outil MUSTER a été construit. L'étape finale de la recherche a impliqué l'évaluation de l'approche et de l'outil par une étude de cas, une expérience d'étude de cas, et une expérience formelle. Les évaluations empiriques accomplies ont montré que l'utilisation de l'outil MUSTER a amélioré l'efficacité générale les processus de l'elicitation des exigences, pendant que l'approche fondamentale OUTSET a amélioré l'efficacité générale. Il a été aussi montré que la combinaison de l'approche et de l'outil a fourni un système coopératif qui était utile et utilisable. Dans l'expérience accomplie, l'outil MUSTER a reçu plus de trois fois le score de l'outil manuel p our l'efficacité et plus que double pour l'utilité. En plus, la combinaison de méthodes de recherche utilisée, et l'application réussie d'Ingénierie de Méthode Situationnelle et le Système de Soutien de Groupe pour l'approche et l'outil respectivement, était les deux bases d'un autre précédent travail sur l'elicitation des exigences.

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Uninski, Hélène. "Une ingénierie participative des exigences pour les systèmes interactifs complexes en aéronautique." Thesis, Toulouse 3, 2017. http://www.theses.fr/2017TOU30321/document.

Повний текст джерела

Анотація:

L'ingénierie des exigences joue un rôle crucial dans la construction de systèmes aéronautiques sûrs. La notion d'exigence constitue la brique de base de la communication entre les différentes parties prenantes du système : client, utilisateurs, ingénieur système, fournisseurs. Non seulement les exigences sont structurantes pour la définition de système, mais le processus de certification lui-même est basé sur la démonstration de la conformité du système avec les exigences spécifiées, notamment par la traçabilité, c'est-à-dire un maintien des liens entre les différents artefacts d'ingénierie (exigences, exigences détaillées, composants, interfaces). Nous avons réalisé une étude qualitative, à base d'interviews contextuelles et prototypes, auprès de 15 praticiens industriels de quatre entreprises aéronautiques, afin d'enquêter sur les activités réellement effectuées par les ingénieurs en exigences et sur le support outillé de ces activités. Nous avons trouvé que les outils spécifiques à l'ingénierie des exigences contraignent les ingénieurs à un flux de travail rigide, qui est en conflit avec une exploration adaptative des problèmes de conception. Les ingénieurs commencent souvent par utiliser des outils à vocation générale pour favoriser l'exploration et la collaboration avec les fournisseurs, au détriment de la traçabilité. Quand les ingénieurs basculent sur le raffinement et la vérification des exigences, ils doivent utiliser des outils spécifiques pour garantir la traçabilité. Le manque d'utilisabilité de ces outils entraine une perte de temps significative et une insatisfaction. Sur la base de nos observations, nous développons une vision située de l'ingénierie des exigences, retranscrivant son rôle entre contexte d'ingénierie et contexte opérationnel du système. Sur la base de scénarios et de prototypes, nous formulons des exigences d'utilisabilité pour les outils spécifiques d'ingénierie des exigences. Nous proposons plus particulièrement des visualisations interactives et coordonnées de texte structuré permettant de décorréler rigueur et rigidité dans le processus d'ingénierie des exigences, en rendant possible une souplesse pendant le processus tout en éliminant progressivement toute approximation en sortie du processus. L'ingénieur bénéfice de visualisations structurées des exigences, à partir desquelles il peut communiquer avec les parties prenantes, chercher du texte, voir l'état d'avancement des exigences, détecter et compléter les informations manquantes par une navigation et un filtrage interactifs sur les visualisations. Au-delà des outils supportant une vision située de l'ingénierie des exigences, nous proposons une nouvelle approche : l'ingénierie participative des exigences. La finalité est la production d'exigences matures spécifiant dans le système futur la prise en compte de situations non prévues dans le système actuel mais gérées par les utilisateurs. Elle est basée sur une articulation de techniques utilisées en conception participative pour impliquer les utilisateurs, avec un effort continu d'abstraction et de formalisation des exigences pour informer la définition du système. Nous appliquons notre approche sur quatre projets aéronautiques : collaboration et contrôle aérien, cockpit d'avion-école électrique, analyse de rapport d'accident et nouvel instrument de vol. Nous présentons les artefacts d'ingénierie issues de l'application de notre approche afin d'en évaluer ses bénéfices
Requirements Engineering plays a crucial role in coordinating the different stakeholders needed for safe aeronautics systems engineering. The notion of requirement is a key concept in system definition and represents the cornerstone of communication among stakeholders: customer, user, systems engineers, suppliers. The certification process in critical systems requires traceability documents as a means of demonstrating safety, showing links between the several artifacts (high-level requirements, refined requirements, components and interfaces). We conducted a qualitative study, using interviews and mockups, with fifteen industrial practitioners from four aeronautics companies, to investigate which tasks are actually performed by requirements engineers and how current tools support these tasks. We found that RE-specific tools constrain engineers to a rigid workflow, which conflicts with the adaptive exploration of the problem. Engineers often start by using general-purpose tools to foster exploration and collaborative work with suppliers, at the expense of traceability. When engineers shift to requirements refinement and verification, they must use RE-specific tools to grant traceability. But the lack of tool usability yields significant time loss and dissatisfaction. Based on observed RE practices, we devise a situated vision of Requirements Engineering, rendering its role in between the operational context and the engineering context of the system. Based on scenarios and prototypes, we formulate usability insights for RE-specific tools. In particular, we propose interactive coordinated visualizations of structured text, allowing engineers to decorelate rigor from rigidity throughout the RE process, by providing flexibility during the process while gradually tackling approximation to the end of the process. The requirements engineer takes advantage of structured visualizations of requirements, from which he can communicate with stakeholders, search for text, get the progress status of requirements, detect and fill missing information thanks to interactive navigation and filtering. Beyond interactive tools supporting a situated vision of RE, we propose a new approach to RE: participatory requirements engineering (PRE). Its purpose is the production of mature requirements specifying in the future system the coverage of unforeseen situations in the current system, yet managed by users. The approach is based on the combined use of participatory design techniques to involve the users, with a continuous effort of abstraction and requirements statement to inform the system definition. We apply the approach on four projects in aeronautics: collaboration and air traffic control, cockpit of an electric training aircraft, analysis of accident report and new flight instrument. We present the engineering artifacts resulting from the application of the approach in order to evaluate its benefits

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Lachance, Martyn. "Une analyse critique du concept d'inculturation : fécondités et exigences du concept d'inculturation." Master's thesis, Université Laval, 2001. http://hdl.handle.net/20.500.11794/51241.

Повний текст джерела

Анотація:

Le rapport qu’entretient l’Évangile avec les cultures n’est pas nouveau; c’est la forme qu’il prend dans celles-ci qui l’est. Force est de constater que chaque culture est unique tandis que le message évangélique, lui, est universel quant à sa portée. Ce défi, relevé quelquefois avec succès et d’autres fois avec des lacunes, est toujours actuel: trouver des formulations adéquates et appropriées de l’expérience de foi dans des concepts locaux qui tiennent compte des particularités culturelles propres à chaque culture. C’est bien évidemment à partir du contexte visé que tout effort d’inculturer le message kérygmatique doit commencer. Si des modèles nouveaux de discours et d’expressions de foi sont appelés à naître, encore faut-il que les destinataires puissent y trouver du sens. Ce n’est qu’à partir d’une écoute du travail de salut (pierres d ’attentes), sorte d’acte de foi de celui qui entre en contact avec l’autre dans le but de recevoir, que les deux parties en cause pourront rendre possible une juste inculturation et ainsi rendre justice à cette si noble tâche qu’est l’inculturation de l’évangile.

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Konaté, Jacqueline. "Approche système pour la conception d'une méthodologie pour l'élicitation collaborative des exigences." Toulouse 3, 2009. http://thesesups.ups-tlse.fr/689/.

Повний текст джерела

Анотація:

La présente thèse porte sur la collaboration dans la conception d'un système dans un cadre Ingénierie Système (IS) et plus spécifiquement, nous nous sommes intéressés à la phase de définition des besoins du système ou processus d'Ingénierie des Exigences, qui est la toute première phase dans l'Ingénierie Système. L'Ingénierie des Exigences est un processus assez complexe au cours duquel les exigences qu'un système doit satisfaire sont définies à partir de besoins provenant des différentes parties prenantes concernées de près ou de loin par la réalisation du système. Nous faisons la distinction entre le besoin qui est la perception qu'un utilisateur final a du système et l'exigence qui est la vision en termes techniques qu'un concepteur ou un développeur a du système. Le processus d'élicitation des besoins et de leur transformation en exigences techniques est un travail assez critique et demande l'implication de toutes les parties prenantes. Sur la base de ce constat, nous avons adopté une approche collaborative pour traiter la complexité de ce processus. Ainsi, nous définissons la problématique suite à une étude bibliographique sur l'Ingénierie des Exigences en vue de définir les frontières et le cadre de nos travaux. Etant donné la nature du problème, nous avons distingué deux domaines de définition de nos travaux : l'Ingénierie des Exigences à travers l'Elicitation des Exigences et la Collaboration. Nous avons ainsi adopté une démarche dans laquelle nous faisons la distinction entre les problèmes d'Ingénierie et ceux de la collaboration. Nous proposons alors une méthodologie pour l'Elicitation Collaborative des exigences. Nous séparons le domaine de l'Ingénierie du domaine de la collaboration en définissant deux types de processus : les processus d'Ingénierie des exigences et les processus de collaboration. Les processus de collaboration sont définis à l'aide de l'Ingénierie de la Collaboration en s'appuyant sur les tâches d'Ingénierie identifiées aux travers de processus d'Ingénierie fournis par des normes, en l'occurrence la norme EIA-632. Nous avons également réalisé des expérimentations de notre méthodologie avec des étudiants en utilisant l'outil ThinkTank de GroupSystems et un prototype de spécification collaborative des exigences appelé SPECJ que nous avons développé
This thesis treats the collaboration issues of design teams in the context of System Engineering (SE). Systems are more and more complex; their design requires the involvement of various skills, i. E. , several stakeholders. This also involves team work between different stakeholders. Since this needs to be done correctly, it is necessary to define the methods required. In order to accomplish this, we were interested in collaboration that we considered more elaborated than simply group work. Indeed, collaboration is intended to be a group work that is better organized and structured, with clearly defined rules. To understand this problem more clearly, we were particularly interested in the process of identifying the needs of the system also called Requirements Engineering (RE), which is the first phase of the Engineering System. RE is a very complex process during which system requirements have to be defined based on needs from different stakeholders concerned in one way or another by the realization of the system. We make a distinction between the need that is the perception of a final user of the system, and the requirement that is the vision, in technical terms, that a designer or a developer has of the system. Indeed, requirement is the technical expression of a need and it will be recorded in the specifications book in order to be transferred to the system realization team. The process of needs collection and the transformation of these needs into technical requirements is critical and requires involvement of all stakeholders. As a result of this, we decided to adopt a collaborative approach to deal with the complexity of this process. Thus, in order to define the boundaries and scope of our research work, we made a literature review on RE. We have more focused on the phase of Requirements Elicitation, the first phase of RE, because it requires the committed participation of all stakeholders. Given the nature of the problem, we have distinguished two domains in which our research work is located: RE through Requirements Elicitation and Collaboration. .

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Hélouët, Loïc. "Analyse des exigences des systèmes répartis exprimées par des langages de scénarios." Rennes 1, 2000. http://www.theses.fr/2000REN10097.

Повний текст джерела

Анотація:

La conception de systemes commence souvent par une phase de capture d'exigences, consistant a definir des comportements typiques attendus. Dans le domaine des applications distribuees, ces specifications incompletes sont le plus souvent donnees sous forme de chronogrammes ou scenarios, decrivant des communications entre entites du systeme. Cependant, la clarte d'un dessin ne leve pas toute ambiguite semantique, et le besoin d'outils d'analyse des exigences ainsi exprimees se fait rapidement sentir. De plus, les exigences contiennent deja suffisamment d'information pour envisager de verifier certaines proprietes formelles du systeme en construction. La these que nous defendons est qu'il est possible, grace a une modelisation par des scenarios, d'introduire des methodes formelles des la phase de capture des exigences d'un systeme distribue. Pour cela, nous etudions un langage de scenarios particulier, les high level message sequence charts (ou hmsc), et les manipulations formelles possibles a partir de ce langage muni d'une semantique. Dans un premier temps, nous proposons une semantique d'ordres partiels permettant de preserver l'aspect visuel du langage tout en facilitant sa manipulation formelle. Cette nouvelle semantique permet la definition d'une relation d'equivalence entre scenarios, ainsi qu'une simulation efficace des comportements definis. Une etude temporelle des hmsc est ensuite proposee, puis une technique de synthese automatique de code distribue.

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Huang, Chao-Yun Robert. "La prise en charge des enfants autistes à l'école : réalités et exigences." Grenoble 2, 2005. http://www.theses.fr/2005GRE29002.

Повний текст джерела

Анотація:

Cette thèse étudie un sujet important de l'éducation des enfants à besoins spécifiques en France : "la prise en charge des enfants autistes à l'école". Est-il possible, nécessaire et pertinent d'intégrer les enfants autistes à l'école ? Si la réponse est positive, quelles sont les conditions éducatives et pédagogiques précises de cette prise en charge qui peuvent favoriser l'ensemble du développement de ces enfants ? Basée sur la logique de l'évaluation anthropologique, cette recherche évalue premièrement la cohérence entre les caractéristiques spécifiques de l'autisme et les différents dispositifs de prise en charge. Ensuite, nous proposons une évaluation classique de l'efficacité de la prise en charge à l'école au moyen de différentes observations (ouvertes et structurées) d'interactions pédagogiques et éducatives entre enseignants et élèves. Les trois "découvertes" principales de cette recherche sont : 1. La conception personnelle du responsable de l'établissement ou de l'enseignant sur l'autisme est un facteur qui influence de manière déterminante les conditions d'une prise en charge. 2. On observe des complémentarités entre les nouvelles approches éducatives spécialement destinée aux enfants autistes et la pédagogie générale comme la pédagogie Montessori dans la pratique de l'enseignement. 3. La prise en charge des enfants autistes à l'école est une modalité pertinente en considérant ses effets éducatifs notamment dans l'instauration d'un rapport pédagogique enseignant / élève, la prise de conscience par l'élève autiste de sa stratégie d'apprentissage et la diminution des difficultés d'apprentissage
This thesis studies an important subject of the education of the children of special needs in France : "the schooling of autistic children". Is it possible, necessary and relevant to integrate the autistic children into the school ? If this is positive answer, which are the educational and teaching conditions precise of this educational placement which can support the whole of the development of these children ? Based on the anthropological evaluation logic, this research evaluates firstly the coherence between the autism's specific characteristics and the different placements. Then, we propose a traditional evaluation of the effectiveness of the educational placement at the school by means of various observations (open and structured) on the teaching and educational interactions between teachers and student. There are three principal "discoveries" in this research: 1. The personal conception on the autism of the chef person of the institute or of the teacher is a factor, which influences in a determining way on the conditions of placement. 2. We find a complement between the new educational approaches especially intended for the autistic children and the general pedagogy like Montessori pedagogy in teaching practice. 3. The autistic children's schooling is a relevant method by considering its educational effects in particular in the funding of a pedagogical relationship between teacher and student, the awareness of consciousness in the autistic children's learning strategy and the reduction of difficulties in the learning

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Gomez, Sotelo Karla. "Méthodologie d'assurance de la qualité pendant la définition des exigences d'un système." Thesis, Toulouse, INSA, 2019. http://www.theses.fr/2019ISAT0037.

Повний текст джерела

Анотація:

Les entreprises sont en compétition pour mettre avant les autres leurs produits sur le marché. Dans cette course, la connaissance des caractéristiques de qualité qu'un utilisateur final souhaite pour le produit est parfois présupposée ou mal comprise. Il en résulte souvent un produit qui n'atteint pas l'objectif pour lequel il a été conçu et fabriqué. Dans ce contexte, est-il possible de guider méthodologiquement le processus de développement afin d’assurer la qualité d'un produit ? En nous référant à l'Ingénierie des Systèmes, c’est à l'étape de la définition du Concept dans le cycle de vie du système que les besoins des parties prenantes sont recueillis, traduits tout d’abord en exigences des parties prenantes puis en exigences sur le système. Cette thèse adresse donc prioritairement ces étapes. Elle propose une méthodologie visant à assurer que les besoins des parties prenantes sont bien compris et correctement traduits en exigences système. La proposition est conforme à la norme de qualité ISO 15288 (2015) et intègre les principes du Lean. La thèse propose également un outillage qui supporte la méthodologie. Les résultats obtenus sur plusieurs études de cas développés à Tecnológico Nacional de México, Instituto Tecnológico de Toluca (ITTol), Mexique, démontrent l’efficacité de la méthodologie proposée. Son utilisation augmente les chances que le produit livré réponde aux attentes des parties prenantes, réduit les changements d'exigences dus à une mauvaise identification des besoins et, par conséquent les coûts induits par ces changements, et assure une livraison plus rapide du produit sur le marché
Companies are competing to put their products on the market. In this race, knowledge of the quality characteristics that end users require for the product is sometimes presupposed or misunderstood. The result is often a product that does not achieve the purpose for which it was designed and manufactured. In this context, is it possible to guide the development process methodologically in order to ensure the quality of a product? With reference to Systems Engineering, it is at the stage of Concept in the life cycle of the system that the needs of stakeholders are collected, translated first into stakeholder requirements and then into system requirements. This thesis therefore addresses these steps as a priority. It proposes a methodology to ensure that stakeholder needs are well understood and properly translated into system requirements. The proposal complies with the ISO 15288 (2015) quality standard and incorporates the Lean principles. The thesis also proposes a tool that supports the methodology. The results obtained from several case studies developed at the Tecnológico Nacional de México, Instituto Tecnológico de Toluca (ITTol), Mexico, demonstrate the effectiveness of the proposed methodology. Its use increases the likelihood that the delivered product will meet stakeholder expectations, reduces requirement changes due to misidentification of needs and, therefore, the costs incurred by these changes, and ensures faster delivery of the product to the market

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Mili, Saoussen. "Approche de vérification formelle des exigences de sécurité pour les systèmesembarqués communicants." Thesis, CY Cergy Paris Université, 2020. http://www.theses.fr/2020CYUN1062.

Повний текст джерела

Анотація:

La maîtrise de la sécurité dans les systèmes embarqués communicants se heurte àun certain nombre de difficultés, dues à leur nature qui est le plus souvent complexe. Adopter une approche basée sur les modèles pour la vérification des exigences du système dès la phase de conception peut apporter un gain important en matière de coût et de temps.Dans ce travail de thèse, nous proposons une approche centrée sur les modèlespour la vérification formelle de la satisfaisabilité d’un scénario d’attaque pour un système embarqué communicant. L’approche proposée est composée de trois étapes : i) la modélisation conceptuelle du système, ii) la modélisation conceptuelle de l’attaque, iii) la transformation des modèles conceptuels en modèles formels en vue de vérification. Le langage SysML a été choisi pour la modélisation structurelle et comportementale du système en raison de son adaptabilité et son extensibilité par profilage. Afin de personnaliser la modélisation des flux de données, nous avons stéréotypé les ports et les connecteurs suivant les technologies et leurs propriétés. Cettepersonnalisation nous a permis de suivre les traces de la circulation des flux entre les différents sous-systèmes communicants. Une ébauche de la documentation du profil de connectivité a été proposée. Pour la structuration de l’attaque, un profil de l’arbre d’attaque étendu nommé ExtAttTree a été proposé. À la différence des arbres d’attaque classiques, ce profil parvient à assurer l’aspect formel et temporel de l’attaque, grâce à l’insertion des opérateurs de la logique temporelle dans ses nœuds.Dans le cadre ainsi défini, la conduite d’une étude de transformation de modèlesest introduite dans la troisième partie. Elle a pu se dérouler d’une manière assez optimale en s’appuyant sur le paradigme Model-Drivent Architecture. Nous avons engagé deux processus de transformation, le premier visant à générer du code NuSMV à partir des modèles SysML en utilisant une transformation par template (Acceleo). Le second assure le passage de l’attaque ExtAttTree vers la formule Computational Tree Logic en utilisant une transformation par programmation (Java). Les modèles générés sont simulés sur le model checker NuSMV. Le système est caractérisé par des attributs ; pour faire des tests de satisfaisabilité, une variation de la valeur de vérité des attributs est effectuée. À cet effet, nous pouvons détecter avec exactitude les conditions qui ont mené à une attaque. En complément de cette approche, deux cas d’étude de voitures connectées ont été proposés (la Jeep Cherokee et la Tesla model S). Des scénarios d’attaque inspirés du réel ont été analysés afin de valider l’approche
Due to their most often complex nature, the control of the security in commu-nicating embedded systems comes up against major difficulties. The adoption of amodel-based approach for verifying system requirements at the earliest stage, i.e. in the design phase, may bring about substantial cost cutting and time saving. In this doctoral thesis, we propose a design-centric approach for the formal verification of an attack scenario satisfiability for embedded communicating systems. Thus, we propose a three-stage approach : i) conceptual modelling of the system, ii) conceptual modelling of the attack, iii) transformation of conceptual models into formal models for verification. For the structural and behavioural modelling of the system, we opted for the SysML language as it offers the best adaptability and extensibility by profiling. In order to personalize the modelling of data flows, we stereotyped ports and connectors according to their technologies and properties. This extension allowed us to monitor the circulation traces of flows between the differentcommunicating subsystems. A documentation of the connectivity profile was pro-posed. For structuring the attack, we put forward an extended attack tree profile termed ExtAttTree. Unlike conventional attack trees, this profile manages to ensure both formal and temporal aspects of the attack, through the insertion of operators of temporal logic in its nodes.We introduce, in the third part, a study of models’ transformation, carried outwithin this predefined framework. The transformation proceeded in a substantially optimized way, based on the Model-Driven Architecture paradigm. We implemented two transformation processes. The first aimed to generate NuSMV code from SysML models by using a transformation by template paradigm with Acceleo. The second ensures the transition from the ExtAttTree attack to the Computational Tree Logic formula using a programming language transformation paradigm with Java. The generated models are simulated on the NuSMV model checker. The system is characterized by attributes ; to achieve satisfiability tests, a variation in the attributes truth-value is carried out. This scheme allows to accurately detect the conditions that led to an attack. As a complement to this approach, we proposed two case studies of connected cars remote attacks (the Jeep Cherokee and the Tesla Model S). The attack scenarios inspired from real-life are analyzed in order to validate the approach

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Vidal-Naquet, Ariane. "Les garanties légales des exigences constitutionnelles dans la jurisprudence de Conseil constitutionnel." Paris 2, 2004. http://www.theses.fr/2004PA020084.

Повний текст джерела

Анотація:

Les " garanties légales des exigences constitutionnelles " surgissent dans la jurisprudence du Conseil constitutionnel en 1986. Si le deuxième alinéa de l'article 34 de la Constitution est un titre attributif de compétence, il doit aussi être considéré comme prescripteur d'obligations sur le fond : le législateur doit accepter les garanties fondamentales nécessaires à l'exercice des libertés. Cette contrainte se manifeste dans le temps : la modification ou l'abrogation de dispositions antérieures ne saurait priver de garanties légales des exigences constitutionnelles. Sont qualifiées de garanties légales les mesures indispensables à l'exercice des libertés publiques, qui demeurent néanmoins tributaires de conditions techniques ou politiques. Il s'agit d'une catégorie ouverte, s'étoffant au gré de la jurisprudence, et qui ne peut être réduite à un mécanisme d'irréversibilité législative, dit " effet-cliquet ". Les garanties légales constituent une catégorie fonctionnelle, révélant la fonction positive des libertés publiques. Elles sont utilisées comme points d'ancrage par le juge constitutionnel pour accroître la concrétisation de son contrôle. A travers ces garanties légales émerge un contrôle proportionnalisé, exigeant une cohérence interne de la loi. Si elles constituent une technique contentieuse efficace, leur généralisation achoppe sur des limites juridictionnelles et jurisprudentielles. Au-delà d'influences désorganisatrices, notamment sur l'identité entre normes de référence du contrôle et normes constitutionnelles et sur la complexification de la structure des libertés publiques, les garanties légales assurent l'articulation d'un véritable système constitutionnel.

Стилі APA, Harvard, Vancouver, ISO та ін.

46

Hassan, Walid. "Réforme institutionnelle des Nations Unies et exigences du maintien de la paix." Thesis, Nancy 2, 2008. http://www.theses.fr/2008NAN20014.

Повний текст джерела

Анотація:

La réponse efficace à la plupart des menaces contre la paix, qui concernent désormais l’ensemble de la communauté internationale, exige une action collective. C’est dans cet esprit, l’ONU est considérée comme un instrument indispensable pour délibérer et agir sur ces menaces. Dans cet esprit, la réforme des Nations Unies est nécessaire pour permettre à l’Organisation de s’adapter aux évolutions du monde, de tirer les leçons des expériences passées (Rwanda, Srebrenica) et de moderniser l’action internationale. Ces réformes devraient renforcer l’autorité et la légitimité de l’Organisation, et la rendre plus efficace
Brining an effective response to the majority of the threats against the peace, which concerns from now on the international community, requires a collective action. It is in this spirit, the UN is regarded as an essential instrument to deliberate and act on these threats. In this spirit, the reform of the United Nations is necessary to permit the Organization to adapt to the evolutions of the world, to learn the lessons from the last experiences (Rwanda, Srebrenica) and to modernize the international action etc. So, it is necessary to reinforce the authority and the legitimacy of the Organization, to make it more effective

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Humbert, Sophie. "Déclinaison d'exigences de sécurité, du niveau système vers le niveau logiciel, assistée par des modèles formels." Bordeaux 1, 2008. http://www.theses.fr/2008BOR13580.

Повний текст джерела

Анотація:

Les turbomoteurs d'hélicoptère incluent des logiciels de contrôle de plus en plus élaborés et complexes. Pour répondre aux exigences de sécurité de ce type de système, il convient de décliner précisément les exigences système en exigences logicielles. Nos travaux ont porté sur l'amélioration de cette phase de déclinaison d'exigences. Nous proposons une démarche en deux étapes. La première consiste à modéliser, en language AltaRIca, les propagations de pannes potentielles de composants du système, en intégrant des hypothèses de modes de défaillance sur les parties matérielles et logicielles. L'analyse de ce modèle permet d'évaluer la sûreté de l'architecture du système envisagée, et de déduire des exigences élémentaires, en particulier sur les fonctions logicielles. Ces exigences imposent que certains comportements logiciels ne se produisent pas. La seconde étape porte sur le raffinement de ces exigences afin de les rendre vérifiables sur le modèle de conception SCADE du logiciel.

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Blouin, Annie. "Les exigences pastorales de Mgr de Saint-Vallier envers ses prêtres, 1685-1727." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp03/MQ38027.pdf.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

49

Blouin, Annie. "Les exigences pastorales de Mgr de Saint-Vallier envers ses prêtres, 1685-1727." Ottawa : Bibliothèque et archives Canada, 1999. http://www.nlc-bnc.ca/obj/s4/f2/dsk2/ftp03/MQ38027.pdf.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Prades, Rémi. "Intérêt du public et droit d'auteur : de la conception classique aux exigences actuelles." Paris 12, 1999. http://www.theses.fr/1999PA122006.

Повний текст джерела

Анотація:

L'objet du droit d'auteur est de conferer aux createurs ainsi qu'a leurs oeuvres une protection efficace. Toutefois cette discipline est empreinte de fortes considerations culturelles qui lui donnent une fonction sociale importante. Le droit d'auteur francais ne comporte aucune disposition expresse en faveur du public. Bien entendu leurs interets sont pris en compte, mais qu'a travers les prerogatives accordees aux auteurs. Ainsi, dans certaines hypotheses, les interets du public pourront se confondre avec ceux des auteurs. Mais, c'est surtout au regard des differentes exceptions qui sont accordees aux droits des auteurs que les interets du public seront pleinement satisfaits. L'arrivee des oeuvres informationnelles a fortement modifie cette conception classique du droit d'auteur. Certains droits vont etre confisques aux createurs alors que, dans le meme temps, les utilisateurs de logiciels ou de bases de donnees vont beneficier de certaines prerogatives sur ces oeuvres. Cette nouvelle conception du public au sein du droit d'auteur s'explique principalement par l'importance croissante des donnees informationnelles. Le public a voulu, des lors, revendiquer son << droit a l'information >>. Plus recemment, le developpement du multimedia et des vecteurs de diffusion des oeuvres a considerablement accru les exigences du public creant ainsi un nouvel equilibre entre les interets du public et ceux des auteurs. Par consequent, les prerogatives des auteurs se trouvent etre fragilisees. La question du devenir du droit d'auteur se pose alors avec une forte acuite.

Стилі APA, Harvard, Vancouver, ISO та ін.

Дисертації з теми "Exigences de la technologie"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями