119 Infos zu Wolfgang Goerigk

11 Aktuelle Nachrichten

“DynaMod steht für Dynamic Analysis for Model-Driven Modernization”, sagt b+m-Projektleiter Dr. Wolfgang Goerigk. “Anlass für eine Modernisierung von Software können verloren gegangenes Wissen über den ...

Drei Bieter hatten sich gemeldet. Wolfgang Goerigk, Chef des Hamburger Auktionshauses Dörling, ging zunächst. bis vier Millionen mit, pausierte kurz,

b+m Informatik AG, Die Verleihung des b+m Software & Systems Engineering Preises war einer der vielen feierlichen Höhepunkte der V…

„DynaMod steht für Dynamic Analysis for Model-Driven Modernization“, sagte Dr. Wolfgang Goerigk, b+m Projektleiter beim Kick-Off-Treffen des Projekts am 8. Februar „Verlorengegangenes Wissen über den ...

5  Bilder zu Wolfgang Goerigk

7 Profile in Sozialen Netzwerken

Sehen Sie sich das berufliche Profil von Wolfgang Goerigk (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- ...

Wolfgang Goerigks berufliches Profil anzeigen LinkedIn ist das weltweit größte berufliche Netzwerk, das Fach- und Führungskräften wie Wolfgang Goerigk ... Es fehlt: hd ‎messebau

Kiel, Schleswig-Holstein, Germany

2 Projekte

Copyright © Wolfgang Goerigk, Ulrich Hoffmann, Heinz Knutzen, Christian-Albrechts-Universität zu Kiel, Germany. Copyright © Julian Stecklina

(I got this idea from Wolfgang Goerigk), and (b) the invariant rule for reasoning about @{term while}. *} consts while_aux :: "('a => bool) × ('a => 'a) × 'a => 'a" ...

15 Bücher zum Namen

von Wolfgang Goerigk, Hamburg, Vlg F. DörlingGebundene Ausgabe

AAAI advances the understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines.

In: Francesca Saglietti, Wolfgang Goerigk (editor). Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. Joint German ENCRESS ...

4. Paul Curzon. The Verified Compilation of Vista Programs. Internal Report, Computer Laboratory, University of Cambridge, January Wolfgang Goerigk.

6 Dokumente

Deklarationen mit Initialisierung int i = 10; int j = 15;. Beispiele für Ausdrücke Wolfgang Goerigk: Objektorientierte Programmierung in Java (SS 2009).

Download Einleitung und Begriffliches. Einleitung. Programmiersprachen. Software-Komplexität ist inhärent und hat vor al...

