Joachim Fischer – författare

This book provides a concise overview of modelling and programming by presenting their essential concepts. It enables the reader to better understand the relationships between modelling and programming by describing abstract properties, desired behaviours, intended structures, needed interactions, and other specific viewpoints on the overall system under development.

After an introduction to the importance of modelling and programming in the scope of system engineering in chapter 1, the book provides four main chapters covering systems, models, specifications, and programs, each of them with a set of reflection exercises. Chapter 2 explores how systems relate to reality, exploring different perspectives related to the purpose of the system. Chapter 3 explains what it takes to be a model and how models and systems are related and concludes with discussing model semantics, meaning, and correctness. In Chapter 4, specifications are debated which are precise descriptions of models and systems. It presents the language constructs needed to describe systems and shows how the constructs can be expressed in concrete languages, considering both the structure and the behaviour of models. Chapter 5 considers the creation, simulation, and correct execution of specifications (model descriptions or programs). Eventually, Chapter 6 presents a collection of real-world modelling cases. Apart from describing the case, the concepts of the book are applied to the case, thus giving a better understanding of the concepts.

The book is carefully designed to explain modelling and programming concepts, their relationships, and their use. Written for computer science students and lecturers, it covers systems, modelling, programming, simulation, and semantics.

Nicolai Hartmann (1882-1950), einer der bedeutendsten Philosophen des 20. Jahrhunderts, zeichnet das Bemühen um eine Rekonstruktion der philosophischen Tradition in der Auseinandersetzung mit den Wissenschaften aus. Er hat, um diesen Gedanken zu unterstreichen, das Wort "systematische Philosophie" geprägt. Die Praxis systematischen Philosophierens wird erstmals in der hier in kommtierter Fassung vorgelegten Auswahl der "Cirkel-Protokolle" fassbar. Es handelt sich um das Dokument eines Disputierkreises, den Hartmann von 1920 bis 1950 geleitet hat. Hartmann hat in seiner Marburger, Kölner, Berliner und Göttinger Zeit mit einem wechselnden Kreis von persönlich eingeladenen Studenten, Studentinnen und älteren Schülern zu verschiedenen philosophischen Themen und Problemen Gespräche geführt. Aufgrund ihrer dialogischen Form geben die im Nachlass Hartmanns befindlichen Cirkelprotokolle einen unvergleichlichen Einblick in die geistige Kultur des 20. Jahrhunderts.

This book constitutes the proceedings of the 17th International System Design Language Forum, SDL 2015, held in Berlin, Germany, in October 2015.

The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: smart cities and distributed systems; specification and description language; domain specific languages; goal modeling; use-case modeling; and model-based testing.

Die Autoren beschreiben praxisnah die wichtigsten Formen der technischen Nutzung regenerativer Energieträger. Sie stellen deren Potentiale unter Berücksichtigung der globalen Energieprobleme und der thermodynamischen Grenzen von Energiewandlungsprozessen dar und diskutieren ihren Beitrag zu einem nachhaltigen Energiesystem.

Das Buch behandelt Photovoltaik, Solar- und Geothermie, Biomasse, Wind- und Wasserkraft und berücksichtigt damit sowohl Systeme zur Elektrizitäts- als auch zur Wärmebereitstellung. In den einzelnen Kapiteln wird - ausgehend von den natur- und ingenieurwissenschaftlichen Grundlagen - die Funktionsweise der zentralen Komponenten sowie deren Verknüpfung zu Systemen dargestellt. Konkrete Planungs- und Auslegungsbeispiele verbinden die theoretischen Grundlagen mit einer handlungsorientierten Lehre. Der Integration regenerativer Energieanlagen in die bereits vorhandenen Systeme für Elektrizität, Wärme und Transport ist jeweils ein eigenes Kapitel gewidmet.

In der zweiten Auflage ist ein ein Kapitel über Energiespeicher, sowohl für thermische als auch elektrische Energie neu hinzugekommen. Vollständig überarbeitet wurden die Kapitel zur Energieeffizienz und zur Windkraft.

Wohin orientiert sich die Kultursoziologie im 21. Jahrhundert? Jüngere Kultursoziologen und Kultursoziologinnen schlagen in Thesen und Beispielanalysen Pfade vor – „ältere“ kommentieren diese Suchbewegungen. So entsteht ein spannendes generationenübergreifendes Spektrum gegenwärtiger Kultursoziologie.