Literatur im Fachgebiet Informatik Abstraktion

Eine schlagwort­basierte Auswahl unserer Fachbücher

The eXtensible Characterisation Languages – XCL (Forschungsarbeit)

The eXtensible Characterisation Languages –
XCL

Kölner Beiträge zu einer geisteswissenschaftlichen Fachinformatik

Wenn Sie ein Office Dokument von Microsoft Word in ein PDF konvertieren, enthält es dann immer noch dieselbe Information? Wenn Sie ein Bild aus einem Format in ein anderes verwandeln, ist es immer noch dasselbe? Überraschenderweise gibt es heute noch keine technische Antwort auf diese Fragen: Der einzige Weg sie zu beantworten verlangt, dass ein menschlicher…

Fachinformatik Informatik Software
Abstraktion in ereignisbasierten Modellen verteilter Systeme (Forschungsarbeit)

Abstraktion in ereignisbasierten Modellen verteilter Systeme

Ein Beitrag zum formalen Entwurf verteilter Systeme

Forschungsergebnisse zur Informatik

Der Entwurf und die Verifikation verteilter Systeme stellen den Entwicklungsingenieur immer noch vor große Probleme. Das komplexe parallele Verhalten solcher Systeme entzieht sich wegen der Nicht-Determiniertheit der zeitliche Abläufe der menschlichen Vorstellungskraft. Der korrekte Entwurf bzw. die Verifikation des Entwurfes lassen sich deshalb nur auf der…

Implementierung Informatik Sprache Verifikation