Projectivische Erzeugung der allgemeinen Fl�chen dritter, vierter und beliebiger Ordnung durch Fl�chenb�ndel niederer Ordnung

Smarte Systeme und Services für Freiheit, Recht und Ordnung

Mit diesem Impulsvortrag für den Workshop „Innovative Systeme zur Unterstützung der zivilen Sicherheit: Architekturen und Gestaltungskonzepte“ möchte ich die Diskussion in Bezug auf unterschiedliche Aspekte der zivilen Sicherheit anregen, so z.B. den Bereich „Schutz kritischer Infrastrukturen“. Darüber hinaus werde ich auch innovative Konzepte und Technologien für „smarte Verwaltung im Dienste ...

Nichtlineare Integro-Differentialgleichungen zweiter Ordnung

Visuelle Datenflusssprache mit Kombinatoren höherer Ordnung

Modern software engineering deals with professional development of high quality software systems. Software quality and especially relative correctness of programs based on a specification can be determined by formal methods. At best a formal verification can be performed a posteriori on the basis of a complete program. This thesis investigates a constructive approach which generates programs co...

Methoden der künstlichen Intelligenz zur Lösung des Prognoseproblems bei der Unternehmensbewertung: ein Prognoseverfahren auf der Grundlage der Prädikatenlogik 1. Ordnung

Erzeugung detaillierter und ausführbarer Geschäftsprozessmodelle durch Modell-zu-Modell-Transformationen

Es wird ein Ansatz vorgestellt, mit dem sich aus grobgranularen fachlichen Geschäftsprozessmodellen detaillierte, ggf. auch technisch verfeinerte, ausführbare Modelle in verschiedenen Zielnotationen erzeugen lassen. Hierzu wird ein der modellgetriebenen Software-Entwicklung vergleichbarer Ansatz gewählt, bei dem Modellelemente geeignet ausgezeichnet und dann mit Hilfe von parametrisierbaren Tem...