Introduction to the Special Issue on Specification and Design Languages

The Forum on specification and Design Languages (FDL) is an international event where academics and company representatives exchange their results, experiences, advances, and new trends related to languages, tools, and techniques for developing software and hardware systems. Targeted systems encompass cyber-physical systems, distributed systems, real-time systems, embedded systems, mechatronics, Internet of Things, and reactive systems. To allow for more in-depth treatment of selected contributions and to further broaden the audience, an open call was made for this special issue in ACM TECS. As a result, six articles have been selected, either as new submissions or as extensions of contributions formerly accepted at FDL 2022 or FDL 2023.