1
0
0
News
Software automatisiert modernisierensilicon.de
www.silicon.de
“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 ...
Spiegel.de: KUNSTMARKT: Bitterer Stolz - DER SPIEGEL
Drei Bieter hatten sich gemeldet. Wolfgang Goerigk, Chef des Hamburger Auktionshauses Dörling, ging zunächst. bis vier Millionen mit, pausierte kurz,
Ergebnis aus Master-Arbeit im produktiven Einsatz beim...
www.pressebox.de
b+m Informatik AG, Die Verleihung des b+m Software & Systems Engineering Preises war einer der vielen feierlichen Höhepunkte der V…
Neues Projekt: Automatisiert Software modernisieren
kosse-sh.de
„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 ...
Netzwerk-Profile
LinkedIn: Wolfgang Goerigk | LinkedIn
Sehen Sie sich das berufliche Profil von Wolfgang Goerigk (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- ...
LinkedIn: Wolfgang Goerigk | LinkedIn
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
MySpace: Wolfgang Goerigk ( )
Kiel, Schleswig-Holstein, Germany
Projekte
CLiCC - The Common Lisp to C Compiler
clicc.sourceforge.net
Copyright © Wolfgang Goerigk, Ulrich Hoffmann, Heinz Knutzen, Christian-Albrechts-Universität zu Kiel, Germany. Copyright © Julian Stecklina
Theory While_Combinator (Isabelle repository version)
isabelle.in.tum.de
(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" ...
Bücher
Nachrichten von der Insel Helgoland. Helgolandica 4. Schriften zur Kultur und Geschichte der Insel Helgoland.
von Wolfgang Goerigk, Hamburg, Vlg F. DörlingGebundene Ausgabe
Mechanical A-posteriori Verification of Results: A Case Study for a...
www.aaai.org
AAAI advances the understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines.
Publications PBR
www.dfki.de
In: Francesca Saglietti, Wolfgang Goerigk (editor). Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. Joint German ENCRESS ...
Applied Formal Methods - FM-Trends 98: International Workshop on...
books.google.co.uk
4. Paul Curzon. The Verified Compilation of Vista Programs. Internal Report, Computer Laboratory, University of Cambridge, January Wolfgang Goerigk.
Dokumente zum Namen
Beispiele für Ausdrücke Der imperative Kern Der NanoPDFnanopdf.com › download › pdf-4-folien-pro-seite-5_pdf
nanopdf.com
Deklarationen mit Initialisierung int i = 10; int j = 15;. Beispiele für Ausdrücke Wolfgang Goerigk: Objektorientierte Programmierung in Java (SS 2009).
[PDF] Einleitung und Begriffliches. Einleitung. Programmiersprachen....
silo.tips
Download Einleitung und Begriffliches. Einleitung. Programmiersprachen. Software-Komplexität ist inhärent und hat vor al...
Vererbung - Nanopdf.com
nanopdf.com
Wolfgang Goerigk: Objektorientierte Programmierung in Java (SS 2009) public class Circle extends Ellipse { double r; public double umfang () { return 2 * Math.
part ii. trusted compiler implementation
eprints.isofts.kiev.ua
... методологические основы программирования. © Wolfgang Goerigk, Hans Langmaack, ISSN Проблемы программирования № 2.
Wissenschaftliche Veröffentlichungen
CEUR-WS.org/Vol Conference on Software Maintenance and...
ftp.informatik.rwth-aachen.de
André van Hoorn, Sören Frey, Wolfgang Goerigk, Wilhelm Hasselbring, Holger Knoche, Sönke Köster, Harald Krause, Marcus Porembski, Thomas Stahl, Marcus Steinkamp
rtsys.informatik.uni-kiel.de
rtsys.informatik.uni-kiel.de
@inproceedings{GoerigkvHH+12, author = {Wolfgang Goerigk and Reinhard von Hanxleden and Wilhelm Hasselbring and Gregor Henningsand and Reiner Jung and Holger Neustock ...
Veröffentlichungen allgemein
Research papers/Compilation - HaskellWiki
wiki.haskell.org
In Wolfgang Goerigk, editor, 17 Workshops der GI-Fachgruppe Programmiersprachen und Rechenkonzepte mit Schwerpunkt Softwarecomponenten, pages
CLiCC | Article about CLiCC by The Free Dictionary
encyclopedia2.thefreedictionary.com
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
Artikel & Meinungen
Google Groups: Ein Problem weniger: HP OfficeJet G85 Scannerfehler und ...
: Wolfgang Goerigk -kiel.de de comp hardware drucker de
Google Groups: GI FAQ: Informationen zur Gesellschaft fuer Informatik
: ... und Rechner (FG ) Kontakt: Dr. Wolfgang Goerigk
FAQ: Lisp Implementations and Mailing Lists 4/7 [Monthly posting] -...
www.cs.cmu.edu
... [ ]. CLiCC was developed by Wolfgang Goerigk &-kiel.de>, Ulrich Hoffman &-kiel.de>, and Heinz Knutzen ...
Publikationen • Programmiersprachen • Fachbereich Mathematik und...
www.mi.fu-berlin.de
Integration von Polymorphismus und Subtypen für den Pi-Kalkül. in: Wolfgang Goerigk, Elke Pulvermüller, Andreas Speck (Hrsg.) Workshop der GI-Fachgruppe
Sonstiges
Wolfgang Goerigk - Google Академик
scholar.google.at
Privatdozent, Universität Kiel - Цитирано пута - Softwareengineering - Programmiersprachen - Compilerbau - Semantik - Compiler-Verifikation
Harald Ruess - Citations Google Scholar
scholar.google.fr
... Dr. Hassen Saidi,; Cesar Munoz,; Vijay Ganesh,; Vlad Rusu,; Jean-Christophe Filliâtre,; Wolfgang Goerigk,; Barbara Jobstmann,; Véronique Cortier,; Bernhard ...
Lecture Notes in Informatics
subs.emis.de
Wolfgang Goerigk and Thomas Stahl. Abstract. Modellgetriebenes Softwareengineering hat sich zu einem praxistauglichen und reifen Ansatz mit zunehmend breitem Anwendungsspektrum und...
AKMDA:
akmda.ipd.kit.edu
Wolfgang Goerigk. Antrag auf den AK mit Beschreibung der Ziele existiert bereits initial; Überarbeitung noch notwendig zur Anpassung an die aktuellen Ziele...
Dr. Wolfgang Goerigk b+m Informatik AG, Melsdorf Diplom ...docplayer.org › Dr-wolfgang-goerigk-b-m-i...
docplayer.org
b+m Informatik AG Informatik und Wirtschaftsinformatik im Unternehmenskontext Wolfgang Goerigk Einführung in die Wirtschaftsinformatik (B. Thalheim) 29.
1
www.nzdl.org
Migration und Kompilation in Lisp: Ein. Weg von Prototypen zu Anwendungen. Wolfgang Goerigk, Friedemann Simon. Christian - Albrechts - Universit?at zu Kiel ...
AKMDA: MMSM 2014
akmda.ipd.kit.edu
... Wolfgang Goerigk, Wilhelm Hasselbring, André van Hoorn and Holger Knoche Towards Quality Models in Software Migration Gaurav Pandey, Jan Jelschen and Andreas
Automated Source-Level Instrumentation for Dynamic ...
www.springerprofessional.de
... for Dynamic Dependency Analysis of COBOL Systems. Autoren: Holger Knoche, André van Hoorn, Wolfgang Goerigk, Wilhelm Hasselbring.
Architektur-Coaching für Organisation und Technik
mot-hr.de
Der Vortrag widmet sich der Entwicklung und Einführung eines architekturorientierten Vorgehens- und Laufbahnmodells, in dem die Perspektiven Human Resources,...
CLiCC from FOLDOC
foldoc.org
... C compiler by Heinz Knutzen &-kiel.de>, Ulrich Hoffman < -kiel.de> and Wolfgang Goerigk &-kiel.de>.
AKMDA: Startseite
akmda.ipd.kit.edu
Wolfgang Goerigk, b+m Informatik (Stellvertreter) Leitungsgremium. Niels Streekmann, BTC AG; Steffen Kruse, OFFIS; Benjamin Klatt, FZI Forschungszentrum Informatik .
Comp.compilers: Available: CLiCC - Common Lisp to C Compiler
compilers.iecc.com
From comp.compilers newsgroup: Available: CLiCC - Common Lisp to C Compiler
HOPL
hopl.info
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 — Welcome...
orbit.dtu.dk
Beyond ProCoS at Kiel: A synopsis of recent research. Martin Fränzle, Wolfgang Goerigk, Burghard von Karger, Markus Müller-Olm, Jonathan Bowen (Editor).
CEUR-WS.org/Vol Conference on Software Maintenance and...
ceur-ws.org
André van Hoorn, Sören Frey, Wolfgang Goerigk, Wilhelm Hasselbring, Holger Knoche, Sönke Köster, Harald Krause, Marcus Porembski, Thomas Stahl, Marcus ...
From VM Mon Mar :57: X-VM-v5-Data: ([nil nil nil nil nil ...www.ens-lyon.fr › REWRITING › CONTRIBUTIONS
www.ens-lyon.fr
INVITED TALKS Wolfgang Goerigk (U. Kiel, Germany): Mechanical Software Verification: High Level Control Aspects from a User's Perspective William McCune ...
DiWiSH-Day auf der CeBIT
www.diwish.de
Auf der CeBIT, der weltweit wichtigsten Veranstaltung für Digitalisierung, ist auch die Digitale Wirtschaft Schleswig-Holstein vor Ort. Am DiWiSH-Day, dem...
Package: lang/lisp/impl/clicc/
www.cs.cmu.edu
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
www.complang.tuwien.ac.at
Fachgruppe Programmiersprachen und Rechenkonzepte
Mechanical Software Verification – topic of research paper in...
cyberleninka.org
Wolfgang Goerigk ^ ^. Institut für Informatik und Praktische Mathematik Christian-Albrechts-Universität Kiel, Germany. Abstract. We present lessons learned from ...
Verwandte Suchanfragen zu Wolfgang Goerigk
| Marcus Porembski Harald Krause Axel Dold | Thilo Gaul Wilhelm Hasselbring Sören Frey | Heinz Knutzen Ulrich Hoffmann Petra Hofstedt |
Personen Vorname "Wolfgang" (62599) Name "Goerigk" (112) |
sortiert nach Relevanz / Datum