Logo des Repositoriums
 

Sequential constructiveness, sccharts for safety-critical applications

dc.contributor.authorHanxleden, Reinhard Von
dc.contributor.authorDuderstadt, Björn
dc.contributor.authorFuhrmann, Insa
dc.contributor.authorMotika, Christian
dc.contributor.authorSmyth, Steven
dc.contributor.authorMendler, Michael
dc.contributor.authorAguado, Joaquń
dc.contributor.authorLoftus-Mercer, Stephen
dc.contributor.authorO'brien, Owen
dc.contributor.editorAßmann, Uwe
dc.contributor.editorDemuth, Birgit
dc.contributor.editorSpitta, Thorsten
dc.contributor.editorPüschel, Georg
dc.contributor.editorKaiser, Ronny
dc.date.accessioned2017-06-30T20:56:11Z
dc.date.available2017-06-30T20:56:11Z
dc.date.issued2015
dc.description.abstractWe 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.en
dc.identifier.isbn978-3-88579-633-6
dc.identifier.pissn1617-5468
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSoftware-engineering and management 2015
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-239
dc.titleSequential constructiveness, sccharts for safety-critical applicationsen
dc.typeText/Conference Paper
gi.citation.endPage117
gi.citation.publisherPlaceBonn
gi.citation.startPage116
gi.conference.date17.-20. März 2015
gi.conference.locationDresden

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
116.pdf
Größe:
291.94 KB
Format:
Adobe Portable Document Format