Wissenschaftliche Literaturformale Methode

Jörn Mordau

Die Integration formaler Methoden zur Spezifikation von Informationssystemen

Studien zur Datenbankforschung

Informationssysteme sind komplexe Gebilde, die eine Vielzahl logischer Interdependenzen aufweisen. Der adäquate Umgang mit diesen logischen Abhängigkeiten ist für die Qualität des Endproduktes von entscheidender Bedeutung. Die Verwendung formaler Methoden, die auf der Mengenlehre und der Prädikatenlogik erster Stufe basieren, werden hier als ein hilfreiches Mittel…

Jörn Jens Brandt & Klaus Schneider (Hrsg.)

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

MBMV 2012

Forschungsergebnisse zur Informatik

Der Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2012) ist bereits das fünfzehnte gemeinsame Treffen der Fachgruppen 3 und 4 der Kooperationsgemeinschaft "Rechnergestützter Schaltungs- und Systementwurf (RSS)" der Gesellschaft für Informatik (GI), der Informationstechnischen Gesellschaft im VDE…

Jörn Enrico Tille

Der europäische Bildungsraum und das duale System der Berufsbildung in Deutschland

Rechtliche Rahmenbedingungen zur zukünftigen Gestaltung des deutschen Berufsbildungssystems

Studien zum Völker- und Europarecht

Das gesamte System der Bildung in der Bundesrepublik Deutschland wird zunehmend von europäischen Einflüssen geprägt. Im Zentrum der hierzu ergangenen öffentlichen Diskussion steht der so genannte „Bologna-Prozess“, der innerhalb der Hochschulen zu einer weit reichenden Umgestaltung einer Vielzahl von Studiengängen geführt hat. Weniger beachtet sind hingegen die…