Kompetenzen
Als Mathematiker mit Schwerpunkt in mathematische Logik und Modelltheorie ist mir der Umgang mit formalen Sprachen selbstverständlich. Im Laufe meiner Berufstätigkeit habe ich mit den folgenden Programiersprachen, Anwendungen und Notationen gearbeitet:
-
Programmiersprachen
C++ 11/14 : unter Unix mit gcc, c-make, Qt-Creator und Netbeans
C++ : (MFC, COM, ATL): eventbasierte Benutzeroberflächen, Geometrie, DatenzugriffsschichtC# : Geometrie, Oberflächen, SOAP, Interoperabilität
Java EE: Swing basierte graphische Benutzerschnittstellen
VBA : Auswertungen, Erzeugung von NC Programmen -
-
Markup und Skripting
bash, dos zur automatisierung von Entwicklungsaufgaben oder Installationen
UML für Architekturkonzepte sowie mittels reverse Engineering zur Codeanalyse
HTML, XML, XSL: Präsentation von statischen und dynamischen Inhalten
Javascript: Datenpresentation und Webdesign
-
Tool-Kenntnisse
Microsoft Visual Studio
TFS, Source-Safe, SVN
MKS-Integrity, Jira,
Eclipse, Netbeans
Altova U-Model
Enterprise Architekt
Mathematica und Math-Lab
-
Datenbanken
Sybase SQL: Datenmodellierung, Zugriffsschicht und Zugriffsoptimierung
Microsoft ACCES:Datenmodellierung,
betrieve: Datenmodellierung, Zugriffe und Migration