Auflistung nach Autor:in "Loftus-Mercer, Stephen"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragSequential 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, OwenWe 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.