Der Band beleuchtet unterschiedliche Aspekte von Diversity in der Informatik. Ausgangspunkt sind die im Internationalen Frauenstudiengang Informatik an der Hochschule Bremen gesammelten Erfahrungen aus der Lehre, aus Projektkooperationen und aus dem Ubertritt unserer Absolventinnen ins Berufsleben. Welche Massnahmen haben sich an anderen Hochschulen bewahrt? Wie gehen unsere europaischen Nachbarn mit dem Thema um? Gibt es Besonderheiten auf dem deutschen Arbeitsmarkt oder in unserer Organisation von Arbeit, die Veranderungen zu mehr Vielfalt behindern? Der Tagungsband zum 10-jahrigen Bestehen...

Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme prazise zu beschreiben. Diese Formalismen werden in vielen Gebieten des praktischen Systementwurfs angewandt. Das Buch stellt die wichtigsten, grundlegenden Formalismen zusammen und kompensiert damit das in den sog. Bindestrich-Informatik-Studiengangen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich.