Formal Validation of Domain-Specific Languages with Derived Features and Well-Formedness Constraints

TitleFormal Validation of Domain-Specific Languages with Derived Features and Well-Formedness Constraints
Publication TypeJournal Article
Year of Publication2015
AuthorsSemeráth, O., Barta, Á., Szatmári, Z., Horváth, Á., and Varró, D.
JournalInternational Journal on Software and Systems Modeling
Date Published07/2015
PDF: