Auflistung nach Autor:in "Snelting, Gregor"
1 - 7 von 7
Treffer pro Seite
Sortieroptionen
- Textdokument20 Jahre Softwaretechnik an der TU Braunschweig(40 Jahre Informatik an der Technischen Universität Braunschweig 1972 - 2012, 2012) Rumpe, Bernhard; Schaefer, Ina; Snelting, GregorDie Softwaretechnik ist einer des essentiellen Kernbereiche der Informatik. Softwaretechnik erarbeitet und lehrt innovative Konzepte, Methoden und Werkzeuge für die ingenieurmäßige Erstellung von großen und komplexen Systemen mit hohem Softwareanteil. Dies beinhaltet Websysteme mit cloud-basierten Servern, wie auch vernetzte eingebettete Systeme und den darauf aufbauenden Möglichkeiten, Mehrwert durch zusätzliche Funktionen zu generieren. In diesem Beitrag wird die Historie der Softwaretechnik an der TU Braunschweig dargestellt, die zu dem heute existierenden Institut für Softwaretechnik und Fahrzeugautomatik geführt hat.
- KonferenzbeitragC++ ist typsicher? Garantiert!(Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Wasserab, Daniel; Nipkow, Tobias; Snelting, Gregor; Tip, FrankWir präsentieren eine operationelle Semantik mit Typsicherheitsbeweis für Mehrfachvererbung in C++, formalisiert im und maschinengeprüft durch den Maschinenbeweiser Isabelle/HOL. Die Typsicherheit des Vererbungsmechanismus von C++ war lange offen. Der nun vorliegende Beweis erhöht das Vertrauen in die Sprache, erzeugt aber auch neue Einsicht in die Problematik des C++-Vererbungsmechanismus. Er öffnet die Tür für weitergehende Beweise, die bisher unerreichte Sicherheitsgarantien für C++-Programme liefern.
- ZeitschriftenartikelFeyerabend – zwei Jahre später(Informatik-Spektrum: Vol. 24, No. 5, 2001) Snelting, Gregorneue Synthese zwischen Theorie und Praxis. Denn es gibt heute keine theoretische oder praktische Softwaretechnik mehr, sondern nur noch gute oder schlechte.
- ZeitschriftenartikelPaul Feyerabend und die Softwaretechnologie(Informatik-Spektrum: Vol. 21, No. 5, 1998) Snelting, GregorDer folgende Beitrag ist ein Plädoyer für stärkere methodische Standards in der Softwaretechnologie. Nicht immer werden wissenschaftstheoretischen Grundsätze beachtet wie das Prinzip, daß Aussagen falsifizierbar sein sollten. Dies scheint die These der sog. Konstruktivisten zu bestätigen, daß nämlich „objektive Wahrheiten“ in Wirklichkeit soziale Konstrukte seien. Der Beitrag plädiert deshalb für eine stärkere empirische Fundierung der Softwaretechnologie.Summary The following contribution is a plea for more stringent methodological standards in software technology. Certain basic scientific principles are often neglected, principles such as the fact that predictions need to be falsifiable. This appears to confirm the theses of the so-called „constructivists“ that „objective truths“ are in reality simply social constructs. It is thus argued here that one needs a stronger empirical foundation for software technology.
- KonferenzbeitragPreface(INFORMATIK 2011 – Informatik schafft Communities, 2011) Beckert, Bernhard; Snelting, Gregor
- KonferenzbeitragSicherheitsanalyse mit JOANA(Sicherheit 2016 - Sicherheit, Schutz und Zuverlässigkeit, 2016) Graf, Juergen; Hecker, Martin; Mohr, Martin; Snelting, GregorJOANA ist ein System zur Software-Sicherheitsanalyse, das bis zu 100kLOC volles Ja- va mit Threads analysieren kann. JOANA basiert auf modernen Verfahren zur Programmanalyse und erzeugt deshalb wenig Fehlalarme. JOANA enthält einen “iRLSOD” Algorithmus, der probabilistische Nichtinterferenz garantiert. JOANA ist Open Source, braucht wenige Annotationen und lässt sich leicht bedienen. Der Artikel gibt einen Überblick über JOANA, erklärt das neue iRLSOD Verfahren, und präsentiert eine Fallstudie.2
- ZeitschriftenartikelWissenschaftspolitische Herausforderungen für die Informatik(Informatik-Spektrum: Vol. 31, No. 5, 2008) Snelting, GregorDer folgende Beitrag – in der ursprünglichen Form vorgetragen auf dem Jahrestreffen 2008 des Beirates der Universitätsprofessoren der Gesellschaft für Informatik (GIBU) – behauptet, dass im Gefolge des Bologna-Prozesses und der Exzellenzinitiative das Niveau der Ausbildung in technischen Fächern, insbesondere in der Informatik, im Durchschnitt sinken wird. Da Deutschland sich dies nicht leisten kann, andererseits Bologna unumkehrbar ist, werden Kompensationsmaßnahmen diskutiert.