Visuelle Programmierung

Größe: px
Ab Seite anzeigen:

Download "Visuelle Programmierung"

Transkript

1 Visuelle Programmierung Spezifikation eines Programmes in mehr als einer Dimension Visuelle Syntax mit vorgegebener Semantik Grafische Grundmuster: metrisch: ssoziationen werden durch räumliche Nähe repräsentiert (z.. Landkarten oder andere Koordinatensysteme) topologisch: direkte grafische Kodierung einer Relation durch Verbindungslinien, explizite Nachbarschaft oder Enthaltensein (weitverbreitet in Softwarediagrammen) symbolisch in 2 Dimensionen: Matrix Relation (, ) Nachbarschaft Verbindung Enthaltensein Matrix (teilgrafisch) textuell (nicht grafisch) metrisch topologisch symbolisch 1 Wichtige Grafische Editortypen Formular Hierarchie Graph 2

2 Deklarative visuelle Programmierung Grafische bbildung von Kontrollflüssen in Programmen bringt wenig. Längere usführungszeit grafischer Programme Eingeschränkte Funktionalität gegenüber universellen Programmiersprachen Fokussierung auf mehrdimensionale Relationen, z.. bei der deklarativen Programmierung in wissensbasierten Systemen: Programmierung (grafische) Deklaration von Objekten und Relationen Verbleibende Probleme: Schwierigkeiten bei der Visualisierung umfangreicher Programme eschränkung durch ildschirmgröße nalyse der Komplexität von Programmkonstrukten aus grafischer Sicht Untersuchung grafischer ggregationen und bstraktionen Effiziente Navigationstechniken 3 Komplexitätsstufen von und Relationsstrukturen asis ist ttribut-wert-struktur (Wert: auch andere Objekte) und Relationen Komplexitätsstufen: (1:0):1, Objekt nur mit atomaren ttributen. (1:1):0, Objekt mit einfachen Verweisen auf andere Objekte. (1:1):1, Objekt mit attributierten Verweisen auf andere Objekte (1:1):1, eine einstellige Relation, z.. S -> D mit x% (2:1):1, eine zweistellige Relation, z.. S1 & S2 -> D mit x% (n:1):1, d.h. eine n-stellige Relation z.. S1 & Sn -> D mit x% (n 2 :1):1, d.h. eine zweistufige Relation, z.. (2-3 {S1,S2, S3, S4}) & (S5 v S6) & S7 -> D mit x% (n k :1):1, d.h. eine m-stufige Relation, bei der im Vergleich zu einer zweistufigen Relation eine beliebige Schachtelungstiefe erlaubt ist. 4

3 Grafische Umsetzung verschiedener Komplexitätstypen Grafischer bstraktionsgrad bstrahiert ggregiert Formular mit Verweisfeldern ttribut- Graph/ Hierarchie ttribut- mit Verweisfeldern Relation- beschriftete beschrift. Graph/ Hierachie ttribut- mit abhängigen Feldern Graph/Hierarchie beschrift. Relation- Graph mit Relationsknoten Relation- Einfach Interne Darstellung Formular nur atomaren ttributen (1:0:1) Formular mit abhängigen Feldern Formular mit komplexen Feldern Objekte mit Komplexität der Objekte Verweisen attributierten Verweisen (1:1:0) (1:1:1) (2:1:1) (n:1:1) (n 2 :1:1) (n m:1:1) einstellige zweistellige einstufige zweistufige n-stufige Relationsobjekte 5 Objektformular Objekt bbrechen OK ttribut 1: ttribut 2: ttribut 3: ttribut 4: ttribut 5: von eispieltext lternative 1 lternative 2 lternative 3 Option 1 Option 2 Option 3 0 bis 120 <Verweis auf Objekt1> <Verweis auf Objekt2> ttribut 6: ttribut 7: <Verweis auf Objekt3> <Verweis auf Objekt1>

4 . Vom Objektformular zur ttributtabelle ttribut 1 Wert 11 ttribut 2 Wert 21 ttribut 1 Wert 2 3 ttribut 2ttribut Objekt Wert Wert 13 ttribut ttribut 1 Wert 2 14 Wert 23 ttribut 2 Wert 24 ttribut 1 ttribut 2 ttribut 3 Wert 11 Wert 21 Wert 12 Wert 22 Wert 13 7 Graph als Editor für unterschiedlich komplexe Relationstypen Einfacher Graph Wert1-4 Wert2-4 Wert1-3 Wert2-5 Wert4-3 Wert5-3 eschrifteter Graph R1 R4 R3 R5 R6 Graph mit z.t. mehrstufigen Relationsknoten 8

5 Verschiedene Hierarchieformen Einfache Hierarchie Wert1 Wert2 Wert3 eschriftete Hierarchie mit ttr.wert11 mit ttr.wert12 Hierarchie mit relationsknoten-ähnlichen Strukturen 9 Verschiedene ntypen zur Spezifikation von Relationen Wert2-1 Wert 3-1 Relation 1 Relation 2 Konnektor und oder 1 2 Wert 1 Wert 2 Einfache Relation- Relation 1 Relation 2 Konnektor und oder v1 _ - v1 &1 &1 Wert 1 Wert 2 eschriftete Relation- 10

6 .. Grafische bstraktionen R1: Wenn Objekt_1 Dann Objekt_4 mit 1 R4: Wenn Objekt_1 v Objekt_2 Dann Objekt_4 mit 4 R5: Wenn Objekt_2 Dann Objekt_5 mit 5 R6: Wenn (Objekt_1 & Objekt_4) v Objekt_5 Dann Objekt_3 mit 6 1 4:v 5 & 6:v Informationsverlust 1 *4 *6 5 Konnektor R1 R4 oder R5 R6 oder &3 1 * &3 * Navigation Suche nach Objekten: lphabetische uflistung Hierarchische uflistung Stringsuche Suche nach Relationen: Suche nach einem beteiligten Objekt Suche in uflistung aller Relationen Suche nach dem Durchschnitt von 2 Objekten Suche in einer, in der die zugehörigen Objektgruppen in Zeilen und Spalten stehen Suche in einem Graph durch Markierung der beteiligten Objekte 12

