La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.
Le Manuel de référence sur les systèmes de mise en œuvre de la protection sociale synthétise les expériences et les leçons apprises des systèmes de mise en œuvre de la protection sociale à travers le monde. Il adopte un concept de la protection sociale large, qui couvre différentes populations telles que les familles pauvres ou à faible revenu, les chômeurs, les personnes handicapées et les personnes confrontées à des risques sociaux. Il analyse différents types d’interventions des gouvernements pour la protection des individus, des familles ou des ménages, au travers de programmes spécifiques allant de programmes ciblant la pauvreté, aux prestations et services en faveur de l’emploi, et aux prestations et services au bénéfice des personnes handicapées et d’autres services sociaux. Ce Manuel de référence cherche à répondre à différentes questions pratiques soulevées au cours de la mise en œuvre, en particulier : • Comment les pays mettent-ils en œuvre les prestations et services de protection sociale ? • Comment le font-ils avec l’efficacité et l’efficience voulues ? • Comment assurent-ils une inclusion dynamique, en particulier celle des personnes les plus vulnérables et les plus défavorisées ? • Comment favorisent-ils une meilleure coordination et intégration non seulement entre les différents programmes de protection sociale mais aussi avec les programmes mis en œuvre par d’autres acteurs gouvernementaux ? • Comment peuvent-ils répondre aux besoins des populations ciblées et assurer une meilleure expérience client ? Le cadre de mise en œuvre des systèmes de protection sociale précise les principaux éléments de cet environnement opérationnel. Il se décline en différentes phases qui s’échelonnent tout au long de la chaîne de mise en oeuvre. Ces phases sont les lieux d’interactions entre différents acteurs, parmi lesquels des personnes et des institutions. La communication, les systèmes d’information et la technologie facilitent ces interactions. Ce cadre peut s’appliquer à la mise en œuvre d’un ou plusieurs programmes ainsi qu’à la mise en place d’une protection sociale adaptative. Le Manuel de référence des systèmes de mise en œuvre de la protection sociale s’articule autour de huit principes clés qui constituent le code de conduite de la mise en œuvre : 1. Les systèmes de mise en œuvre ne suivent pas un modèle unique, mais tous les modèles partagent des points communs qui forment le coeur du cadre de mise en œuvre des systèmes de protection sociale. 2. La qualité de la mise en œuvre a une grande importance et la faiblesse de l’un des éléments constitutifs de la chaîne de mise en œuvre affectera négativement l’ensemble de celle-ci et réduira les impacts du ou des programmes qui lui sont associés. 3. Les systèmes de mise en œuvre évoluent dans le temps, de manière non linéaire et leur point de départ est important. 4. Dès le début de la mise en œuvre, des efforts devront être déployés pour « garder les choses simples » et pour « bien faire les choses simples ». 5. Le premier segment de la chaîne, à savoir l’interface entre les futurs bénéficiaires et l’administration, est souvent son maillon le plus faible. Son amélioration peut nécessiter des changements systémiques, mais ceux-ci contribueront considérablement à l’efficacité globale et atténueront les risques d’échec de cette interface. 6. Les programmes de protection sociale ne fonctionnent pas dans le vide et, par conséquent, leur système de mise en œuvre ne doit pas être développé en vase clos. Des opportunités de synergies entre institutions et systèmes d’information existent et les saisir peut améliorer les résultats des programmes. 7. Au-delà de la protection sociale, ces systèmes de mise en œuvre peuvent aussi améliorer la capacité des gouvernements à fournir d’autres prestations ou services, comme les subventions à l’assurance maladie, les bourses d’études, les tarifs sociaux de l’énergie, les allocations logement et l’accès aux services juridiques. 8. L’inclusion et la coordination sont des défis omniprésents et permanents. Pour les relever, il faut donc améliorer de façon continue les systèmes de mise en œuvre à travers une approche dynamique, intégrée et centrée sur la personne.
Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. Différents domaines tels les systèmes de transport, la production d'énergie ou la santé prennent en compte l'implémentation de ces méthodes pour satisfaire les exigences de sécurité élevées des systèmes critiques. Leur mise en œuvre dans le cadre d'une application industrielle (application de grande taille, contrainte de coût et de délais, etc.) ne peut se faire que par l'emploi d'outils suffisamment matures et performants. Cet ouvrage collectif présente des exemples concrets d'utilisation des techniques formelles comme la méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE et des techniques de vérification associées. Il en identifie aussi les avantages et les difficultés.
Le développement spectaculaire d’internet, des réseaux sociaux, de la technologie mobile et la multiplication des capteurs provoquent une croissance exponentielle des données à laquelle les entreprises doivent faire face : c’est le phénomène du Big Data. Ses enjeux sont considérables. Au-delà de la simple question technique du stockage, il offre la possibilité de tirer profit du contenu de ces nouvelles sources d’information. Les solutions décisionnelles classiques laissent progressivement place au Business Analytics et aux méthodes prédictives, transformant l’avalanche de données en valeur ajoutée. La technologie est aujourd’hui disponible, les bases de données traditionnelles ont évolué et les solutions dédiées à l’exploitation des données massives, telles que Hadoop, sont désormais opérationnelles. S’appuyant sur différents cas pratiques, Enjeux et usages du Big Data met l’accent sur les méthodes, les techniques et les ressources nécessaires pour permettre aux entreprises d’entrer avec succès dans l’ère de l’information à grande échelle.
This book gathers the general contributions to the 3rd Thematic Congress of the International Academy of Comparative Law, which took place from 16 to 18 November 2016 in Montevideo, Uruguay. The main topic of the Congress was the enforcement and effectiveness of the law as a particularly relevant concern in today’s society, in which the expressions of law have multiplied and legal pluralism seems to have reached its peak. The book addresses the enforcement of constitutional rights in national and supranational contexts, as well as the effectiveness of international dispute settlement. Further, it examines in detail the relations between the enforcement and effectiveness of criminal law, contract law and family law. Ce livre rassemble les contributions générales du 3ème Congrès thématique de l'Académie internationale de droit comparé, qui s'est déroulé du 16 au 18 novembre 2016 à Montevideo en Uruguay. Le sujet principal du Congrès était la mise en oeuvre et l’effectivité du droit qui constituent une préoccupation particulièrement pertinente dans la société contemporaine où les expressions du droit se sont multipliées et où le pluralisme juridique semble avoir atteint son apogée. Le livre traite de la mise en oeuvre des droits constitutionnels dans des contextes nationaux et supranationaux ainsi que de l'efficacité du règlement des différends internationaux. En outre, il examine en détail les relations entre l'application et l'efficacité du droit pénal, du droit des contrats et du droit de la famille.
The "European Yearbook promotes the scientific study of nineteen European supranational organisations and the Organisation for Economic Co-operation and Development (OECD). Each volume contains a detailed survey of the history, structure and yearly activities of each organisation and an up-to-date chart providing a clear overview of the member states of each organisation. Each volume contains a comprehensive bibliography covering the year's relevant publications.
The "European Yearbook promotes the scientific study of nineteen European supranational organisations and the Organisation for Economic Co-operation and Development (OECD). Each volume contains a detailed survey of the history, structure and yearly activities of each organisation and an up-to-date chart providing a clear overview of the member states of each organisation. Each volume contains a comprehensive bibliography covering the year's relevant publications.
The African Convention on the conservation of nature and natural resources was adopted in 1968 in Algiers. Considered the most forward looking regional agreement of the time, it influenced significantly the development of environmental law in Africa. Two and a half decades of intense developments in international environmental law made it necessary to revise this treaty, update its provisions and enlarge its scope. This was undertaken under the auspices of the African Union (previously OAU), and the revision was adopted by its Heads of State and Government in July 2003 in Maputo. The introduction provides an overview of this new international treaty, as well as a commentary to each of its provisions.
