Logo des Repositoriums
 

Band 30 - Heft 1 (Februar 2007)

Autor*innen mit den meisten Dokumenten  

Auflistung nach:

Neueste Veröffentlichungen

1 - 10 von 12
  • Zeitschriftenartikel
    Mitteilungen der Gesellschaft für Informatik 183. Folge (Fortsetzung)
    (Informatik-Spektrum: Vol. 30, No. 1, 2007)
  • Zeitschriftenartikel
    Datenqualität
    (Informatik-Spektrum: Vol. 30, No. 1, 2007) Naumann, Felix
    Daten von niedriger Qualität sind in kommerziellen und wissenschaftlichen Datenbanken allgegenwärtig.
  • Zeitschriftenartikel
    LogicTraffic – Logik in der Allgemeinbildung
    (Informatik-Spektrum: Vol. 30, No. 1, 2007) Arnold, Ruedi; Hartmann, Werner
    ,,Ist ja logisch!“ – Logik ist in unserem Alltag omnipräsent. Doch in der Schule ist Logik kaum ein Thema und wenn, dann ist der Unterricht meist unnötig abstrakt. Mit der Lernumgebung LogicTraffic zur Steuerung von Verkehrskreuzungen wird ein intuitiver Zugang zur Logik als Teil der Allgemeinbildung vorgestellt.
  • Zeitschriftenartikel
    Sieben Thesen zur erfolgreichen Verwirrung von Anfängern der objektorientierten Programmierung
    (Informatik-Spektrum: Vol. 30, No. 1, 2007) Schmolitzky, Axel
    In sieben Thesen werden Aussagen zur objektorientierten Programmierung dargestellt, die aus Sicht des Autors für Programmieranfänger problematisch sind. Alle Aussagen sind sinngemäß Lehrbüchern oder wissenschaftlichen Publikationen zum Thema ,,Einführung in die objektorientierte Programmierung“ entnommen. Bewusst kontrovers und zugespitzt dargestellt, sollen die Thesen in erster Linie als Diskussionsgrundlage dienen.
  • Zeitschriftenartikel
    Fleissner-Raster und der Erzherzog
    (Informatik-Spektrum: Vol. 30, No. 1, 2007) Bauer, Friedrich L.
  • Zeitschriftenartikel
    Modulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung
    (Informatik-Spektrum: Vol. 30, No. 1, 2007) Broy, Manfred; Rumpe, Bernhard
    Die Entwicklung komplexer eingebetteter Softwaresysteme, wie sie heute beispielsweise in Telekommunikationssystemen, Fahr- oder Flugzeugen oder mit der Steuersoftware von Automatisierungssystemen im Einsatz sind, erfordert ein strukturiertes, modulares Vorgehen und angemessene Techniken zur präzisen Beschreibung von Anforderungen, der Architektur des Systems mit ihren Komponenten, der Schnittstellen zur Systemumgebung und zwischen den internen Komponenten, der Wechselwirkung zwischen gesteuertem und steuerndem Teilsystem und schließlich der Implementierung. Mit dem frühzeitigen und durchgängigen Einsatz geeigneter Modelle (Stichwort UML (,,Unified Modeling Language“) und MDA (,,Model Driven Architecture“)) werden große Hoffnungen verbunden, die Entwicklungsaufgaben beherrschbarer zu gestalten. Dieser Artikel beschreibt die theoretischen Grundlagen für ein konsequent modellbasiertes Vorgehen in Form eines zusammengehörigen, homogenen und dennoch modularen Baukastens von Modellen, der hierfür zwingend erforderlich ist. Besondere Schwerpunkte liegen hierbei auf den Themen Schnittstellen, Hierarchische Zerlegung, Architekturen durch Komposition und Dekomposition, Abstraktion durch Schichtenbildung, Realisierung durch Zustandsmaschinen, Verfeinerung von Hierarchie, Schnittstellen und Verhalten, Wechsel der Abstraktionsebenen und Integrierte Sicht auf die gesteuerten und steuernden Teilsysteme. Dieser Baukasten der Modellierung muss wie bei allen anderen Ingenieursdisziplinen einer durchdachten, in sich stimmigen logisch-mathematischen Theorie entsprechen. Die hier vorgestellte Theorie besteht aus einem Satz von Notationen und Theoremen, die eine Basis für wissenschaftlich fundierte, werkzeugunterstützbare Methoden liefern und eine den Anwendungsdomänen (Stichwort Domänenspezifische Sprachen) pragmatisch angepasste Vorgehensweise bringt. Für eine wissenschaftlich abgesicherte Methode steht weniger die syntaktische Form der Modellierungssprache als vielmehr die Modellierungstheorie im Zentrum. Die Repräsentation von Modellen durch textuelle oder grafische Beschreibungsmittel ist ohne Zweifel eine wichtige Voraussetzung für den praktischen Einsatz von Modellierungstechniken, muss aber als komfortabler und grundsätzlich austauschbarer ,,Syntactic Sugar“ gesehen werden.
  • Zeitschriftenartikel
    Mitteilungen der Gesellschaft für Informatik 183. Folge
    (Informatik-Spektrum: Vol. 30, No. 1, 2007)
  • Zeitschriftenartikel
    Opensource-Software und Haftung
    (Informatik-Spektrum: Vol. 30, No. 1, 2007)
  • Zeitschriftenartikel
    GI-Veranstaltungskalender
    (Informatik-Spektrum: Vol. 30, No. 1, 2007)
  • Zeitschriftenartikel
    Wissen und Zusammenhang
    (Informatik-Spektrum: Vol. 30, No. 1, 2007) Engesser, Hermann