Auflistung nach:
Auflistung Band 30 - Heft 1 (Februar 2007) nach Titel
1 - 10 von 12
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelDatenqualität(Informatik-Spektrum: Vol. 30, No. 1, 2007) Naumann, FelixDaten von niedriger Qualität sind in kommerziellen und wissenschaftlichen Datenbanken allgegenwärtig.
- Zeitschriftenartikel,,Du gleichst dem Geist, den du evaluieren kannst, nicht mir!“(Informatik-Spektrum: Vol. 30, No. 1, 2007) Dueck, Gunter
- ZeitschriftenartikelFleissner-Raster und der Erzherzog(Informatik-Spektrum: Vol. 30, No. 1, 2007) Bauer, Friedrich L.
- ZeitschriftenartikelGI-Veranstaltungskalender(Informatik-Spektrum: Vol. 30, No. 1, 2007)
- ZeitschriftenartikelLogicTraffic – 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.
- ZeitschriftenartikelMitteilungen der Gesellschaft für Informatik 183. Folge(Informatik-Spektrum: Vol. 30, No. 1, 2007)
- ZeitschriftenartikelMitteilungen der Gesellschaft für Informatik 183. Folge (Fortsetzung)(Informatik-Spektrum: Vol. 30, No. 1, 2007)
- ZeitschriftenartikelMitteilungen der Schweizer Informatik Gesellschaft 1/2007(Informatik-Spektrum: Vol. 30, No. 1, 2007)
- ZeitschriftenartikelModulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung(Informatik-Spektrum: Vol. 30, No. 1, 2007) Broy, Manfred; Rumpe, BernhardDie 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.
- ZeitschriftenartikelOpensource-Software und Haftung(Informatik-Spektrum: Vol. 30, No. 1, 2007)