Preface: Special issue on Software Engineering and Formal Methods - Archive ouverte HAL Access content directly
Special Issue Software and Systems Modeling Year : 2021

Preface: Special issue on Software Engineering and Formal Methods

(1) , (2)
1
2

Abstract

This special section of Software and Systems Modeling contains extended versions of selected papers from the 17th International Conference on Software Engineering and Formal Methods (SEFM), which was held in Oslo, Norway, in September 2019. SEFM'2019 was the seventeenth edition of an annual series of conferences that aims at bringing together leading researchers and practitioners from academia and industry to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. The six articles of this special section present contributions in machine learning, session types, runtime verification, reproducible execution, and model-based testing.
Fichier principal
Vignette du fichier
preface_sosym_sefm_2019.pdf (47.83 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03507829 , version 1 (03-01-2022)

Identifiers

Cite

Peter Csaba C Ölveczky, Gwen Salaün. Preface: Special issue on Software Engineering and Formal Methods. Software and Systems Modeling, 20 (2), pp.291-292, 2021, ⟨10.1007/s10270-021-00874-1⟩. ⟨hal-03507829⟩
26 View
19 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More