Icon Informatik

Informatik Forschungsergebnisse zur Informatik

ISSN 1435-6260 | 71 lieferbare Titel | 15 eBooks
 Dissertation: Institutionalisierte Wiederverwendung von SoftwareBausteinen und deren Komposition

Institutionalisierte Wiederverwendung von Software-Bausteinen und deren Komposition

Am Beispiel von Software-Werkzeugen aus dem Schaltungsentwurf

Hamburg 2001, Band 56

Die zunehmende Komplexität technischer Systeme, die heutzutage in nahezu allen Lebensbereichen Einzug halten, erfordert bei deren Entwicklung einen massiven Einsatz von Entwurfswerkzeugen auf Software-Basis. Die extrem kurzen Innovationszyklen in…

Entwurfswerkzeuge Informatik Objektorientierung Software Engineering
 Dissertation: GENGED: Visual Definition of Visual Languages

GENGED: Visual Definition of Visual Languages

based on Algebraic Graph Transformation

Hamburg 2000, Band 55

Master Ittei said, „In calligraphy it is progress when the paper, brush and ink are in harmony“ [Yam79]. Today in software modeling and specification we are far away from this principle. Visual specifications might be a step in the…

Informatik Programmiersprache Software-Entwicklung
 Dissertation: Zur prozessorientierten Analyse interaktiver Gefechtssimulationen

Zur prozessorientierten Analyse interaktiver Gefechtssimulationen

Hamburg 2000, Band 54

Interaktive Gefechtssimulationen modellieren komplexe militärische Abläufe und erzeugen während des Simulationslaufs einen umfangreichen Satz verschiedenster Ereignisdaten; die Möglichkeit des steuernden Eingriffs in den Simulationslauf durch den…

Informatik Künstliche Intelligenz Operations Research Streitkräfte Systemanalyse
 Forschungsarbeit: Vermittlung und Management von Diensten in offenen Systemen

Vermittlung und Management von Diensten in offenen Systemen

Hamburg 1999, Band 53

Die Arbeit beschreibt ein neues Systemkonzept zur Vermittlung und Verwaltung von Diensten in verteilten Systemen. Die Grundlage bildet ein Dienstmodell, welches Dienste als ein konfigurierbares System aus verteilten Komponenten auffasst. Der…

Informatik Management Verteilte Systeme
 Forschungsarbeit: Ökonometrische Schätzungen bei generell nicht stationären datengenerierenden Prozessen

Ökonometrische Schätzungen bei generell nicht stationären datengenerierenden Prozessen

Hamburg 1999, Band 52

In dieser Arbeit wird ein Zeitreihenmodell entwickelt, das sowohl eine flexible Funktionsform wie auch den Einbezug nichtstationärer Zeitreihen ermöglicht. Dazu wird zunächst als Ausgangspunkt die Problematik fehlspezifizierter Modelle…

Informatik Ökonometrie Regressionsanalyse Zeitreihenanalyse
 Forschungsarbeit: Timingdriven Foorplanning beim hierarchischen VLSIEntwurf

Timing-driven Foorplanning beim hierarchischen VLSI-Entwurf

Hamburg 1999, Band 51

Ziel dieser Arbeit ist die Darstellung und Implementierung von Konzepten zum timing-driven Floorplanning beim hierarchischen VLSI-Entwurf. Kernpunkte eines solchen Entwurfsverfahrens, wie es z.B. das PLAYOUT-System prototypisch verwirklicht, sind…

Informatik
 Dissertation: Softwarekorrektur online

Softwarekorrektur online

Patchen in Realzeitsystemen am Beispiel von SPC-Rechnern

Hamburg 1999, Band 50

Wie erhält man ununterbrechbar laufende (Computer-)Systeme am Leben?

Dieses Problem stellt sich für Knotenrechner der Telekommunikation (Vermittlungsanlagen), aber auch für Kernkraftwerksteuerungen, Systemen der Flugkontrolle oder der…

Informatik
 Forschungsarbeit: Transparenter Schutz der Aufenthaltsinformation in Mobilfunksystemen

Transparenter Schutz der Aufenthaltsinformation in Mobilfunksystemen

Hamburg 1999, Band 49

Gerätemobilität, eine wesentliche Eigenschaft von Mobilfunksystemen, setzt eine Infrastruktur voraus, mit der einer Mobilstation funkgebundener Netzzugang über die nächstgelegene Basisstation gewährt werden kann. Mobility Management-Prozeduren…

Datenschutz Informatik IT-Sicherheit Mobilkommunikation
 Forschungsarbeit: Statecharts in CSP

Statecharts in CSP

Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts

Hamburg 1999, Band 48

Graphische Notationen werden heute standardmäßig zur Modellierung komplexer Softwaresysteme eingesetzt. Eine gängige Notation für die Entwicklung von Steuerungssystemen sind die von Harel eingeführten Statecharts, die durch das Werkzeug Statemate…

CSP Informatik Verifikation
 Forschungsarbeit: A Functional Pattern System for ObjectOriented Design

A Functional Pattern System for Object-Oriented Design

Hamburg 1999, Band 47

This book integrates the vital areas of object-orientation, functional programming, design patterns, and language design. The most important concepts from functional programming are captured with six design patterns: [...]

Informatik

Weitere Schriftenreihen in der Informatik

Nach oben ▲