7 1 eispiel aus D3: Relationen-Editoren eispiel aus D3: Objektbearbeitung 2 13

8 eispiel aus D3: Entscheidungsbaum und Objekttransfer 1 15

Visuelle Programmierung

Visuelle Programmierung Visuelle Programmierung Spezifikation eines Programmes in mehr als einer Dimension Visuelle Syntax mit vorgegebener Semantik Grafische Grundmuster: metrisch: Assoziationen werden durch räumliche Nähe repräsentiert

Mehr

Visuelles Prog.: diagnostischer Wissenserwerb. Diagnosehierarchie (Auszug) Definition eines Fachbegriffes. Genaue Bewertung der Symptome

Visuelles Prog.: diagnostischer Wissenserwerb. Diagnosehierarchie (Auszug) Definition eines Fachbegriffes. Genaue Bewertung der Symptome Visuelles Prog.: diagnostischer Wissenserwerb Diagnosehierarchie (Auszug) Beispiel für diagnostisches Wissen 12. Anfallsartige Kopfschmerzen 12.1. Einfache Migräne 12.2. Komplizierte Migräne Diagnosehierarchie

Mehr

EIDI 1 Einführung in die Informatik 1. PGdP Praktikum Grundlagen der Programmierung. Harald Räcke 2/217

EIDI 1 Einführung in die Informatik 1. PGdP Praktikum Grundlagen der Programmierung. Harald Räcke 2/217 EIDI 1 Einführung in die Informatik 1 PGdP Praktikum Grundlagen der Programmierung Harald Räcke 2/217 Wie löst man Probleme mithilfe von Computern? 0 Harald Räcke 3/217 Inhalte: EIDI 1 1. Was ist das Problem?

Mehr

Prof. Dr. Uwe Schmidt. 12. August Aufgaben zur Klausur Softwaredesign im SS 2014 (BInf v310, BMInf v300, BWInf v310, BWInf- 23)

Prof. Dr. Uwe Schmidt. 12. August Aufgaben zur Klausur Softwaredesign im SS 2014 (BInf v310, BMInf v300, BWInf v310, BWInf- 23) Prof. Dr. Uwe Schmidt 12. August 2014 Aufgaben zur Klausur Softwaredesign im SS 2014 (BInf v310, BMInf v300, BWInf v310, BWInf- 23) Zeit: 90 Minuten erlaubte Hilfsmittel: keine Bitte tragen Sie Ihre Antworten

Mehr

Synchronizer for Telelogic DOORS

Synchronizer for Telelogic DOORS Synchronizer for Telelogic DOORS pure::variants - Das Werkzeug Einstieg intergrierbar in bestehende Softwareentwicklungsprozesse unabhängig von der genutzten Programmiersprache Anwendung automatische Auflösung

Mehr

Das Eulerverfahren zum numerischen Lösen von DGLen

Das Eulerverfahren zum numerischen Lösen von DGLen Das Eulerverfahren zum numerischen Lösen von DGLen Thomas Wassong FB17 Mathematik Universität Kassel 06.05.2008 Numerische Verfahren zur Berechnung von Differentialgleichungen Das Eulerverfahren: Programmierung

Mehr

Visuelle Programmierung

Visuelle Programmierung Visuelle Programmierung Ziel: Vereinfachung der Programmierung Methode: Spezifikation von Programmen in mehr als einer Dimension Übernahme von Darstellungsstrukturen aus den nwendungsbereichen, z.. Signalflüsse,

Mehr

Grundlagen der Programmierung (Vorlesung 7)

Grundlagen der Programmierung (Vorlesung 7) Grundlagen der Programmierung (Vorlesung 7) Ralf Möller, FH-Wedel Vorige Vorlesung Boole'sche Logik, Resolution Inhalt dieser Vorlesung Prädikatenlogik erster Stufe Lernziele Syntax, Semantik Entscheidungsprobleme

Mehr

Fragen zum Nachdenken: Wie könnte man das Fehlen eines Attribut-Wertes interpretieren?

Fragen zum Nachdenken: Wie könnte man das Fehlen eines Attribut-Wertes interpretieren? Attribut-Werte-Paare Eine Eigenschaft kann beschrieben werden durch ein Paar [a,w]. Dabei bezeichnet a das Attribut und w den konkreten Wert aus dem Wertebereich W a des Attributs. Die Eigenschaften eines

Mehr

Was bisher geschah: klassische Aussagenlogik

Was bisher geschah: klassische Aussagenlogik Was bisher geschah: klassische Aussagenlogik Syntax Symbole und Struktur Junktoren: t, f (nullstellig), (einstellig),,,, (zweistellig) aussagenlogische Formeln AL(P) induktive Definition: IA atomare Formeln

Mehr

Herleitung und Erklärung des Key Visuals

Herleitung und Erklärung des Key Visuals Das FERI Cognitive Finance Institute hat eine klare Bild-Sprache. Es kommuniziert wichtige Aussagen und Inhalte durch zentrale Bild- und Grafik-Elemente. Diese finden sich in Logos, Icons und interaktiven

Mehr

Tabellarische Kurzreferenz der UML-Elemente

Tabellarische Kurzreferenz der UML-Elemente Tabellarische Kurzreferenz der UML-Elemente Version 2.0 Vanessa Petrausch 1 Klassendiagramm Die folgenden Tabellen fassen die einzelnen Elemente abstrahiert zusammen. In Spalte 1 steht der Name des Elements,

Mehr

Teil 111. Chart-Parsing

Teil 111. Chart-Parsing Teil 111 Chart-Parsing 102 Die im ersten Teil des Buches behandelten einfachen Parsingalgorithmen sind, anders als die meisten vor allem im Compilerbau verwendeten Algorithmen (z.b. die LLoder LR-Parsingalgorithmen),

Mehr

Excel 2016 / 2010 Information

Excel 2016 / 2010 Information Aus- und Fortbildungszentrum Kompetenzzentrum E-Government Excel 2016 / 2010 Information Bedingte Formatierungen in Microsoft Excel Oder, wie Excel abhängig vom Zellinhalt Formatierungen anpasst In Excel

Mehr

