SLE 2016
24 papers
- Adding uncertainty and units to quantity types in software models
- Automated testing support for reactive domain-specific modelling languages
- BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment
- Coupled software transformations revisited
- DrAST: an inspection tool for attributed syntax trees (tool demo)
- Efficient development of consistent projectional editors using grammar cells
- Efficient model partitioning for distributed model transformations
- Execution framework of the GEMOC studio (tool demo)
- Experiences of models@run-time with EMF and CDO
- FRaMED: full-fledge role modeling editor (tool demo)
- Language design and implementation for the domain of coding conventions
- MetaEdit+ for collaborative language engineering and language use (tool demo)
- Object-oriented design pattern for DSL program monitoring
- Parsing and reflective printing, bidirectionally
- Principled syntactic code completion using placeholders
- Raincode assembler compiler (tool demo)
- Redex: a language for lightweight semantics engineering (keynote)
- Runtime support for rule-based access-control evaluation through model-transformation
- Side effects take the blame
- Symbolic execution of high-level transformations
- Taming context-sensitive languages with principled stateful parsing
- The IDE portability problem and its solution in Monto
- Towards a universal code formatter through machine learning
- Xdiagram: a declarative textual DSL for describing diagram editors (tool demo)