Logo des Repositoriums

P239 - Software Engineering & Management 2015

https://dl.gi.de/handle/20.500.12116/21184
Auflistung nach:

Auflistung P239 - Software Engineering & Management 2015 nach Autor:in "Aguado, Joaquń"

1 - 1 von 1
  • Konferenzbeitrag
    Sequential constructiveness, sccharts for safety-critical applications
    (Software-engineering and management 2015, 2015) Hanxleden, Reinhard Von; Duderstadt, Björn; Fuhrmann, Insa; Motika, Christian; Smyth, Steven; Mendler, Michael; Aguado, Joaquń; Loftus-Mercer, Stephen; O'brien, Owen
    We present a new visual language, SCCharts, designed for the model-driven engineering of safety-critical reactive systems. SCCharts provide determinate concurrency based on a synchronous model of computation (MoC), without restrictions common to previous synchronous MoCs.