„Statechart“

Suchergebnisse

93 Treffer

• Eine DSL für Harel-Statecharts mit PetitParser
  Krasemann, Hartmut ; Brauer, Johannes ; Crasemann, Christoph 2010 Nordakad.
• Statecharts versus Sequential Function Charts (Statecharts vs. Sequential Function Charts)
  Bauer, N.
• Konvertierung sicherer Petri-Netze in Statecharts/Conversion of safe Petri nets into Statecharts
  Krebs, V. G. ; Nenninger, G. M. ; Schnabel, M. K.
• Zur kompositionalen Semantik von objekt-orientierten statecharts
  John, Sebastian 2000 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• On the combination of model- and property-oriented description techniques
  Deiß, Thomas
• Spezifikation, Analyse und Simulation grosser VLSI-Entwürfe mit Statecharts und Activitycharts
  Cochlovius, Elmar G.
• Statecharts in CSP – ein Prozeßmodell in CSP zur Analyse von Statemate-Statecharts
  Hiemer, Jan-Juan 1999 Kovač
• Data and control flow diagrams, statecharts and Z – their formalization, integration and real time extension
  Petersohn, Carsta 1997 Inst. für Informatik und Praktische Mathematik
• Eine Integration formaler und objektorientierter Methoden bei der Entwicklung von Kommunikationsprotokollen
  Kräß, Manfred Johann
• Optimierte automatische Statechart-Implementierungen im Software- und Hardware-Entwurf eingebetteter Systeme
  Ackad, Jean-Claude
• Formal semantics for the integration of statecharts and Z in metamodel based framework
  Geisler, Robert
• Logically timed Chu process semantics for statecharts
  Harnett, Rait
• Use of Statechart Diagrams for Modeling of Hypertext
  Gorshkova, E. A. ; Novikov, B. A.
• HySCharts: A Statechart-Based Environment for Hyperdocument Authoring and Browsing
  Turine, Marcelo Augusto Santos ; De Oliveira, Maria Cristina Ferreira ; Masiero, Paulo Cesar
• Engineering Multi-agent Systems with Statecharts – Theory and Practice
  Spanoudakis, Nikolaos I.
• And-or dependence graphs for slicing statecharts
  Fox, Chris ; Luangsodsai, Arthorn 2006 [Internat. Begegnungs- und Forschungszentrum für Informatik]
• Consistency management of object-oriented behavioral models
  Küster, Jochen M.
• Erzeugung von Statecharts aus Sequence Charts
  Miesling, Daniel 2008 Diplom.de
• GO2S: GOals To Statecharts Process for context-sensitive systems
  Vilela, Jéssyka Flavyanne Ferreira 2020 LAP LAMBERT Academic Publishing
• Mixed-semantics composition of statecharts for the component-based design of reactive systems
  Graics, Bence ; Molnár, Vince ; Vörös, András ; Majzik, István ; Varró, Dániel