Industrial application of formal models generated from domain specific languages

DOI10.1007/978-3-319-30734-3_19MaRDI QIDQ2026802zbMATH OpenOpenAlexFDO

Authors Jozef Hooman

Publication date 20 May 2021

Full work available at URL https://doi.org/10.1007/978-3-319-30734-3_19

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans
• Formalizing and testing the consistency of DSL transformations
• Multilevel coupled model transformations for precise and reusable definition of model behaviour
• scientific article; zbMATH DE number 1926608
• scientific article; zbMATH DE number 1746449

Cited in

(3)

• Multilevel coupled model transformations for precise and reusable definition of model behaviour
• Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans
• Formalizing and testing the consistency of DSL transformations

This page was built for publication: Industrial application of formal models generated from domain specific languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2026802)