R a i n e r N i e u w e n h u i z e n K a p e l l e n s t r G r e v e n T e l / F a x / e

R a i n e r N i e u w e n h u i z e n K a p e l l e n s t r G r e v e n T e l / F a x / e R a i n e r N i e u w e n h u i z e n K a p e l l e n s t r. 5 4 8 6 2 8 G r e v e n T e l. 0 2 5 7 1 / 9 5 2 6 1 0 F a x. 0 2 5 7 1 / 9 5 2 6 1 2 e - m a i l r a i n e r. n i e u w e n h u i z e n @ c

Mehr

F r e i t a g, 3. J u n i

F r e i t a g, 3. J u n i F r e i t a g, 3. J u n i 2 0 1 1 L i n u x w i r d 2 0 J a h r e a l t H o l l a, i c h d a c h t e d i e L i n u x - L e u t e s i n d e i n w e n i g v e r n ü n f t i g, a b e r j e t z t g i b t e

Mehr

L 3. L a 3. P a. L a m 3. P a l. L a m a 3. P a l m. P a l m e. P o 4. P o p 4. L a. P o p o 4. L a m. Agnes Klawatsch

L 3. L a 3. P a. L a m 3. P a l. L a m a 3. P a l m. P a l m e. P o 4. P o p 4. L a. P o p o 4. L a m. Agnes Klawatsch 1 L 3 P 1 L a 3 P a 1 L a m 3 P a l 1 L a m a 3 P a l m 2 P 3 P a l m e 2 P o 4 L 2 P o p 4 L a 2 P o p o 4 L a m 4 L a m p 6 N a 4 L a m p e 6 N a m 5 5 A A m 6 6 N a m e N a m e n 5 A m p 7 M 5 A m p

Mehr

S o n n t a g, 5. A u g u s t

S o n n t a g, 5. A u g u s t S o n n t a g, 5. A u g u s t 2 0 1 8 R ü c k b l i c k, A b s c h i e d, v i e l p a s s i e r t u n d k e i n e Z e i t D r e i M o n a t e s i n d v e r g a n g e n, v o l l g e s t o p f t m i t s

Mehr

Grundbegriffe aus Logik und Mengenlehre. Prädikatenlogik

Grundbegriffe aus Logik und Mengenlehre. Prädikatenlogik Grundbegriffe aus Logik und Mengenlehre Prädikatenlogik wohlverstandene Grundlagen, eine formale Sprache zur Beschreibung statischer und dynamischer Gesichtspunkte eines Unternehmens syntaktisch und semantisch

Mehr

