„sequence chart“

Suchergebnisse

71 Treffer

• Live sequence charts applied to hardware requirements specification and verification – A VCI bus interface model
  Bunker, Annette ; Gopalakrishnan, Ganesh ; Slind, Konrad
• Runtime verification of railway applications with extended live sequence charts
  Chai, Ming 2016 Shaker Verlag
• MSCar: Enhancing Message Sequence Charts with Interactivity for Analysing (Automotive) Communication Sequences
  Sedlmair, Michael 2009 Technische Universität Berlin
• Improving Live Sequence Chart to Automata Transformation for Verification
  Kumar, Rahul ; Mercer, Eric G 2008 Technische Universität Berlin
• Performance message sequence chart - Sprache zur Leistungsvorhersage mittels der Generierung eines Prototypen im Kontext des Protokollentwurfs mit SDL und MSC
  Kerber, Kai Lennard
• Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (eingebetteten) Systemen
  Patzina, Sven
• Architecture of a Requirements and Design Tool Based on Message Sequence Charts
  Ben-Abdallah, Hanêne ; Leue, Stefan 2008 Bibliothek der Universität Konstanz
• On the semantics of message sequence charts
  Ladkin, Peter B. ; Leue, Stefan 2012 Bibliothek der Universität Konstanz
• Comments on a Proposed Semantics for Basic Message Sequence Charts
  Ladkin, Peter B. ; Leue, Stefan 2008 Bibliothek der Universität Konstanz
• Synthesizing ROOM Models from Message Sequence Chart Specifications
  Leue, Stefan ; Mehrmann, Lars ; Rezai, Mohammad 2008 Bibliothek der Universität Konstanz
• Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
  Ben-Abdallah, Hanêne ; Leue, Stefan 2008 Bibliothek der Universität Konstanz