Refine
Year of publication
- 2017 (71) (remove)
Document Type
- Monograph/Edited Volume (71) (remove)
Keywords
- Graphtransformationen (2)
- Graphtransformationssysteme (2)
- Inklusion (2)
- Musikunterricht (2)
- Sprache (2)
- graph constraints (2)
- graph transformation (2)
- inclusion (2)
- Abhängigkeiten (1)
- Angriffe (1)
Institute
- Wirtschaftswissenschaften (9)
- Department Erziehungswissenschaft (8)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (8)
- Sozialwissenschaften (8)
- Institut für Romanistik (5)
- Extern (4)
- Historisches Institut (4)
- Institut für Germanistik (3)
- WeltTrends e.V. Potsdam (3)
- Institut für Philosophie (2)
1968 in Berlin
(2017)
Berlin war einer der Brennpunkte der Studentenrevolte. Dieses Buch verfolgt die Ereignisse von der ersten Anti-Vietnam-Kriegs-Demo in der Hardenbergstraße (1966), über die Erschießung Benno Ohnesorgs an der Deutschen Oper (1967) bis zur Befreiung des RAF-Terroristen Andreas Baader (1970). In den Blick genommen werden auch die Protestaktionen im Osten der Stadt, die sich vor allem gegen den Einmarsch der Truppen des Warschauer Paktes in der Tschechoslowakei richteten. Informative Texte zu den Hintergründen, umfangreiches Bildmaterial und eine Übersichtskarte machen das Buch zu einem anschaulichen Zeitreiseführer in die jüngere deutsche Geschichte.
Americans in Berlin
(2017)
The correctness of model transformations is a crucial element for model-driven engineering of high quality software. In particular, behavior preservation is the most important correctness property avoiding the introduction of semantic errors during the model-driven engineering process. Behavior preservation verification techniques either show that specific properties are preserved, or more generally and complex, they show some kind of behavioral equivalence or refinement between source and target model of the transformation. Both kinds of behavior preservation verification goals have been presented with automatic tool support for the instance level, i.e. for a given source and target model specified by the model transformation. However, up until now there is no automatic verification approach available at the transformation level, i.e. for all source and target models specified by the model transformation.
In this report, we extend our results presented in [27] and outline a new sophisticated approach for the automatic verification of behavior preservation captured by bisimulation resp. simulation for model transformations specified by triple graph grammars and semantic definitions given by graph transformation rules. In particular, we show that the behavior preservation problem can be reduced to invariant checking for graph transformation and that the resulting checking problem can be addressed by our own invariant checker even for a complex example where a sequence chart is transformed into communicating automata. We further discuss today's limitations of invariant checking for graph transformation and motivate further lines of future work in this direction.
Dieser Band knüpft an die repräsentative Dokumentation des Fortbildungsprojektes Belcantare Brandenburg. Jedes Kind kann singen! für musikunterrichtende Grundschullehrkräfte im Land Brandenburg und seine begleitendende Evaluationsforschung an. Inhaltlicher Schwerpunkt dieses Bandes ist die Vorstellung der explorativen Evaluationsstudie mit ihren sensiblen Konzepten, Fragenstellungen, ihrem triangulierenden Forschungsdesign und ausgewählten Forschungsergebnissen aus den Staffeln 1 und 2.
Die fachdidaktischen, musikpsychologischen und methodischen Kontexte der Evaluationsforschung werden durch Fachartikel entsprechender Autoren in diesem Band transparent und bereichern ihn im besonderen Maße. Die Mitwirkung von Studierenden am Forschungsprozess erforderte Anwendungsleitfäden zur methodischen Handhabung verschiedener Erhebungsinstrumente und Auswertungsmethoden zu entwickeln, denen hier der Raum zur Veröffentlichung gegeben wurde.
This volume Boundaries of Inclusion and Exclusion examines the many different and newly emerging ways in which citizenship refers to spatial, symbolic and social boundaries. Today, in the context of citizenship we face processes of inclusion and exclusion on national and supranational level but no less on the level of groups and individuals. The book addresses these different levels and discusses processes of inclusion and exclusion with regard to spatial, social and symbolic boundaries referring to such different problems as political participation, migration, or identity with regard to religion or the EU. This book will appeal to academics working in the field of political theory, political sociology and European studies.
Conditions
(2017)
Whenever we think, decide or act, different sorts of conditions are involved which substantially determine how we do it. We do not create the contents of our thoughts. They are given to us in experience. And the constraints and restrictions that bind our decisions and actions are imposed upon us by the environments and milieus to which we as deciding agents belong, and in which we have to decide and act. The conditions which determine us when thinking, deciding and acting are the subject matter of this essay, how they work, and what possibilities we have got of changing or transforming them.
In der Philosophie des 20. Jahrhunderts wird deutlich, dass es in Frankreich und in Deutschland voneinander abweichende Sichtweisen auf die Frage gibt, ob der Mensch eine "Sonderstellung" in der Dynamik des biologischen und geschichtlichen Lebens genießt. Während sich in Deutschland die Tradition eines anthropologischen Denkens neu formiert, ist in Frankreich eine scharfe Skepsis gegenüber dem Erbe des Humanismus charakteristisch. Die Beiträge dieses zweisprachigen Buches untersuchen diese deutsch-französische Konstellation von Fragen und Autoren, und aktualisieren die Reflexion auf die (Grenzen der) Singularität des Menschen.
Seit Jahren ist der Mangel an Informatiklehrkräften bekannt und wird fachdidaktisch und politisch diskutiert. Aufgrund der geringen Anzahl von Studierenden mit dem Berufsziel Informatiklehrkraft ist eine Vergrößerung des Mangels vorhersehbar. Es stellt sich die Frage, warum so wenige Studierende sich für das Studienziel Lehramt Informatik entscheiden.
Das Ziel der vorliegenden Arbeit ist es, die Berufswahl von Informatiklehrkräften aus der individuellen, biographischen Perspektive der Beteiligten zu erforschen und dabei Faktoren zu identifizieren, die die Berufswahl Informatiklehrkraft positiv oder negativ beeinflussen. Der Forschungsschwerpunkt liegt auf der qualitativen empirischen Untersuchung des Berufswahlprozesses, während eine quantitative Befragung aktiver Informatiklehrkräfte zu berufswahlrelevanten Aspekten des Berufsbildes diese ergänzt. Das Forschungskonzept der qualitativen Untersuchung orientiert sich an der Grounded Theory. Es wurden angehende Informatiklehrkräfte zu ihrem Berufswahlprozess befragt, wobei die Daten durch mündliche Interviews, Gruppendiskussionen und schriftliche Berufswahlbiographien erhoben wurden. Die Datenauswertung orientiert sich zudem methodisch an der dokumentarischen Methode nach Ralf Bohnsack.
Die Ergebnisse der Untersuchung zeigen, dass der Berufswahlprozess von angehenden Informatiklehrkräften häufig mit Umwegen in Form von Studienzielwechseln verbunden ist. Neben dem eigenen Bild der Informatik und dem Informatikselbstkonzept kommt dem Informatikunterricht der eigenen Schulzeit eine wichtige Rolle in diesem Prozess zu. Von der Lehrerforschung werden die Unterrichtserfahrungen während der eigenen Schulzeit im später studierten Fach als entscheidend für die Fachwahl identifiziert. Dies bestätigt sich in den Berufswahlbiographien derjenigen angehenden Informatiklehrkräfte, die den Informatikunterricht ihrer eigenen Schulzeit positiv erinnern. Diese streben meist direkt in ihrem ersten Studium das Berufsziel Informatiklehrkraft an. Sie hatten zur Schulzeit ein positives Bild der Informatik und ein hohes Informatikselbstkonzept. Der Informatiklehrkraft ihrer Schulzeit bescheinigen sie oft eine berufliche Vorbildfunktion. Allerdings hatten die meisten der befragten angehenden Informatiklehrkräfte selbst keinen Informatikunterricht oder erinnern diesen negativ. Der Weg zum Studium Informatiklehrkraft führt bei diesen Befragten häufig über den Umweg von zunächst anderen Studienentscheidungen, meistens über ein Lehramtsstudium mit anderen Fächern oder ein Informatikstudium. Die Informatikstudierenden haben zum Zeitpunkt ihrer ersten Studienwahl ein positives Bild der Informatik und ein hohes Informatikselbstkonzept aber kein positives Berufsbild Informatiklehrkraft. Ihr Wechsel von einem Informatikstudium zum Studium mit dem Berufsziel Informatiklehrkraft wird in der Regel durch den Wunsch nach einer stärkeren sozialen Komponente im späteren Berufsalltag ausgelöst. Bei den Lehramtsstudierenden, die häufig zunächst ein niedriges Informatikselbstkonzept und/oder ein negatives Bild der Informatik haben, kann es zu einer Umorientierung hin zum Studienziel Informatiklehrkraft kommen, wenn diese Vorstellungen sich während des ersten Studiums – z. B. durch den Besuch von universitären Lehrveranstaltungen zu informatischen Inhalten – ändern. Die letztliche Entscheidung für den Beruf Informatiklehrkraft wird von denjenigen, die ihr Studienziel wechselten, mit Recht als durch Zufälle bestimmt empfunden.
Die digitale Entwicklung durchdringt unser Bildungssystem, doch Schulen sind auf die Veränderungen kaum vorbereitet: Überforderte Lehrer/innen, infrastrukturell schwach ausgestattete Unterrichtsräume und unzureichend gewartete Computernetzwerke sind keine Seltenheit. Veraltete Hard- und Software erschweren digitale Bildung in Schulen eher, als dass sie diese ermöglichen: Ein zukunftssicherer Ansatz ist es, die Rechner weitgehend aus den Schulen zu entfernen und Bildungsinhalte in eine Cloud zu überführen.
Zeitgemäßer Unterricht benötigt moderne Technologie und eine zukunftsorientierte Infrastruktur. Eine Schul-Cloud (https://hpi.de/schul-cloud) kann dabei helfen, die digitale Transformation in Schulen zu meistern und den fächerübergreifenden Unterricht mit digitalen Inhalten zu bereichern. Den Schüler/innen und Lehrkräften kann sie viele Möglichkeiten eröffnen: einen einfachen Zugang zu neuesten, professionell gewarteten Anwendungen, die Vernetzung verschiedener Lernorte, Erleichterung von Unterrichtsvorbereitung und Differenzierung. Die Schul-Cloud bietet Flexibilität, fördert die schul- und fächerübergreifende Anwendbarkeit und schafft eine wichtige Voraussetzung für die gesellschaftliche Teilhabe und Mitgestaltung der digitalen Welt. Neben den technischen Komponenten werden im vorliegenden Bericht ausgewählte Dienste der Schul-Cloud exemplarisch beschrieben und weiterführende Schritte aufgezeigt.
Das in Zusammenarbeit mit zahlreichen Expertinnen und Experten am Hasso-Plattner-Institut (HPI) entwickelte und durch das Bundesministerium für Bildung und Forschung (BMBF) geförderte Konzept einer Schul-Cloud stellt eine wichtige Grundlage für die Einführung Cloud-basierter Strukturen und -Dienste im Bildungsbereich dar. Gemeinsam mit dem nationalen Excellence-Schulnetzwerk MINT-EC als Kooperationspartner startet ab sofort die Pilotphase. Aufgrund des modularen, skalierbaren Ansatzes der Schul-Cloud kommt dem infrastrukturellen Prototypen langfristig das Potential zu, auch über die begrenzte Anzahl an Pilotschulen hinaus bundesweit effizient eingesetzt zu werden.