Powered by
18th ACM SIGPLAN International Workshop on Domain-Specific Modeling (DSM 2021), October 18, 2021,
Chicago, IL, USA
18th ACM SIGPLAN International Workshop on Domain-Specific Modeling (DSM 2021)
Frontmatter
Papers
PrintTalk: A Constraint-Based Imperative DSL for 3D Printing
Jef Jacobs,
Jens Nicolay,
Christophe De Troyer, and
Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{DSM21p11,
author = {Jef Jacobs and Jens Nicolay and Christophe De Troyer and Wolfgang De Meuter},
title = {PrintTalk: A Constraint-Based Imperative DSL for 3D Printing},
booktitle = {Proc.\ DSM},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3486603.3486778},
year = {2021},
}
Publisher's Version
Industrial Experiences with the Evolution of a DSL
Mathijs Schuts,
Marco Alonso, and
Jozef Hooman
(Philips, Netherlands; Radboud University Nijmegen, Netherlands; TNO, Netherlands)
@InProceedings{DSM21p21,
author = {Mathijs Schuts and Marco Alonso and Jozef Hooman},
title = {Industrial Experiences with the Evolution of a DSL},
booktitle = {Proc.\ DSM},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3486603.3486774},
year = {2021},
}
Publisher's Version
Co-designing DSL Quality Assurance Measures for and with Non-programming Experts
Holger Stadel Borum,
Christoph Seidl, and
Peter Sestoft
(IT University of Copenhagen, Denmark)
@InProceedings{DSM21p31,
author = {Holger Stadel Borum and Christoph Seidl and Peter Sestoft},
title = {Co-designing DSL Quality Assurance Measures for and with Non-programming Experts},
booktitle = {Proc.\ DSM},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3486603.3486776},
year = {2021},
}
Publisher's Version
Integration of Modeling and Verification for System Model Based on KARMA Language
Jie Ding,
Michel Reniers,
Jinzhi Lu,
Guoxin Wang,
Lei Feng, and
Dimitris Kiritsis
(Beijing Institute of Technology, China; Eindhoven University of Technology, Netherlands; EPFL, Switzerland; KTH, Sweden)
@InProceedings{DSM21p41,
author = {Jie Ding and Michel Reniers and Jinzhi Lu and Guoxin Wang and Lei Feng and Dimitris Kiritsis},
title = {Integration of Modeling and Verification for System Model Based on KARMA Language},
booktitle = {Proc.\ DSM},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3486603.3486775},
year = {2021},
}
Publisher's Version
Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling
Qishen Zhang,
Daniel Balasubramanian,
Tamas Kecskes, and
Janos Sztipanovits
(Vanderbilt University, USA)
@InProceedings{DSM21p51,
author = {Qishen Zhang and Daniel Balasubramanian and Tamas Kecskes and Janos Sztipanovits},
title = {Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling},
booktitle = {Proc.\ DSM},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3486603.3486779},
year = {2021},
}
Publisher's Version
proc time: 0.66