„Statechart“

Suchergebnisse

93 Treffer

• Modeling gene regulatory network motifs using statecharts
  Fioravanti, Fabio ; Helmer-Citterich, Manuela ; Nardelli, Enrico
• Statechart-Interpreter für generische Anwendungslogik – Anhand eines mobilen ortsbezogenen Spiels
  Scheuchenegger, Martin 2010 VDM Verlag Dr. Müller
• Verhaltensverifikation und Visualisierung von UML-Modellen – Konzeption und Entwicklung eines Systems zur Simulation von Statecharts
  Fitzgerald, Jana 2008 VDM Verlag Dr. Müller
• A compositional axiomatization of statecharts
  Hooman, Jozef J. M. ; Ramesh, S. ; Roever, Willem-Paul ˜deœ 1991 Inst. für Informatik und Praktische Math.
• Interactive Verification of Statecharts
  Thums, Andreas ; Balser, Michael 2007 Universität Augsburg
• On the role of nondeterminism and refinement in model-driven top-down development of software systems
  Schmidt, Heiko
• Efficient development of complex statecharts
  Prochnow, Steffen
• Einsatz von Wissen über Zustandsverhalten für die wissensbasierte Konfigurierung technischer Systeme
  Kühn, Christian 2008 Aka
• Automatisierte Testplanerstellung für Betriebsstrategien von Hybridfahrzeugen – zustandsbasierte Testfallerstellung auf der Grundlage von Statecharts
  Poser, Robert 2008 Diplomica-Verl.
• Formale Sicherheitsanalyse
  Ortmeier, Frank 2006 Logos-Verl.
• A method for describing the syntax and semantics of UML statecharts
  Jin, Yan ; Esser, Robert ; Janneck, Jörn W.
• Plug-and-play composition of features and feature interactions with statechart diagrams
  Prehofer, Christian
• A Practical Guide to Using UML Tools in System Analysis and Design – An Easy Way to Learn the Unified Modeling Language
  Atsa'am, Donald 2016 LAP LAMBERT Academic Publishing