kirancodes.me
To Proof Maintenance & Beyond!
Venues / SLE /

SLE 2016

24 papers

  1. Adding uncertainty and units to quantity types in software models · Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo
  2. Automated testing support for reactive domain-specific modelling languages · Bart Meyers, Joachim Denil, István Dávid, Hans Vangheluwe
  3. BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment · Zhaoyi Luo, Joanne M. Atlee
  4. Coupled software transformations revisited · Ralf Lämmel
  5. DrAST: an inspection tool for attributed syntax trees (tool demo) · Joel Lindholm, Johan Thorsberg, Görel Hedin
  6. Efficient development of consistent projectional editors using grammar cells · Markus Voelter, Tamás Szabó, Sascha Lisson, Bernd Kolb, Sebastian Erdweg, Thorsten Berger
  7. Efficient model partitioning for distributed model transformations · Amine Benelallam, Massimo Tisi, Jesús Sánchez Cuadrado, Juan de Lara, Jordi Cabot
  8. Execution framework of the GEMOC studio (tool demo) · Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien Deantoni, Benoît Combemale
  9. Experiences of models@run-time with EMF and CDO · Daniel Seybold, Jörg Domaschka, Alessandro Rossini, Christopher B. Hauser, Frank Griesinger, Athanasios Tsitsipas
  10. FRaMED: full-fledge role modeling editor (tool demo) · Thomas Kühn, Kay Bierzynski, Sebastian Richly, Uwe Aßmann
  11. Language design and implementation for the domain of coding conventions · Boryana Goncharenko, Vadim Zaytsev
  12. MetaEdit+ for collaborative language engineering and language use (tool demo) · Juha-Pekka Tolvanen
  13. Object-oriented design pattern for DSL program monitoring · Zoé Drey, Ciprian Teodorov
  14. Parsing and reflective printing, bidirectionally · Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu
  15. Principled syntactic code completion using placeholders · Luís Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser
  16. Raincode assembler compiler (tool demo) · Volodymyr Blagodarov, Yves Jaradin, Vadim Zaytsev
  17. Redex: a language for lightweight semantics engineering (keynote) · Robby Bruce Findler
  18. Runtime support for rule-based access-control evaluation through model-transformation · Salvador Martínez Perez, Jokin García, Jordi Cabot
  19. Side effects take the blame · Felipe Bañados Schwerter
  20. Symbolic execution of high-level transformations · Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski
  21. Taming context-sensitive languages with principled stateful parsing · Nicolas Laurent, Kim Mens
  22. The IDE portability problem and its solution in Monto · Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg
  23. Towards a universal code formatter through machine learning · Terence Parr, Jurgen J. Vinju
  24. Xdiagram: a declarative textual DSL for describing diagram editors (tool demo) · André L. Santos, Eduardo Gomes