Logo des Repositoriums
 
Zeitschriftenartikel

Recognition of Real-World State-Based Synchronization

Vorschaubild

Volltext URI

Dokumententyp

Text/Journal Article

Dateien

05_M_Wittiger.pdf (99.42 KB)

Zusatzinformation

Datum

2015

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Softwaretechnik-Trends Band 35, Heft 2
Berichte aus den Fachgruppen und Arbeitskreisen - FG SRE: Bericht und Beiträge vom 17. Workshop "Software-Reengineering und -Evolution" der GI-Fachgruppe Software-Reengineering, 04.-06. Mai 2015 in Bad Honnef

Verlag

Geselllschaft für Informatik e.V.

Zusammenfassung

In the real world, safety-critical embedded systems use state-based synchronization to avoid data races. Using constraint solving to tackle state, we have improved upon existing static data race analysis.

Beschreibung

Wittiger, Martin; Felden, Timm (2015): Recognition of Real-World State-Based Synchronization. Softwaretechnik-Trends Band 35, Heft 2. Bonn: Geselllschaft für Informatik e.V.. PISSN: 0720-8928. Berichte aus den Fachgruppen und Arbeitskreisen - FG SRE: Bericht und Beiträge vom 17. Workshop "Software-Reengineering und -Evolution" der GI-Fachgruppe Software-Reengineering, 04.-06. Mai 2015 in Bad Honnef

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

Softwaretechnik-Trends 35(2) - 2015