Wolfgang Goerigk: Objektorientierte Programmierung in Java (SS 2009) public class Circle extends Ellipse { double r; public double umfang () { return 2 * Math.

... методологические основы программирования. © Wolfgang Goerigk, Hans Langmaack, ISSN Проблемы программирования № 2.

23 Wissenschaftliche Publikationen

André van Hoorn, Sören Frey, Wolfgang Goerigk, Wilhelm Hasselbring, Holger Knoche, Sönke Köster, Harald Krause, Marcus Porembski, Thomas Stahl, Marcus Steinkamp

List of computer science publications by Wolfgang Goerigk

@inproceedings{GoerigkvHH+12, author = {Wolfgang Goerigk and Reinhard von Hanxleden and Wilhelm Hasselbring and Gregor Henningsand and Reiner Jung and Holger Neustock ...

List of computer science publications by Axel Dold

4 Allgemeine Veröffentlichungen

In Wolfgang Goerigk, editor, 17 Workshops der GI-Fachgruppe Programmiersprachen und Rechenkonzepte mit Schwerpunkt Softwarecomponenten, pages

Looking for CLiCC? Find out information about CLiCC. A Common Lisp to C compiler by Heinz Knutzen , Ulrich Hoffman and Wolfgang Goerigk... Explanation of CLiCC

4 Meinungen & Artikel

: Wolfgang Goerigk -kiel.de de comp hardware drucker de

: ... und Rechner (FG ) Kontakt: Dr. Wolfgang Goerigk

... [ ]. CLiCC was developed by Wolfgang Goerigk &-kiel.de>, Ulrich Hoffman &-kiel.de>, and Heinz Knutzen ...

Integration von Polymorphismus und Subtypen für den Pi-Kalkül. in: Wolfgang Goerigk, Elke Pulvermüller, Andreas Speck (Hrsg.) Workshop der GI-Fachgruppe

34 Webfunde aus dem Netz

‪Privatdozent, Universität Kiel‬ - ‪‪Цитирано пута‬‬ - ‪Softwareengineering‬ - ‪Programmiersprachen‬ - ‪Compilerbau‬ - ‪Semantik‬ - ‪Compiler-Verifikation‬

... Dr. Hassen Saidi,; Cesar Munoz,; Vijay Ganesh,; Vlad Rusu,; Jean-Christophe Filliâtre,; Wolfgang Goerigk,; Barbara Jobstmann,; Véronique Cortier,; Bernhard ...

Wolfgang Goerigk and Thomas Stahl. Abstract. Modellgetriebenes Softwareengineering hat sich zu einem praxistauglichen und reifen Ansatz mit zunehmend breitem Anwendungsspektrum und...

Wolfgang Goerigk. Antrag auf den AK mit Beschreibung der Ziele existiert bereits initial; Überarbeitung noch notwendig zur Anpassung an die aktuellen Ziele...

b+m Informatik AG Informatik und Wirtschaftsinformatik im Unternehmenskontext Wolfgang Goerigk Einführung in die Wirtschaftsinformatik (B. Thalheim) 29.

Migration und Kompilation in Lisp: Ein. Weg von Prototypen zu Anwendungen. Wolfgang Goerigk, Friedemann Simon. Christian - Albrechts - Universit?at zu Kiel ...

... Wolfgang Goerigk, Wilhelm Hasselbring, André van Hoorn and Holger Knoche Towards Quality Models in Software Migration Gaurav Pandey, Jan Jelschen and Andreas

... for Dynamic Dependency Analysis of COBOL Systems. Autoren: Holger Knoche, André van Hoorn, Wolfgang Goerigk, Wilhelm Hasselbring.

Der Vortrag widmet sich der Entwicklung und Einführung eines architekturorientierten Vorgehens- und Laufbahnmodells, in dem die Perspektiven Human Resources,...

... C compiler by Heinz Knutzen &-kiel.de>, Ulrich Hoffman < -kiel.de> and Wolfgang Goerigk &-kiel.de>.

Wolfgang Goerigk, b+m Informatik (Stellvertreter) Leitungsgremium. Niels Streekmann, BTC AG; Steffen Kruse, OFFIS; Benjamin Klatt, FZI Forschungszentrum Informatik .

From comp.compilers newsgroup: Available: CLiCC - Common Lisp to C Compiler

References: Wolfgang Goerigk und Ulrich Hoffmann. (1996) Wolfgang Goerigk und Ulrich Hoffmann. "The Compiler Implementation Language ComLisp.

Beyond ProCoS at Kiel: A synopsis of recent research. Martin Fränzle, Wolfgang Goerigk, Burghard von Karger, Markus Müller-Olm, Jonathan Bowen (Editor).

André van Hoorn, Sören Frey, Wolfgang Goerigk, Wilhelm Hasselbring, Holger Knoche, Sönke Köster, Harald Krause, Marcus Porembski, Thomas Stahl, Marcus ...

INVITED TALKS Wolfgang Goerigk (U. Kiel, Germany): Mechanical Software Verification: High Level Control Aspects from a User's Perspective William McCune ...

Auf der CeBIT, der weltweit wichtigsten Veranstaltung für Digitalisierung, ist auch die Digitale Wirtschaft Schleswig-Holstein vor Ort. Am DiWiSH-Day, dem...

CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Wolfgang Goerigk Ulrich Hoffman Heinz Knutzen Christian-Albrechts-Universitaet zu Kiel Institut fuer ...

Fachgruppe Programmiersprachen und Rechenkonzepte

Wolfgang Goerigk ^ ^. Institut für Informatik und Praktische Mathematik Christian-Albrechts-Universität Kiel, Germany. Abstract. We present lessons learned from ...