Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Latex: a document preparation system
Latex: a document preparation system
The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
Domain analysis: from art form to engineering discipline
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Lex—a lexical analyzer generator
UNIX Vol. II
Action semantics
Generation of formatters for context-free languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Little languages: little maintenance
Journal of Software Maintenance: Research and Practice
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Software—Practice & Experience
Domain-specific languages: an annotated bibliography
ACM SIGPLAN Notices
An open graph visualization system and its applications to software engineering
Software—Practice & Experience - Special issue on discrete algorithm engineering
Letters to the editor: go to statement considered harmful
Communications of the ACM
The next 700 programming languages
Communications of the ACM
Types and programming languages
Types and programming languages
From Airline Reservations to Sonic the Hedgehog (History of Computing Series): A History of the Software Industry
Disambiguation Filters for Scannerless Generalized LR Parsers
CC '02 Proceedings of the 11th International Conference on Compiler Construction
Eclipse Modeling Framework
IEEE Software
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
CMOF-Model Semantics and Language Mapping for MOF 2.0 Implementations
MBD-MOMPES '06 Proceedings of the Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
The Definitive ANTLR Reference: Building Domain-Specific Languages
The Definitive ANTLR Reference: Building Domain-Specific Languages
Oracle PL/SQL Programming, 4th Edition
Oracle PL/SQL Programming, 4th Edition
A Systematic Approach to Domain-Specific Language Design Using UML
ISORC '07 Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
The jastadd extensible java compiler
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Software/Hardware Engineering with the Parallel Object-Oriented Specification Language
MEMOCODE '07 Proceedings of the 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign
Semi-automatic Generation of Metamodels and Models From Grammars and Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
WebDSL: a domain-specific language for dynamic web applications
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Software Engineering: Principles and Practice
Software Engineering: Principles and Practice
Software Language Engineering: Creating Domain-Specific Languages Using Metamodels
Software Language Engineering: Creating Domain-Specific Languages Using Metamodels
Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit
Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit
Model-Driven Engineering Meets Generic Language Technology
Software Language Engineering
An efficient context-free parsing algorithm for natural languages
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
A Taxonomy of Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
A domain-specific language for experimental game theory
Journal of Functional Programming
A pattern matching compiler for multiple target languages
CC'03 Proceedings of the 12th international conference on Compiler construction
Parser combinators for ambiguous left-recursive grammars
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Electronic Notes in Theoretical Computer Science (ENTCS)
An exercise in iterative domain-specific language design
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE)
Formally specified type checkers for domain specific languages: experience report
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
The spoofax language workbench: rules for declarative specification of languages and IDEs
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Xtext: implement your language faster than the quick and dirty way
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Applying attribute grammars for metamodel semantics
Proceedings of the International Workshop on Formalization of Modeling Languages
EASY meta-programming with Rascal
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Parsing Techniques: A Practical Guide
Parsing Techniques: A Practical Guide
LDT: a language definition technique
Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
Safety, Dependability and Performance Analysis of Extended AADL Models
The Computer Journal
LL(*): the foundation of the ANTLR parser generator
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
ICSTW '11 Proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops
A DSL for writing type systems for Xtext languages
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Rôle of domain engineering in software development—why current requirements engineering is flawed !
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Formal methods meet domain specific languages
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Formalizing a domain specific language using SOS: an industrial case study
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
A K-based formal framework for domain-specific modelling languages
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Formal specification and testing of model transformations
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
| Hi-index | 0.00 |
Small languages are gaining popularity in the software engineering community. The development of MOF and EMF has given the Domain Specific Language community a tremendous boost. In this tutorial the basic aspects of model driven engineering in combination with Domain Specific Languages will be discussed. The focus is on textual Domain Specific Languages developed using the language invention pattern. The notion of abstract syntax will be linked to metamodels as well as the definition of concrete syntax. Defining static and dynamic semantics will be discussed. A small but non trivial Domain Specific Language SLCO will be used to illustrate our ideas.