Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Institution séculaire s'il en est, l'université est aujourd'hui dans la tourmente au sein de la plupart des pays européens. Doit-elle s'incliner devant les impératifs du marché et, comme d'aucuns le souhaitent, souscrire aux seules valeurs de l'utilité, de la rentabilité, de l'efficacité, de la performance et de la compétitivité ou bien peut-elle encore s'intéresser à la faculté de l'inutile propre à l'humain et la développer ? Déjà soulevée à la fin du XVIIIe siècle avec la création d'Écoles professionnelles supérieures en France et en Allemagne, cette question relative à l'orientation fondamentale de l'université est loin d'être tranchée aujourd'hui. On peut même dire, en n'élargissant nullement le débat, que plus de deux siècles après la révolution industrielle, nos sociétés vivant quasiment au lendemain de la révolution électronique se déchirent toujours sur la priorité des valeurs et sur les rapports à établir entre l'économique, le culturel, le politique et le social.

université --- crise --- utilité --- orientation --- institution

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

What do girls want from their future profession? What image do STM professions have in the eyes of girls? What do companies and institutions need to take into account when designing career guidance programmes for girls? The authors deal with these and other questions on gender-specific career guidance on the basis of evaluation results for Girls' Day 2013.

Career orientation --- gender --- girls --- STM --- Berufsorientierung --- Gender --- Mädchen

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Chaque année, l'Union Nationale des Clubs Universitaires et l'Union Syndicale des Journalistes Sportifs de France organisent une université d'été. En 2007, la manifestation a été accueillie par la Cité Internationale Universitaire de Paris. Le thème choisi pour cette 25ème Université Sportive d'Été s'intitulait : Le Sport, l'Université, la Société, doublé d'une ambition non dissimulée, en guise de sous-titre : En finir avec les espérances déçues ? L'Université et le Sport ne sont pas au-dessus ou en dehors de la Société mais l'une et l'autre sont bien au cœur de la Société. Or la Société n'est pas au clair sur ce que pourrait être leur rôle, y compris dans cette forme singulière qu'est le Sport à l'Université, lieu de passage obligé pour la formation d'une grande partie de la jeunesse d'aujourd'hui. Pour autant, le Sport et l'Université sont aussi à un moment clé de leur existence. En outre, tout en cherchant leur place au sein de la Société, l'Université et le Sport ont tendance à se regarder avec une certaine distance. L'objectif initial de I'USE était de mettre en relation les représentants des institutions qui ont pour charge de gouverner ces trois domaines afin de fixer ensemble des conditions permettant de lever malentendus et marques de méfiance. Au terme des analyses et des échanges, il semble acquis de pouvoir supprimer de mauvaises habitudes, d'en finir avec des espérances souvent déçues et d'ouvrir de réelles perspectives d'action concertée.

ambition déçue --- société --- sport universitaire --- orientation --- enseignement supérieur

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Seit mehreren Jahrzehnten prägt Globalisierung die Welt - politisch, wirtschaftlich und sozial. Dies veränderte viele Lebenssachverhalte erheblich, sowohl im Positiven wie im Negativen. Im Ergebnis entstanden Zwiespältigkeit und eine postglobale Misere, die es zu bewältigen gilt. Jürgen Tureks umfangreiche Analyse geht den Gründen für die Destabilisierung der zivilisatorischen Verhältnisse im Spannungsfeld wirtschaftlicher Dynamik, sozial-kultureller Aufregung und politischer Unsicherheit nach. Seine differenzierte Bestandsaufnahme verschafft Orientierung und schlägt konkrete politische Lösungsstrategien vor.

Political Science --- Globalization --- Orientation --- Germany --- European Integration --- Global Governance --- Politics --- International Relations --- Political Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components.It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.

formal specification, deductive verification, object-orientation, components, encapsulation, context specification, proof obligations, modular proofs