Autor*innen mit den meisten Dokumenten
Auflistung nach:
Neueste Veröffentlichungen
- ZeitschriftenartikelMitteilungen der Schweizer Informatik Gesellschaft / 1_2012(Informatik-Spektrum: Vol. 35, No. 1, 2012)
- ZeitschriftenartikelMitteilungen der Gesellschaft für Informatik 213. Folge(Informatik-Spektrum: Vol. 35, No. 1, 2012)
- ZeitschriftenartikelEine formale Semantik für die Java Modeling Language(Informatik-Spektrum: Vol. 35, No. 1, 2012) Bruns, DanielDie Java Modeling Language (JML) wurde als Ansatz konzipiert, um das Spezifizieren von Software-Produkten einer breiteren Masse zugänglich zu machen. Die Sprache baut auf Java auf und wird in einer Vielzahl von Verifikationswerkzeugen eingesetzt. Im Gegensatz zu anderen Modellierungssprachen mangelt es JML jedoch weiterhin an einer fundierten formalen Referenzsemantik. In diesem Beitrag wird ein Schritt zu diesem Ziel unternommen, der ausschließlich auf elementaren mathematischen Notationen beruht und unabhängig von der Semantikdefinition von Java selbst ist.
- ZeitschriftenartikelIT-Compliance(Informatik-Spektrum: Vol. 35, No. 1, 2012) Strasser, Artur; Wittek, Michael
- ZeitschriftenartikelInformatik-Spektrum-Statistik(Informatik-Spektrum: Vol. 35, No. 1, 2012) Bode, Arndt; Engesser, Hermann
- ZeitschriftenartikelMitteilungen der Gesellschaft für Informatik 213. Folge (Fortsetzung)(Informatik-Spektrum: Vol. 35, No. 1, 2012)
- ZeitschriftenartikelDatenschutz im Web 2.0 am Beispiel des sozialen Tagging-Systems BibSonomy(Informatik-Spektrum: Vol. 35, No. 1, 2012) Krause, Beate; Lerch, Hana; Hotho, Andreas; Roßnagel, Alexander; Stumme, GerdSoziale Tagging-Systeme gehören zu den in den vergangenen Jahren entstandenen Web2.0-Systemen. Sie ermöglichen es Anwendern, beliebige Informationen in das Internet einzustellen und untereinander auszutauschen. Je nach Anbieter verlinken Nutzer Videos, Fotos oder Webseiten und beschreiben die eingestellten Medien mit entsprechenden Schlagwörtern (Tags). Die damit einhergehende freiwillige Preisgabe oftmals persönlicher Informationen wirft Fragen im Bereich der informationellen Selbstbestimmung auf. Dieses Grundrecht gewährleistet dem Einzelnen, grundsätzlich selbst über die Preisgabe und Verwendung seiner persönlichen Daten zu bestimmen. Für viele Funktionalitäten, wie beispielsweise Empfehlungsdienste oder die Bereitstellung einer API, ist eine solche Kontrolle allerdings schwierig zu gestalten. Oftmals existieren keine Richtlinien, inwieweit Dienstanbieter und weitere Dritte diese öffentlichen Daten (und weitere Daten, die bei der Nutzung des Systems anfallen) nutzen dürfen. Dieser Artikel diskutiert anhand eines konkreten Systems typische, für den Datenschutz relevante Funktionalitäten und gibt Handlungsanweisungen für eine datenschutzkonforme technische Gestaltung.
- ZeitschriftenartikelShuhari und zu viel Shu im Kopf(Informatik-Spektrum: Vol. 35, No. 1, 2012) Dueck, Gunter
- ZeitschriftenartikelDie Vorstandskolumne(Informatik-Spektrum: Vol. 35, No. 1, 2012)
- ZeitschriftenartikelMehr Lebensqualität dank Informatik(Informatik-Spektrum: Vol. 35, No. 1, 2012) Broy, Manfred; Endres, Albert