The SLCO framework for verified, model-driven construction of component software

Sander de Putter, Anton Wijs, Dan Zhang

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)
1 Downloads (Pure)

Samenvatting

We present the Simple Language of Communicating Objects (Slco) framework, which has resulted from our research on applying formal methods for correct and efficient model-driven development of multi-component software. At the core is a domain specific language called Slco that specifies software behaviour. In this paper, we discuss the language, give an overview of the features of the framework, and discuss our roadmap for the future.

Originele taal-2Engels
TitelFormal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings
RedacteurenPeter Csaba Ölveczky, Kyungmin Bae
Plaats van productieCham
UitgeverijSpringer
Pagina's288-296
Aantal pagina's9
ISBN van elektronische versie978-3-030-02146-7
ISBN van geprinte versie978-3-030-02145-0
DOI's
StatusGepubliceerd - 1 jan. 2018
Evenement15th International Conference on Formal Aspects of Component Software, FACS 2018 - Pohang, Zuid-Korea
Duur: 10 okt. 201812 okt. 2018

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11222 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Congres

Congres15th International Conference on Formal Aspects of Component Software, FACS 2018
Land/RegioZuid-Korea
StadPohang
Periode10/10/1812/10/18

Financiering

Sander de Putter—This work is supported by ARTEMIS Joint Undertaking project EMC2 (grant nr. 621429). Dan Zhang—This work is supported by the 4TU-NIRICT project ViGARO.

Vingerafdruk

Duik in de onderzoeksthema's van 'The SLCO framework for verified, model-driven construction of component software'. Samen vormen ze een unieke vingerafdruk.

Citeer dit