Forschungsergebnisse zur Informatik

ISSN 1435-6260 | 71 lieferbare Titel | 15 eBooks

zurückblätternzurückblättern zurückblättern 1 2 3 4 5 6 7 8 ...  vorblättern vorblätternvorblättern

  Forschungsarbeit: Refinements in HOLCF: Implementation of Interactive Systems

Refinements in HOLCF: Implementation of Interactive Systems

Band 32, Hamburg 1997, ISBN 978-3-86064-625-0 (Print)

Verfeinerung (Refinement) ist ein Konzept zur mathematischen Modellierung von Software und Systementwicklung. Dabei werden die Softwaresysteme in einer Logik formal beschrieben und durch die [...]

 

  Forschungsarbeit: Positive/NegativeConditional Equations

Positive/Negative-Conditional Equations

A Constructor-Based Framework for Specification and Inductive Theorem Proving

Band 31, Hamburg 1997, ISBN 978-3-86064-551-2 (Print)

Thema dieser Dissertation ist das Beweisen induktiver Theoreme in Klauselform auf der Basis von Spezifikationen mit konstruktorbasierten, positiv/negativ bedingten Gleichungen. Das Beweisen [...]

 

  Forschungsarbeit: Kommunikation und Synchronisation multimedialer Datenströme in verteilten Systemen

Kommunikation und Synchronisation multimedialer Datenströme in verteilten Systemen

Band 30, Hamburg 1996, ISBN 978-3-86064-503-1 (Print)

Durch Fortschritte in der Kommunikations- und Computertechnik wird die Einbeziehung von Audio- und Videodaten in Computeranwendungen möglich. Beispiele hierfür sind Telekonferenzanwendungen am [...]

 

  Forschungsarbeit: Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

Band 29, Hamburg 1996, ISBN 978-3-86064-469-0 (Print)

Da Software in zunehmendem Maße auch in sicherheitsrelevanten Anwendungen eingesetzt wird, steigt der Bedarf an Software-Prüfung, die über das Testen hinausgeht. In dieser Arbeit wird ein [...]

 

  Forschungsarbeit: Synthese assoziativer Steuerwerke

Synthese assoziativer Steuerwerke

Band 28, Hamburg 1996, ISBN 978-3-86064-463-8 (Print)

Mit Ausweitung der Forschungs- und Entwicklungstätigkeiten auf dem Arbeitsgebiet der Schaltungssynthese auf höhere Abstraktionsebenen gewannen in jüngster Zeit die in diesen Zusammenhängen [...]

 

  Forschungsarbeit: Ein Modell für CADEntwurfsumgebungen

Ein Modell für CAD-Entwurfsumgebungen

Beschreibung und Formalisierung wesentlicher Konzepte auf der Basis von Hypermedia

Band 27, Hamburg 1996, ISBN 978-3-86064-435-5 (Print)

Dieses Buch präsentiert ein formales Modell zur Verwaltung der Entwurfsdaten mikroelektronischer Systeme. Das vorgestellte Modell kann als Grundlage für die Entwicklung von Frameworks und [...]

 

  Forschungsarbeit: Mehrstufige sequentielle Inspektionsspiele mit statistischen Fehlern erster und zweiter Art

Mehrstufige sequentielle Inspektionsspiele mit statistischen Fehlern erster und zweiter Art

Band 26, Hamburg 1996, ISBN 978-3-86064-387-7 (Print)

In dieser Arbeit werden Überwachungssituationen im Rahmen von vertraglichen Vereinbarungen zwischen einem Inspektor und einem Inspizierten als Inspektionsspiele modelliert und analysiert. [...]

 

  Forschungsarbeit: Spieltheoretische Untersuchung von Problemen der Datenverifikation

Spieltheoretische Untersuchung von Problemen der Datenverifikation

Band 25, Hamburg 1996, ISBN 978-3-86064-386-0 (Print)

Ein Datenverifikationsproblem im Sinne der vorliegenden Arbeit ergibt sich aus der folgenden Situation: Eine Vertragspartei (der Inspizierte) verpflichtet sich aufgrund festgelegter [...]

 

  Forschungsarbeit: Planung und Durchführung methodischer Entwurfsaktivitäten

Planung und Durchführung methodischer Entwurfsaktivitäten

Band 24, Hamburg 1996, ISBN 978-3-86064-378-5 (Print)

Für den Entwurf integrierter Schaltungen steht eine Vielzahl hochentwickelter rechnergestützter Werkzeuge auf der Basis integrierter Entwurfsumgebungen zur Verfügung. Trotzdem ist auch der [...]

 

  Forschungsarbeit: Rechtwinkliges Layout von hierarchisch strukturierten Graphen

Rechtwinkliges Layout von hierarchisch strukturierten Graphen

Band 23, Hamburg 1996, ISBN 978-3-86064-363-1 (Print)

Zunächst führt Hickl in alle graphentheoretischen und geometrischen Begriffe ein, die zur Beschreibung des Ansatzes nötig sind. Sodann befaßt er sich mit Graph–Grammatiken, insbesondere [...]

 


zurückblätternzurückblättern zurückblättern 1 2 3 4 5 6 7 8 ...  vorblättern vorblätternvorblättern

nach oben