Katalog der Deutschen Nationalbibliothek

Go to:

Knowledge Web

Subject heading
Subject heading

Allgemeinbegriff

Statechart

Darstellungstechnik der Spezifikationstechnik. Statecharts sind eine Erweiterung von Zustandsdiagrammen um Parallelität und Hierarchie.

Subject heading

Statechart

Definition

Darstellungstechnik der Spezifikationstechnik. Statecharts sind eine Erweiterung von Zustandsdiagrammen um Parallelität und Hierarchie.

Synonym

State chart

Topic

Informatik, Datenverarbeitung

Source

Lex. Informatik Kommunikationstechn.

Record type

Allgemeinbegriff

GND-Identifier

4518597-9

Record ID

954812980

Topic of

show all

Modellbasierte Testfallgenerierung und Ausführung für dasTesten eines Echtzeitsystems auf Konformität : Model-based test case generation and execution for testing a real-time system for compliance

Ressourcenadaptive Anwendungen für die operative Prozessleittechnik

Yakindu SCT Plugin für die Generierung von endlichen Automaten in Swift

Generierung domänenspezifischer Transformationssprachen

Generierung domänenspezifischer Transformationssprachen

Analysis and correctness of algebraic graph and model transformations

Analysis and Correctness of Algebraic Graph and Model Transformations

Einsatz von Wissen über Zustandsverhalten für die wissensbasierte Konfigurierung technischer Systeme

Erzeugung von Statecharts aus Sequence Charts

Identifikation von Sicherheitsrisiken in verfahrenstechnischen Prozessen unter Einsatz von Statecharts in frühen Phasen der Anlagenplanung

Identifikation von Sicherheitsrisiken in verfahrenstechnischen Prozessen unter Einsatz von Statecharts in frühen Phasen der Anlagenplanung

Visuelle Spezifikation interaktiver Softwaresysteme

Formale Sicherheitsanalyse

Computing abstract models for verifying reactive systems

Transformation erweiterter Zustandsmaschinen aus UML-Statecharts unter Verwendung von XMI

Consistency management of object oriented behavioral models

Consistency management of object-oriented behavioral models

Consistency Management of Object-Oriented Behavioral Models

Formale Fehlerbaumanalyse

Formale Fehlerbaumanalyse

Model checking combined Z and statechart specifications

UML-based specification of state oriented real time properties

UML-Based Specification of State-Oriented Real-Time Properties

DiaMod : ein Werkzeugsystem zur Modellierung natürlichsprachlicher Dialoge

Semantics of form oriented analysis

Semantics of form oriented analysis

Compilation, worst case execution times, and schedulability analysis of statecharts models

Compilation, Worst-Case Execution Times, and Schedulability Analysis of Statecharts Models

Developing concepts and methods for module and integration tests for models of reactive systems

Developing concepts and methods for module and integration tests for models of reactive systems

Optimierte automatische Statechart-Implementierungen im Software- und Hardware-Entwurf eingebetteter Systeme

Optimierte automatische Statechart-Implementierungen im Software- und Hardware-Entwurf eingebetteter Systeme

Eine Integration formaler und objektorientierter Methoden bei der Entwicklung von Kommunikationsprotokollen

Formal semantics for the integration of statecharts and Z in metamodel based framework

On the combination of model- and property-oriented description techniques

Statecharts in CSP : ein Prozeßmodell in CSP zur Analyse von Statemate-Statecharts

Logically timed Chu process semantics for statecharts

Höhere Petrinetze als Grundlage für Systemspezifikationen
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