„Statechart“

Suchergebnisse

1.000+ Treffer

• Analysis and Correctness of Algebraic Graph and Model Transformations
  2011 Vieweg+Teubner
• Consistency Management of Object-Oriented Behavioral Models
  Küster, Jochen M. 2004 Shaker
• 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
• Generierung domänenspezifischer Transformationssprachen
  Weisemöller, Ingo 2012 Shaker
• On the role of nondeterminism and refinement in model-driven top-down development of software systems
  Schmidt, Heiko 2009 Universitätsbibliothek Kiel
• Efficient development of complex statecharts
  Prochnow, Steffen 2009 Universitätsbibliothek Kiel
• Applying the engineering statechart formalism to the evaluation of soft real-time in operating systems – a use case tailored modeling and analysis technique
  Koenen-Dresp, Alexander
• Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion
  Helke, Steffen
• Model checking combined Z and statechart specifications
  Büssow, Robert
• Semantics of form oriented analysis
  Weber, Gerald
• Developing concepts and methods for module and integration tests for models of reactive systems
  Kyeyune, Yusufu
• Formale Fehlerbaumanalyse
  Thums, Andreas
• Optimierte automatische Statechart-Implementierungen im Software- und Hardware-Entwurf eingebetteter Systeme
  Ackad, Jean-Claude
• Interactive verification of statecharts
  Thums, Andreas ; Schellhorn, Gerhard ; Ortmeier, Frank ; Reif, Wolfgang ; Ehrig, Hartmut ; Damm, Werner ; Desel, Jörg ; Große-Rhode, Martin ; Schnieder, Eckehard ; Westkämper, Engelbert 2004 Universität Augsburg
• Transformation erweiterter Zustandsmaschinen aus UML-Statecharts unter Verwendung von XMI
  Böddeker, Rudolf 2005 Diplom.de
• Visuelle Spezifikation interaktiver Softwaresysteme
  Memmel, Thomas ; Heilig, Mathias ; Schwarz, Tobias ; Reiterer, Harald 2007 Bibliothek der Universität Konstanz
• Behavioural Customisation of State Machine Models
  Hofer, Josef ; Becker, Martin 2022 Technische Universität Kaiserslautern
• Web Engineering mit XML Technologien
  Sayih, Marouane 2016 Verlag Dr. Hut
• Transformation erweiterter Zustandsmaschinen aus UML-Statecharts unter Verwendung von XMI
  Böddeker, Rudolf 2005 Diplom.de