Les élections européennes 40 ans après – The European Elections, 40 years later

Les élections européennes 40 ans après – The European Elections, 40 years later
Author: Tony Marguery
Publisher: Bruylant
Total Pages: 424
Release: 2020-09-28
Genre: Law
ISBN: 2802768352

En 2019, 40 ans après la première élection des membres du Parlement européen au suffrage universel direct en 1979, les citoyens de l’Union étaient une neuvième fois appelés aux urnes. Entre ces deux dates, le Parlement européen a profondément changé, passant d’une simple assemblée consultative au colégislateur de droit commun d’une Union européenne en proie à de nombreuses crises. Les contributions au présent ouvrage, tirées des travaux d’un colloque international qui s’est tenu à l’Université de Bordeaux les 9 et 10 mai 2019, entendent dresser le bilan, les enjeux et les perspectives, tant des élections européennes de 2019 que de la démocratie représentative européenne de façon globale. In 2019, 40 years after the first election of members of the European Parliament by direct universal suffrage in 1979, the citizens of the Union were called to the polls for the ninth time. Between these two dates, the European Parliament changed dramatically, from a mere consultative assembly to the ordinary co-legislator of a European Union plagued by many crises. This book draws on an international conference held at the University of Bordeaux on May 9 and 10, 2019. The various contributions therein intend to take stock, examine the challenges and envisage the prospects, not only of the 2019 European elections but also of representative European democracy in general.

Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information

Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information
Author: BOULANGER Jean-Louis
Publisher: Lavoisier
Total Pages: 434
Release: 2013-04-01
Genre: B method (Computer science)
ISBN: 2746288109

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.

Les aciers inoxydables duplex (Traité MIM, série matériaux et métallurgie)

Les aciers inoxydables duplex (Traité MIM, série matériaux et métallurgie)
Author: ALVAREZ-ARMAS Iris
Publisher: Lavoisier
Total Pages: 482
Release: 2012-04-16
Genre:
ISBN: 2746274574

Les aciers inoxydables duplex sont des alliages Fe-Cr-Ni-Mo dont l'utilisation s'est fortement accrue depuis 10 ans. Leur structure biphasée leur assure une plus haute résistance mécanique et une plus haute résistance à la corrosion que n'ont les aciers inoxydables austénitiques standard. Ces nuances duplex ont un succès commercial continument croissant pour un large domaine d'applications (secteurs énergétiques, industries du gaz et du pétrole, industries chimiques, chimiquiers, industries du papier et de la pâte à papier…), dû à leurs très bonnes propriétés et leur relativement faible coût.

Author:
Publisher: Odile Jacob
Total Pages: 369
Release:
Genre:
ISBN: 2738189423