Wissenschaftliche Literatur Verifikation
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.

Ludger Walther
Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle
Variata – Titel ohne Schriftenreihenzuordnung
Unzuverlässige oder fehlerhafte Software in Programmen und Kommunikationsprotokollen hat immer wieder Softwarekrisen hervorgerufen. Unentdeckte Entwurfsfehler gefährden auf der Ebene der Implementierung das korrekte Verhalten von Rechensystemen und Datenverbindungen und können zu katastrophalen wirtschaftlichen Schäden oder nichttolerierbaren Risiken führen.
Um dem Protokollentwickler zu helfen, vorhandene Fehler frühzeitig zu finden und zu beseitigen (Validierung)…
ErreichbarkeitsanalyseKorrektheitsbeweisOSI-ProtokolleProtokollvalidierungProvalTransaktionsverarbeitungValidierungswerkzeug PROVAL
Claus-Peter Wirth
Positive/Negative-Conditional Equations
A Constructor-Based Framework for Specification and Inductive Theorem Proving
Forschungsergebnisse zur Informatik
Thema dieser Dissertation ist das Beweisen induktiver Theoreme in Klauselform auf der Basis von Spezifikationen mit konstruktorbasierten, positiv/negativ bedingten Gleichungen. Das Beweisen induktiver Theoreme ist von entscheidender Bedeutung für jede Form der Argumentation über Computerprogramme. Da formale Methoden bei der Verifikation sicherheitskritischer Algorithmen unverzichtbar sind, ist davon auszugehen, dass mehr oder weniger automatisiertes Beweisen induktiver…
algebraische Spezifikationinduktive GültigkeitInformatiknegativ-bedingte Gleichungenpositiv-bedingteTermbesetzungTheorembeweistheorem provingvollständige Induktion
Markus Brandstetter
Verknüpfung von Technologie CAD und Elektronischem CAD
Schriftenreihe technische Forschungsergebnisse
Ziel des Verfassers ist es, die Grundlagen für die CAD Unterstützung bei der Verknüpfung der technologischen mit den elektronischen Designflüssen bereitzustellen. Die Motivation für eine solche Aufgabenstellung liefert die Tatsache, dass in den hoch innovativen Bereichen der Mikroelektronik und Mikrosystemtechnik die Einbeziehung des analogen bzw. physikalisch-technologischen CAD Bereichs unumgänglich geworden ist. In seiner Komplexität weist der Technologie CAD Bereich…
automatisierte WerkzeugintegrationCAD SupportElektronischer CADEXPRESSInformationsmodellierungIngenieurwissenschaftMikroelektronikSYSWORKTechnikwissenschaftTechnologie CAD
Frank Rabe
Schnelle Bilddatenkompression für Raumfahrtanwendungen
Forschungsergebnisse zur Informatik
Der Autor beschreibt ein spezialisiertes Verfahren zur Kompression der Bilddaten einer CCD-Kamera. Es wird bei der wissenschaftlichen Weltraummission Cassini zum Planeten Saturn eingesetzt (Start geplant für 1997). Sämtliche Darstellungen werden am Beispiel der DISR-Kamera der europäischen Cassini-Huygens-Probe zum Saturnmond Titan konkretisiert. Sowohl die verwendete Kamera als auch die Saturn-Mission sind typische Vertreter ihrer jeweiligen Klasse. Die dargestellten…
BilddatenkompressionCodierungInformatikJoint Photographic Experts GroupJPEGRaumfahrtmissionRedundanzreduktionTransformationTransformationscodierung