„Statechart“

Suchergebnisse

93 Treffer

• A method for testing and validating executable statechart models
  Mens, Tom ; Decan, Alexandre ; Spanoudakis, Nikolaos I.
• Extending statecharts to model system interactions
  Ramos, Marcelo A. ; Masiero, Paulo C. ; Penteado, Rosangela A.D ; Braga, Rosana T.V
• Extending statecharts with process algebra operators
  Frappier, Marc ; Gervais, Frédéric ; Laleau, Régine ; Fraikin, Benoît ; St-Denis, Richard
• Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1
  Kim, Hye Yeon ; Sheldon, Frederick T.
• Mechanized semantics and refinement of UML-Statecharts
  Sheng, Feng ; Dou, Liang ; Yang, Zong-yuan
• Erzeugung von Statecharts aus Sequence Charts
  Miesling, Daniel 2008 GRIN Verlag
• Spezifikation einer Lichtsignalanlage mit Statecharts
  Guhe, Markus 1997 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• Yakindu SCT Plugin für die Generierung von endlichen Automaten in Swift
  Mettke, Marc 2017 GRIN Verlag
• UML-based specification of state oriented real time properties
  Flake, Stephan 2003 Shaker
• Identifikation von Sicherheitsrisiken in verfahrenstechnischen Prozessen unter Einsatz von Statecharts in frühen Phasen der Anlagenplanung
  Grüger, Matthias 2007 Shaker
• Ressourcenadaptive Anwendungen für die operative Prozessleittechnik
  Grüner, Sten 2017 VDI Verlag GmbH
• Computing abstract models for verifying reactive systems
  Firley, Thomas 2005 Shaker
• SCCharts: sequentially constructive statecharts for safety-critical applications
  Hanxleden von, Reinhard 2014 Institut für Informatik, Christian-Albrechts-Universität zu Kiel
• Steps for statecharts – a tool based, comparative study
  John, Sebastian 2003 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• Conformance testing for statecharts
  Seifert, Dirk ; Helke, Steffen ; Santen, Thomas 2003 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• Model-checking zur Analyse von message sequence charts über stacharts
  Canver, Ercüment 1999 Univ., Fak. für Informatik
• Action nets and abstract statecharts in the theory of high level replacement systems
  Ehrig, Hartmut ; Gajewsky, Magda ; Padberg, Julia 1997 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• Generierung domänenspezifischer Transformationssprachen
  Weisemöller, Ingo 2012 Shaker
• Model-Checking zur Analyse von Message Sequence Charts über Statecharts
  Canver, Ercüment 2010 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Analysis and correctness of algebraic graph and model transformations
  Golas, Ulrike 2011 Vieweg + Teubner