6.3 Entity-Relationship-Modell. Entities. Ausschnitt aus der Modellierung einer Firmenorganisation: [Beispiel nach J. D. Ullman: Principles...

6.3 Entity-Relationship-Modell. Entities. Ausschnitt aus der Modellierung einer Firmenorganisation: [Beispiel nach J. D. Ullman: Principles... 6.3 Entity-elationship-Modell Mod-6.8 Einführendes eispiel Mod-6.9 Entity-elationship-Modell, E-Modell (P. Chen 976): Kalkül zur Modellierung ufgabenbereichen ihren Objekten, Eigenschaften und eziehungen.

Mehr

Visuelle Sprachen und Ihre Ausdrucksmittel

Visuelle Sprachen und Ihre Ausdrucksmittel Visuelle Sprachen und Ihre Ausdrucksmittel Seminar der Projektgruppe Generierung von Web-Anwendungen aus visuellen Spezifikationen Universität Paderborn 11. Juni 2004 Motivation Warum überhaupt visuell?

Mehr

Übungspaket 23 Mehrdimensionale Arrays

Übungspaket 23 Mehrdimensionale Arrays Übungspaket 23 Mehrdimensionale Arrays Übungsziele: Skript: Deklaration und Verwendung mehrdimensionaler Arrays Kapitel: 49 Semester: Wintersemester 2016/17 Betreuer: Kevin, Matthias, Thomas und Ralf Synopsis:

Mehr

Übungspaket 23 Mehrdimensionale Arrays

Übungspaket 23 Mehrdimensionale Arrays Übungspaket 23 Mehrdimensionale Arrays Übungsziele: Skript: Deklaration und Verwendung mehrdimensionaler Arrays Kapitel: 49 Semester: Wintersemester 2016/17 Betreuer: Kevin, Matthias, Thomas und Ralf Synopsis:

Mehr

Ähnlichkeits- und Distanzmaße

Ähnlichkeits- und Distanzmaße Ähnlichkeits- und Distanzmaße Jörg Rahnenführer, Multivariate Verfahren, WS89, TU Dortmund 11.1.8-1 - Ähnlichkeits- und Distanzmaße Jörg Rahnenführer, Multivariate Verfahren, WS89, TU Dortmund 11.1.8 -

Mehr

Semantische Bewertung und personalisierte Erzeugung von Übungsaufgaben zu Mathematik, Logik, Informatik

Semantische Bewertung und personalisierte Erzeugung von Übungsaufgaben zu Mathematik, Logik, Informatik Semantische Bewertung und personalisierte Erzeugung von Übungsaufgaben zu Mathematik, Logik, Informatik Johannes Waldmann (HTWK Leipzig) September 2, 2014 Beispiel (Sicht des Studenten) Gesucht ist ein

Mehr

Boole'sches Modell <is web>

Boole'sches Modell <is web> Boole'sches Modell basiert auf Mengentheorie und Boole'scher Algebra sehr einfaches Modell mit klarer Semantik Dokumente als Mengen von Indextermen Termgewichte sind binär: im Dokument enthalten oder nicht

Mehr

Analyse logischer Schaltnetze

Analyse logischer Schaltnetze 2003, Thomas armetler Kippstufen und ähler nalyse logischer Schaltnetze nalyse logischer Schaltnetze eim usammenwirken von mindestens zwei logischen Grundschaltungen spricht man auch von einem logischen

Mehr

Lernmodul 2 Modelle des Raumes

Lernmodul 2 Modelle des Raumes Folie 1 von 21 Lernmodul 2 Modelle des Raumes Bildnachweis: www. tagesschau.de Folie 2 von 21 Modelle des Raumes Übersicht Motivation Was ist Raum? Formalismus und Invarianz Metrischer Raum/Euklidischer

Mehr

Namen von Objekten des Diskursbereichs (z. B. Substantive des natürlichsprachlichen Satzes)

Namen von Objekten des Diskursbereichs (z. B. Substantive des natürlichsprachlichen Satzes) Prädikatenlogik Aussagen wie Die Sonne scheint. die in der Aussagenlogik atomar sind, werden in der Prädikatenlogik in Terme (sonne) und Prädikate (scheint) aufgelöst und dann dargestellt als z.b. Terme

Mehr

Fragegetypen LineQuest online Umfrage Portal. Inhaltsverzeichnis

Fragegetypen LineQuest online Umfrage Portal. Inhaltsverzeichnis Fragegetypen LineQuest online Umfrage Portal Inhaltsverzeichnis 1. Grundsätzliche Unterschiede bei der Erstellung von online Umfragen und PDA Umfragen Seite 2 1.1. Design, Header, Danke-Seite, Fortschrittsbalken

Mehr

1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen - 1 -

1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen - 1 - 1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen I.2. I.2. Grundlagen von von Programmiersprachen. - 1 - 1. Der Begriff Informatik "Informatik" = Kunstwort aus Information und Mathematik

Mehr

1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen - 1 -

1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen - 1 - 1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen I.2. I.2. Grundlagen von von Programmiersprachen. - 1 - 1. Der Begriff Informatik "Informatik" = Kunstwort aus Information und Mathematik

Mehr

Relationen und Graphentheorie

Relationen und Graphentheorie Seite Graphentheorie- Relationen und Graphentheorie Grundbegriffe. Relationen- und Graphentheorie gehören zu den wichtigsten Hilfsmitteln der Informatik, die aus der diskretenmathematik stammen. Ein Graph

Mehr

Abschnitt 2: Daten und Algorithmen

Abschnitt 2: Daten und Algorithmen Abschnitt 2: Daten und Algorithmen 2. Daten und Algorithmen 2.1 Zeichenreihen 2.2 Datendarstellung durch Zeichenreihen 2.3 Syntaxdefinitionen 2.4 Algorithmen 2 Daten und Algorithmen Einf. Progr. (WS 08/09)

Mehr

Ihr Training VBA Programmierung mit Excel Training-Nr.: 5205 Voraussetzungen

Ihr Training VBA Programmierung mit Excel Training-Nr.: 5205 Voraussetzungen Ihr Partner für Trainings, Seminare und Workshops Ihr Training VBA Programmierung mit Excel Training-Nr.: 5205 Voraussetzungen Gute Kenntnisse zur Anwendung von Excel Ziele Microsoft Excel ist bereits

Mehr

Teil III Entity-Relationship-Modell

Teil III Entity-Relationship-Modell Teil III Entity-Relationship-Modell Entity-Relationship-Modell 1 Datenbankmodell 2 ER-Modell 3 Weitere Konzepte im ER-Modell Sattler / Saake Datenbanksysteme Letzte Änderung: Okt. 2016 3 1 Lernziele für

Mehr

Anwendungsentwicklung Datenbanken Datenbankentwurf. Stefan Goebel

Anwendungsentwicklung Datenbanken Datenbankentwurf. Stefan Goebel Anwendungsentwicklung Datenbanken Datenbankentwurf Stefan Goebel Warum eine Datenbank? Nutzung von gleichen Daten durch viele Anwender auch an unterschiedliche Orten Daten können mit unterschiedlicher

Mehr

Übungen Softwaretechnik I

Übungen Softwaretechnik I Universität Stuttgart Institut für utomatisierungstechnik und Softwaresysteme Prof. Dr.-Ing. M. Weyrich Übungen Softwaretechnik I Übung 3: asechniken Funktionsbaum esteht-aus-hierarchie (Definitionsphase):

Mehr

3 Kurzeinführung in Matlab

3 Kurzeinführung in Matlab 3 Kurzeinführung in Matlab Matlab ist ein sehr leistungsfähiges interaktives Programmpaket für numerische Berechnungen. Nutzen Sie dies parallel zu den Vorlesungen. Sie können damit persönlich erfahren,

Mehr

Einführung in die Programmierung II. 5. Zeiger

Einführung in die Programmierung II. 5. Zeiger Einführung in die Programmierung II 5. Zeiger Thomas Huckle, Stefan Zimmer 16. 5. 2007-1- Bezüge als Objekte Bisher kennen wir als Bezüge (Lvalues) nur Variablennamen Jetzt kommt eine neue Sorte dazu,

Mehr

Vierte Sitzung. (Wiederholung: Syntax und Semantik der Prädikatenlogik) I. Syntax der Prädikatenlogik

Vierte Sitzung. (Wiederholung: Syntax und Semantik der Prädikatenlogik) I. Syntax der Prädikatenlogik Vierte Sitzung (Wiederholung: Syntax und Semantik der Prädikatenlogik) I. Syntax der Prädikatenlogik 1 Vokabular des syntaktischen Systems der PL1 Das Vokabular der PL1 besteht aus folgender Menge V: {R

Mehr

Kapitel 4: Das Überdeckungsproblem

Kapitel 4: Das Überdeckungsproblem Kapitel : Das Überdeckungsproblem Kapitel Das Überdeckungsproblem Kapitel : Das Überdeckungsproblem Seite / 25 Kapitel : Das Überdeckungsproblem Inhaltsverzeichnis. Überdeckungsmatrizen.2 Minimalüberdeckungen.

Mehr

Daten und Algorithmen

Daten und Algorithmen LUDWIG- MAXIMILIANS- UNIVERSITY MUNICH DEPARTMENT INSTITUTE FOR INFORMATICS DATABASE Kapitel 3 Daten und Algorithmen Skript zur Vorlesung Einführung in die Programmierung g im Wintersemester 2012/13 Ludwig-Maximilians-Universität

Mehr

Nur Aussagesätze, d.h. Deklarativ-, nicht aber Frage- oder Aufforderungs-sätze bringen das Zutreffen einer Aussage (oder Proposition) zum Ausdruck.

Nur Aussagesätze, d.h. Deklarativ-, nicht aber Frage- oder Aufforderungs-sätze bringen das Zutreffen einer Aussage (oder Proposition) zum Ausdruck. 2 Aussagenlogik (AL) 2. Wahrheitsfunktionale Konnektoren Nur Aussagesätze, d.h. Deklarativ-, nicht aber Frage- oder Aufforderungs-sätze bringen das Zutreffen einer Aussage (oder Proposition) zum Ausdruck.

Mehr

Graph-basierte Modellierung in Software-Werkzeugen

Graph-basierte Modellierung in Software-Werkzeugen Graph-basierte Modellierung in Software-Werkzeugen 1 Inhalt Einleitung Modellierung mit Graphen Modellierung mit Graphklassen (Schemata und Constraints) Implementation von Graphen (Algorithmen und Anfragen)

Mehr

Geoinformation Abbildung auf Tabellen

Geoinformation Abbildung auf Tabellen Folie 1 von 32 Geoinformation Abbildung auf Tabellen Folie 2 von 32 Abbildung auf Tabellen Übersicht Motivation des relationalen Datenmodells Von Objekten zu Tabellen Abbildung von Objekten Schlüssel Abbildung

Mehr

1. Referenzdatentypen: Felder und Strings. Referenz- vs. einfache Datentypen. Rückblick: Einfache Datentypen (1) 4711 r

1. Referenzdatentypen: Felder und Strings. Referenz- vs. einfache Datentypen. Rückblick: Einfache Datentypen (1) 4711 r 1. Felder und Strings Eigenschaften von Referenzdatentypen 1. Referenzdatentypen: Felder und Strings Referenzdatentypen sind Konstrukte, mit deren Hilfe wir aus einfachen Datentypen neue eigene Typen erzeugen

Mehr

1. Referenzdatentypen: Felder und Strings

1. Referenzdatentypen: Felder und Strings 1. Felder und Strings Eigenschaften von Referenzdatentypen 1. Referenzdatentypen: Felder und Strings Referenzdatentypen sind Konstrukte, mit deren Hilfe wir aus einfachen Datentypen neue eigene Typen erzeugen

Mehr

7. Prädikatenlogik. Aussagenlogik hat wünschenswerte Eigenschaften wie Korrektheit, Vollständigkeit, Entscheidbarkeit.

7. Prädikatenlogik. Aussagenlogik hat wünschenswerte Eigenschaften wie Korrektheit, Vollständigkeit, Entscheidbarkeit. 7. Prädikatenlogik Aussagenlogik hat wünschenswerte Eigenschaften wie Korrektheit, Vollständigkeit, Entscheidbarkeit. Aber: Aussagenlogik ist sehr beschränkt in der Ausdrucksmächtigkeit. Wissen kann nur

Mehr

Anhang B. Relationenalgebraische Definitionen. B.1 Relationen

Anhang B. Relationenalgebraische Definitionen. B.1 Relationen Anhang B Relationenalgebraische Definitionen Die relationenalgebraischen Definitionen bilden die Grundlage der formalen Aspekte der Projekte WebReference und InterMediate [Her00]. Sie sind [SS89] entnommen.

Mehr

Algorithmen und Programmierung II

Algorithmen und Programmierung II Algorithmen und Programmierung II Vererbung Prof. Dr. Margarita Esponda SS 2012 1 Imperative Grundbestandteile Parameterübergabe String-Klasse Array-Klasse Konzepte objektorientierter Programmierung Vererbung

Mehr

Kapitel 1: Einführung 1.1 Datenbanken?

Kapitel 1: Einführung 1.1 Datenbanken? 1. Einführung 1.1. Datenbanken? Seite 1 Kapitel 1: Einführung 1.1 Datenbanken? 1. Einführung 1.1. Datenbanken? Seite 2 Willkommen! Studierenden-Datenbank Hans Eifrig hat die Matrikelnummer 1223. Seine

Mehr

26 Hierarchisch strukturierte Daten

26 Hierarchisch strukturierte Daten Algorithmik II Peter Wilke Sommersemester 2005 Teil III Funktionale Programmierung 26 Hierarchisch strukturierte Daten Peter Wilke Algorithmik II Sommersemester 2005 1 Peter Wilke Algorithmik II Sommersemester

Mehr

PSE: Analysesoftware für Logistiknetzwerke

PSE: Analysesoftware für Logistiknetzwerke PSE: Analysesoftware für Logistiknetzwerke Phase 1 Das Pflichtenheft,, Lehrstuhl Prof. Böhm KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu

Mehr

Diplomhauptprüfung. "Systems Engineering" Sommersemester Teil A: Fragenkatalog Zeit: 15 min. Hilfsmittel: Taschenrechner. Nachname: Vorname:

Diplomhauptprüfung. Systems Engineering Sommersemester Teil A: Fragenkatalog Zeit: 15 min. Hilfsmittel: Taschenrechner. Nachname: Vorname: Technische Universität München 18. Juli 2005 Lehrstuhl für Raumfahrttechnik HS MW 0350 Prof. Dr. rer. nat. Ulrich Walter Dozent: Prof. Dr.-Ing. Eduard Igenbergs Diplomhauptprüfung "Systems Engineering"

Mehr

Lineare Programmierung

Lineare Programmierung asis Definition 3.38 Gegeben sei ein LP in der Normalform mit m als Rang der Matrix 2 R m n. x 2 R n mit x = b heißt asislösung gdw. n m Komponenten x i gleich Null und die zu den restlichen Variablen

Mehr

Modellierung: Relation (Beziehungen)

Modellierung: Relation (Beziehungen) Modellierung: Relation (Beziehungen) Hans besitzt das Fahrrad. besitzen Gegenstände x Menschen Gegenstände Fahrrad Kleingeld Villa Menschen Hans Hans Fritz [Villa, Hans] besitzen besitzen(villa, Hans)

Mehr

Matlab Übersicht. Matlab steht für MATrix LABoratory, die Fa. The Mathworks wurde 1984 gegründet

Matlab Übersicht. Matlab steht für MATrix LABoratory, die Fa. The Mathworks wurde 1984 gegründet Matlab Übersicht Ziel: einfacher Zugang zu numerischen (FORTRAN)Bibliotheken [Freeware] Linpack (LINear Algebra Solution PACKage) und Eispack (EIgenvalue Solution PACKage) => aktuelle Version: Lapack (Linear

Mehr

3.8 Objekttypen und Arrays. Wir werden uns in diesem Kapitel näher mit den Objekttypen in Java beschäftigen.

3.8 Objekttypen und Arrays. Wir werden uns in diesem Kapitel näher mit den Objekttypen in Java beschäftigen. 3.8 Objekttypen und Arrays Wir werden uns in diesem Kapitel näher mit den Objekttypen in Java beschäftigen. Praktische Informatik I Wolfgang Effelsberg 3. Die Programmiersprache Java 3.8-1 Primitive Datentypen

Mehr

Einführung in die funktionale Programmierung

Einführung in die funktionale Programmierung Einführung in die funktionale Programmierung Prof. Dr. Manfred Schmidt-Schauÿ Künstliche Intelligenz und Softwaretechnologie 26. Oktober 2006 Haskell - Einführung Syntax Typen Auswertung Programmierung

Mehr

Beuth Hochschule Mehrstufige und mehrdimensionale Reihungen WS17/18, S. 1

Beuth Hochschule Mehrstufige und mehrdimensionale Reihungen WS17/18, S. 1 Beuth Hochschule Mehrstufige und mehrdimensionale Reihungen WS17/18, S. 1 Mehrstufige und mehrdimensionale Reihungen In Java gibt es nur mehrstufige Reihungen, die auch als Reihungen von Reihungen bezeichnet

Mehr

Programmieren in Java -Eingangstest-

Programmieren in Java -Eingangstest- Programmieren in Java -Eingangstest- Nummer: 1. Studiengang: Informatik B.Sc. Informatik M.Sc. ESE B.Sc. ESE M.Sc. Sonstiges: Fachsemester: Bitte Fragen, die Sie nicht beantworten können unbedingt mit

Mehr

Data Cubes PG Wissensmangement Seminarphase

Data Cubes PG Wissensmangement Seminarphase PG 402 - Wissensmangement Seminarphase 23.10.2001-25.10.2001 Hanna Köpcke Lehrstuhl für Künstliche Intelligenz Universität Dortmund Übersicht 1. Einführung 2. Aggregation in SQL, GROUP BY 3. Probleme mit

Mehr

Typisierung semantischer Relationen für Strategien der Wissensexploration

Typisierung semantischer Relationen für Strategien der Wissensexploration Typisierung semantischer Relationen für Strategien der Wissensexploration Felix Boteram RESEDA Institut für Informationsmanagement (IIM) Fachhochschule Köln Übersicht Wissensexploration Typisierung von

Mehr

Prädikatenlogik. Quantoren. Quantoren. Quantoren. Quantoren erlauben Aussagen über Mengen von Objekten des Diskursbereichs, für die ein Prädikat gilt

Prädikatenlogik. Quantoren. Quantoren. Quantoren. Quantoren erlauben Aussagen über Mengen von Objekten des Diskursbereichs, für die ein Prädikat gilt Prädikatenlogik Aussagen wie Die Sonne scheint. die in der Aussagenlogik atomar sind, werden in der Prädikatenlogik in Terme (sonne) und Prädikate (scheint) aufgelöst und dann dargestellt als z.b. scheint(sonne)

Mehr

Beispiele sequentieller Schaltungen

Beispiele sequentieller Schaltungen eispiele sequentieller Schaltungen Synchroner 3-stelliger inärzähler: Schieberegister mit serieller un paralleler Ein-/usgabe: Technische Informatik I, SS 2. Strey, Universität Ulm Kapitel : Sequentielle

Mehr

Abschnitt 4: Daten und Algorithmen

Abschnitt 4: Daten und Algorithmen Abschnitt 4: Daten und Algorithmen 4. Daten und Algorithmen 4.1 4.2 Syntaxdefinitionen 4.3 Eigenschaften von Algorithmen 4.4 Paradigmen der Algorithmenentwicklung Peer Kröger (LMU München) Einführung in

Mehr

Datenbanksysteme: Entwurf

Datenbanksysteme: Entwurf Wichtigste Themen hier: Datenbanksysteme: Entwurf DB Entwurf ist in der Regel eingebettet in ein größeres Projekt: siehe Informationssysteme Die Daten dienen einem Zweck und sind dennoch universell nutzbar:

Mehr

Aufgabensammlung aus Mathematik 2 UMIT, SS 2010, Version vom 7. Mai 2010

Aufgabensammlung aus Mathematik 2 UMIT, SS 2010, Version vom 7. Mai 2010 Aufgabensammlung aus Mathematik 2 UMIT, SS 2, Version vom 7. Mai 2 I Aufgabe I Teschl / K 3 Zerlegen Sie die Zahl 8 N in ihre Primfaktoren. Aufgabe II Teschl / K 3 Gegeben sind die natürliche Zahl 7 und

Mehr

Wiederholungs-Modulprüfung: zum Lehrerweiterbildungskurs Lineare Algebra/Analytische Geometrie I WiSe 2015/16 1.Klausur

Wiederholungs-Modulprüfung: zum Lehrerweiterbildungskurs Lineare Algebra/Analytische Geometrie I WiSe 2015/16 1.Klausur Name, Vorname Matrikel-Nr. Aufg.1 Aufg.2 Aufg.3 Aufg.4 Σ Note bzw. Kennzeichen Wiederholungs-Modulprüfung: zum Lehrerweiterbildungskurs Lineare Algebra/Analytische Geometrie I WiSe 2015/16 1.Klausur Bearbeiten

Mehr

Syntax von Programmiersprachen

Syntax von Programmiersprachen "Grammatik, die sogar Könige zu kontrollieren weiß... aus Molière, Les Femmes Savantes (1672), 2. Akt Syntax von Programmiersprachen Prof. Dr. Christian Böhm in Zusammenarbeit mit Gefei Zhang WS 07/08

Mehr

Datenmodelle. Einführung in das Entity-Relationship-Modell. Datenbankmodelle. Beispiel für ein ER-Schema. Kunde( Meier, , ) 41, Meier

Datenmodelle. Einführung in das Entity-Relationship-Modell. Datenbankmodelle. Beispiel für ein ER-Schema. Kunde( Meier, , ) 41, Meier Einführung in das Entity-Relationship-Modell Datenmodelle Datenmodelle dienen der Darstellung der Informationsstruktur, nicht der Darstellung der Informationen selbst. Motivation Grundbestandteile von

Mehr

Datenmodelle dienen der Darstellung der Informationsstruktur, nicht der Darstellung der Informationen selbst. Motivation

Datenmodelle dienen der Darstellung der Informationsstruktur, nicht der Darstellung der Informationen selbst. Motivation Einführung in das Entity-Relationship-Modell Datenmodelle Datenmodelle dienen der Darstellung der Informationsstruktur, nicht der Darstellung der Informationen selbst. Motivation Grundbestandteile von

Mehr

Algorithmen auf Sequenzen Paarweiser Sequenzvergleich: Alignments

Algorithmen auf Sequenzen Paarweiser Sequenzvergleich: Alignments Algorithmen auf Sequenzen Paarweiser Sequenzvergleich: Alignments Sven Rahmann Genominformatik Universitätsklinikum Essen Universität Duisburg-Essen Universitätsallianz Ruhr Einführung Bisher: Berechnung

Mehr

4 Elementare Mengentheorie

4 Elementare Mengentheorie 4 Elementare Mengentheorie 4 Elementare Mengentheorie 4.1 Mengen [ Partee 3-11, McCawley 135-140, Chierchia 529-531 ] Die Mengentheorie ist entwickelt worden, um eine asis für den ufbau der gesamten Mathematik

Mehr

9. Vektoren. (auch Felder/array)

9. Vektoren. (auch Felder/array) 9. Vektoren (auch Felder/array) Motivation Hat man mehrere Objekte gleichen Datentyps, so kann man sie explizit deklarieren, wenn die Anzahl bekannt ist double x1,x2,x3,x4; Nachteile: versagt, -wenn die

Mehr

Vorlesung Datenstrukturen

Vorlesung Datenstrukturen Vorlesung Datenstrukturen Graphdarstellungen Maike Buchin 0.6.017 Graphen Motivation: Graphen treten häufig als Abstraktion von Objekten (Knoten) und ihren Beziehungen (Kanten) auf. Beispiele: soziale

Mehr

Syntax von Programmiersprachen

Syntax von Programmiersprachen "Grammatik, die sogar Könige zu kontrollieren weiß... aus Molière, Les Femmes Savantes (1672), 2. Akt Syntax von Programmiersprachen Prof. Dr. Martin Wirsing in Zusammenarbeit mit Michael Barth, Philipp

Mehr

Digraphen, DAGs und Wurzelbäume

Digraphen, DAGs und Wurzelbäume Digraphen (gerichtete Graphen) Slide 1 Digraphen, DAGs und Wurzelbäume Digraphen (gerichtete Graphen) Slide 2 Eingangs- und Ausgangsgrad Bei einer gerichteten Kante e = (u,v) E heißt u Startknoten von

Mehr

Informatik II. Vordefinierte Datenstrukturen. - Abbildungen Map. Seite 1 Th Letschert, THM

Informatik II. Vordefinierte Datenstrukturen. - Abbildungen Map. Seite 1 Th Letschert, THM Informatik II Vordefinierte atenstrukturen - Listen List - bbildungen Map - Mengen Set Seite 1 Th Letschert, THM atenstrukturen atenstrukturen Sprachelemente zur strukturierten Speicherung von aten atentyp

Mehr

Algorithmen & Programmierung. Rekursive Funktionen (2)

Algorithmen & Programmierung. Rekursive Funktionen (2) Algorithmen & Programmierung Rekursive Funktionen (2) Arten von Rekursion Direkte Rekursion Den Aufruf einer Funktion direkt aus ihrem Funktionskörper heraus bezeichnet man als direkte Rekursion (so haben

Mehr

Caliph & Emir. Retrieval und Annotation von digitalen Photos mit MPEG-7. Mathias Lux

Caliph & Emir. Retrieval und Annotation von digitalen Photos mit MPEG-7.  Mathias Lux Caliph & Emir Retrieval und Annotation von digitalen Photos mit MPEG-7 Mathias Lux mlux@know-center.at - gefördert durch das Kompetenzzentrenprogramm Overview Einleitung Geschichtliches Annotation mit

Mehr

Einstieg in die Informatik mit Java

Einstieg in die Informatik mit Java 1 / 41 Einstieg in die Informatik mit Java Vererbung Gerd Bohlender Institut für Angewandte und Numerische Mathematik Gliederung 2 / 41 1 Überblick: Vererbung 2 Grundidee Vererbung 3 Verdeckte Variablen

Mehr

Einführung in die Logik (Vorkurs)

Einführung in die Logik (Vorkurs) Einführung in die Logik (Vorkurs) Jürgen Koslowski 2014-04-07 Ein Beispiel Familie A will im kommenden Jahr eine Waschmaschine, ein Auto und ein Moped anschaffen. Aber falls Herr A seinen üblichen Bonus

Mehr

Abschnitt 5: Grundlagen der funktionalen und imperativen Programmierung

Abschnitt 5: Grundlagen der funktionalen und imperativen Programmierung Abschnitt 5: Grundlagen der funktionalen und imperativen Programmierung 5. Grundlagen der funktionalen und imperativen Programmierung 5.1 Sorten und abstrakte Datentypen 5.2 5.3 in Java 5.4 EXKURS: Funktionale

Mehr

JoomContact. Bedienungsanleitung. Version 1.0

JoomContact. Bedienungsanleitung. Version 1.0 JoomContact Bedienungsanleitung JoomContact ist eine einfache und schnelle Art Kontaktformulare in Joomla zu integrieren. Es sind dabei keine Programmierkenntnisse erforderlich. Sie können beliebig viele

Mehr

UML (UNIFIED MODELING LANGUAGE)

UML (UNIFIED MODELING LANGUAGE) NT Druckdatum: 31.03.13 InI I UML (UNIFIED MODELING LNGUGE) Ziel: Einheitliche Darstellung einer Vielzahl von Elementen von Softwaresystemen mittels einer einheitlichen Notation. Übersicht Zusammenhang

Mehr

Optimierungsmethoden für höherdimensionale Packprobleme. Sándor P. Fekete TU Braunschweig

Optimierungsmethoden für höherdimensionale Packprobleme. Sándor P. Fekete TU Braunschweig Optimierungsmethoden für höherdimensionale Packprobleme Sándor P. Fekete TU Braunschweig s.fekete@tu-bs.de Autos, Quader, Rechtecke 2 Reisezeit! 3 Wieviel passt in eine Vorlesung? 4 Wieviel passt in einen

Mehr

Lineare Gleichungssysteme Seite 98. Spaltenorientiert. Zeilenorientiert. 1. Vorgegeben: 1 kg Mehl, 2 kg Zucker

Lineare Gleichungssysteme Seite 98. Spaltenorientiert. Zeilenorientiert. 1. Vorgegeben: 1 kg Mehl, 2 kg Zucker Definition und Beispiele Definition und Beispiele Im linearen Gleichungssystem Seite 98 a x + a x + + a n = b a x + a x + + a n = b a m x + a m x + + a mn = b m sind die Koeffizienten a ij und die rechten

Mehr

Prof. Dr. Uwe Schmidt. 31. Januar Aufgaben zur Klausur Softwaredesign im WS 2010/11 (WI h253, MI h405, BInf v310, BMInf v300, BWInf v310 )

Prof. Dr. Uwe Schmidt. 31. Januar Aufgaben zur Klausur Softwaredesign im WS 2010/11 (WI h253, MI h405, BInf v310, BMInf v300, BWInf v310 ) Prof. Dr. Uwe Schmidt 31. Januar 2011 Aufgaben zur Klausur Softwaredesign im WS 2010/11 (WI h253, MI h405, BInf v310, BMInf v300, BWInf v310 ) Zeit: 75 Minuten erlaubte Hilfsmittel: keine Bitte tragen

Mehr

KURZANLEITUNG FÜR DAS BIOMASSELOGISTIK-WIKI BIO:LOGIC

KURZANLEITUNG FÜR DAS BIOMASSELOGISTIK-WIKI BIO:LOGIC KURZANLEITUNG FÜR DAS BIOMASSELOGISTIK-WIKI BIO:LOGIC Anleitung für Nutzer des Wikis Stand November 2013 INHALT Aufbau des Wikis (Nutzeroberfläche) Einfach Bearbeitungsfunktionen Erweiterte Funktionen

Mehr

Verteilen von Bällen auf Urnen

Verteilen von Bällen auf Urnen Verteilen von Bällen auf Urnen Szenario: Wir verteilen n Bälle auf m Urnen, d.h. f : B U mit B = {b 1,..., b n } und U = {u 1,..., u m }. Dabei unterscheiden wir alle Kombinationen der folgenden Fälle

Mehr

Adventure-Problem. Vorlesung Automaten und Formale Sprachen Sommersemester Adventure-Problem

Adventure-Problem. Vorlesung Automaten und Formale Sprachen Sommersemester Adventure-Problem -Problem Vorlesung Automaten und Formale Sprachen Sommersemester 2018 Prof. Barbara König Übungsleitung: Christina Mika-Michalski Zum Aufwärmen: wir betrachten das sogenannte -Problem, bei dem ein Abenteurer/eine

Mehr

Entscheidungsverfahren für Bernays/Schönfinkelbzw. Datenlogik-Formeln

Entscheidungsverfahren für Bernays/Schönfinkelbzw. Datenlogik-Formeln Vorlesung Letz WS 2002/2003 TU München: Logikbasierte Entscheidungsverfahren Entscheidungsverfahren für Bernays/Schönfinkelbzw. Datenlogik-Formeln INHALTE Die Bernays-Schönfinkel-Klasse bzw. Datenlogik-Formeln

Mehr

Einstieg in die Informatik mit Java

Einstieg in die Informatik mit Java 1 / 26 Einstieg in die Informatik mit Java Methoden Gerd Bohlender Institut für Angewandte und Numerische Mathematik Gliederung 2 / 26 1 Methoden 2 Methodendefinition 3 Parameterübergabe, Methodenaufruf

Mehr

Methoden. Gerd Bohlender. Einstieg in die Informatik mit Java, Vorlesung vom

Methoden. Gerd Bohlender. Einstieg in die Informatik mit Java, Vorlesung vom Einstieg in die Informatik mit Java, Vorlesung vom 2.5.07 Übersicht 1 2 definition 3 Parameterübergabe, aufruf 4 Referenztypen bei 5 Überladen von 6 Hauptprogrammparameter 7 Rekursion bilden das Analogon

Mehr

Logische und funktionale Programmierung

Logische und funktionale Programmierung Logische und funktionale Programmierung Vorlesung 2: Prädikatenkalkül erster Stufe Babeş-Bolyai Universität, Department für Informatik, Cluj-Napoca csacarea@cs.ubbcluj.ro 14. Oktober 2016 1/38 DIE INTERPRETATION

Mehr

3. Die Datenstruktur Graph

3. Die Datenstruktur Graph 3. Die Datenstruktur Graph 3.1 Einleitung: Das Königsberger Brückenproblem Das Königsberger Brückenproblem ist eine mathematische Fragestellung des frühen 18. Jahrhunderts, die anhand von sieben Brücken

Mehr

Graphische Datenverarbeitung mit GKS

Graphische Datenverarbeitung mit GKS Jose L. Encarnacao/L Miguel Encarnacao Wolfgang R. Herzner Graphische Datenverarbeitung mit GKS Normung, Programmierung und Weiterentwicklung Praktische Einführung mit 40 lauffähigen Programmen auf dem

Mehr

Oliver Deiser. Reelle Zahlen. Das klassische Kontinuum und die natürlichen Folgen. YJ Springer

Oliver Deiser. Reelle Zahlen. Das klassische Kontinuum und die natürlichen Folgen. YJ Springer Oliver Deiser Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen YJ Springer Vorwort 7 Einführung 11 : Die Themen des Buches 14 " Vokabular 17 ' Mengen und Elemente 17 i Logische Konventionen

Mehr