Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review


    In 2009, the Simple Language of Communicating Objects (Slco) Domain-Specific Language was designed. Since then, a range of tools have been developed around this language to conduct research on a wide range of topics, all related to the construction of complex, component-based software, with formal verification being applied in every development step. In this paper, we present this range, and draw connections between the various, at first glance disparate, research results. We discuss the current status of the Slco framework, i.e., the language in combination with the tools, and plans for future work.

    Originele taal-2Engels
    TitelFormal Aspects of Component Software - 19th International Conference, FACS 2023, Revised Selected Papers
    RedacteurenJavier Cámara, Sung-Shik Jongmans
    Aantal pagina's22
    StatusGepubliceerd - 2024

    Publicatie series

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

    Bibliografische nota

    DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.


    Duik in de onderzoeksthema's van 'Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview.'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit