24 Bücher 

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.

Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle (Forschungsarbeit)Zum Shop

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
Positive/Negative-Conditional Equations (Forschungsarbeit)Zum Shop

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
Verknüpfung von Technologie CAD und Elektronischem CAD (Forschungsarbeit)Zum Shop

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
Schnelle Bilddatenkompression für Raumfahrtanwendungen (Forschungsarbeit)Zum Shop

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