1 Einleitung, 2 Formale Theorien für Programmiersprachen, 3 HOARE-Logik für while-Programme, 4 Ausblick

1 Einführung, 2 Heterogene Algebren, 3 Algebraische Hülle und Homomorphiebegriff, 4 Termalgebren, 5 Syntax und Semantik von Sprachen, 6 Kongruenzrelationen und Faktoralgebren, 7 Gleichungsdefinierbare Klassen, 8 Abstrakte Datentypen

1 Einführung, 2 Terme, Gleichungen, Gleichungsspezifikationen, 3 Initialität, 4 Gleichungskalkül und Induktion, 5 Erweiterung von Gleichungsspezifikationen, 6 Finale Semantik und beobachtbares Verhalten, 7 Implementation von Spezifikationen

1 Einführung, 2 Transformationen, 3 Kamera und Projektion, 4 Objekte im Raum, 5 Licht und Oberflächen, 6 Texturen, 7 Transparenz und transparente Texturen, 8 Direkte Pixel-Operationen, 9 Display Listen und Vertex-Felder, 10 Mehrfaches Rendern der Szene, 11 Schatten mit dem Schablonen Puffer

No description available.

No description available.

No description available.

No description available.

In der folgenden Arbeit soll ein Überblick über den aktuellen Stand der Technik bei 3D-Druckern gegeben werden. Der Fokus liegt dabei auf dem Druck von Softwarevisualisierungen. Hierfür beginnt diese Arbeit mit der Ersteinrichtung eines Druckers und dabei entstehenden Problemen und endet mit einer Werkzeugkette, welche den einfachen Druck der Visualisierungen erlaubt. Die Arbeit zielt darauf ab, die am Lehrstuhl „Softwareentwicklung“ der Universität Leipzig eingesetzten Modelle zu erklären und für den Druck nötige Anpassungen durchzuführen. Die Wahl der verwendeten Software wird jeweils erläutert. Es wird betrachtet, welche Modelle mit welchen Veränderungen druckbar sind. So soll ein Überblick über die Möglichkeiten des 3D-Drucks von Softwaremodellen gegeben werden und die Erstellung, Anpassung und der Druck solcher Modelle in Zukunft vereinfacht werden.

In recent years graph data models became increasingly important in both research and industry. Their core is a generic data structure of things (vertices) and connections among those things (edges). Rich graph models such as the property graph model promise an extraordinary analytical power because relationships can be evaluated without knowledge about a domain-specific database schema. This dissertation studies the usage of graph models for data integration and data mining of business data. Although a typical company's business data implicitly describes a graph it is usually stored in multiple relational databases. Therefore, we propose the first semi-automated approach to transform data from multiple relational databases into a single graph whose vertices represent domain objects and whose edges represent their mutual relationships. This transformation is the base of our conceptual framework BIIIG (Business Intelligence with Integrated Instance Graphs). We further proposed a graph-based approach to data integration. The process is executed after the transformation. In established data mining approaches interrelated input data is mostly represented by tuples of measure values and dimension values. In the context of graphs these values must be attached to the graph structure and aggregated measure values are graph attributes. Since the latter was not supported by any existing model, we proposed the use of collections of property graphs. They act as data structure of the novel Extended Property Graph Model (EPGM). The model supports vertices and edges that may appear in different graphs as well as graph properties. Further on, we proposed some operators that benefit from this data structure, for example, graph-based aggregation of measure values. A primitive operation of graph pattern mining is frequent subgraph mining (FSM). However, existing algorithms provided no support for directed multigraphs. We extended the popular gSpan algorithm to overcome this limitation. Some patterns might not be frequent while their generalizations are. Generalized graph patterns can be mined by attaching vertices to taxonomies. We proposed a novel approach to Generalized Multidimensional Frequent Subgraph Mining (GM-FSM), in particular the first solution to generalized FSM that supports not only directed multigraphs but also multiple dimensional taxonomies. In scenarios that compare patterns of different categories, e.g., fraud or not, FSM is not sufficient since pattern frequencies may differ by category. Further on, determining all pattern frequencies without frequency pruning is not an option due to the computational complexity of FSM. Thus, we developed an FSM extension to extract patterns that are characteristic for a specific category according to a user-defined interestingness function called Characteristic Subgraph Mining (CSM). Parts of this work were done in the context of GRADOOP, a framework for distributed graph analytics. To make the primitive operation of frequent subgraph mining available to this framework, we developed Distributed In-Memory gSpan (DIMSpan), a frequent subgraph miner that is tailored to the characteristics of shared-nothing clusters and distributed dataflow systems. Finally, the results of use case evaluations in cooperation with a large scale enterprise will be presented. This includes a report of practical experiences gained in implementation and application of the proposed algorithms.