Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view

Q Ma, M Kaczmarek-Heß, S de Kinderen - Software and Systems Modeling, 2023 - Springer
Enterprise models have the potential to constitute a valuable asset for organizations, eg, in
terms of enabling a variety of analyses or by fostering cross-organizational communication …

Example-driven software language engineering

M Barash - Proceedings of the 13th ACM SIGPLAN International …, 2020 - dl.acm.org
Language workbenches---tools to define software languages together with their IDEs---are
designed to simplify language engineering and implementation: they free language …

[PDF][PDF] Specifying software languages: Grammars, projectional editors, and unconventional approaches

M Barash - Norsk IKT-konferanse for forskning og utdanning, 2020 - core.ac.uk
We discuss several approaches for defining software languages, together with Integrated
Development Environments for them. Theoretical foundation is grammar-based models: they …