Katalog der Deutschen Nationalbibliothek

Go to:

Knowledge Web

Subject heading
Subject heading

Softwareprodukt

ESTELLE

Formale Beschreibungstechnik

Subject heading

ESTELLE

Definition

Eine formale Beschreibungstechnik zur Spezifikation verteilter, informationsverarbeitender Systeme, insbesondere von Kommunikationsdiensten und -protokollen. Sie basiert auf ISO-Pascal und ist seit 1989 international genormt

Broader term

Formale Beschreibungstechnik

Topic

Informatikprodukte (Hardware- und Softwareprodukte)

Source

FOLDOC

Record type

Softwareprodukt

GND-Identifier

4208201-8

Record ID

042082013

Topic of

show all

Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle

Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle

Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle

Testgenerierung aus Spezifikationen in Estelle und SDL

Testgenerierung aus Spezifikationen in Estelle und SDL

Communication systems design with estelle : on style, efficiency, and analysis

Formale Spezifikation mit Estelle und die automatische Implementierung auf Von-Neummann- und Co-Design-Architekturen

Formale Spezifikation und Implementierung von Hochleistungsprotokollen

Spezifikationsstile und Entwurfswerkzeuge für Kommunikationsprotokolle im Echtzeitbereich

Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen

Estelle, LOTOS und SDL : Standard-Spezifikationssprachen für verteilte Systeme

Estelle, LOTOS und SDL : Standard-Spezifikationssprachen für verteilte Systeme
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal