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

Software and Systems Modeling - Germany
doi 10.1007/s10270-015-0485-x
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Amalgamation of Domain Specific Languages With Behaviour

Journal of Logical and Algebraic Methods in Programming
SociologyInternational RelationsLogicCultural StudiesPolitical ScienceMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2017English

Practicing Domain-Specific Languages

2018English

Agile Engineering of Internal Domain-Specific Languages With Dynamic Programming Languages

2010English

Toward Live Domain-Specific Languages

Software and Systems Modeling
ModelingSoftwareSimulation
2017English

Systematically Deriving Domain-Specific Transformation Languages

2015English

Evaluating the Usability of Domain-Specific Languages

English

When and How to Develop Domain-Specific Languages

ACM Computing Surveys
Computer ScienceTheoretical Computer Science
2005English

Bridging the Gap Between Formal Languages and Natural Languages With Zippers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

A Survey on Domain-Specific Languages in Robotics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy