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

SLE 2014

19 papers

  1. A Metamodel Family for Role-Based Modeling and Programming Languages · Thomas Kühn, Max Leuthäuser, Sebastian Götz, Christoph Seidl, Uwe Aßmann
  2. A SAT-Based Debugging Tool for State Machines and Sequence Diagrams · Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
  3. AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications · Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
  4. Bounded Seas - - Island Parsing Without Shipwrecks · Jan Kurs, Mircea Lungu, Oscar Nierstrasz
  5. Dynamic Scope Discovery for Model Transformations · Maris Jukss, Clark Verbrugge, Dániel Varró, Hans Vangheluwe
  6. Eco: A Language Composition Editor · Lukas Diekmann, Laurence Tratt
  7. Evaluating the Usability of a Visual Feature Modeling Notation · Aleksandar Jaksic, Robert B. France, Philippe Collet, Sudipto Ghosh
  8. Model Checking of CTL-Extended OCL Specifications · Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl
  9. Monto: A Disintegrated Development Environment · Anthony M. Sloane, Matthew Roberts, Scott Buckley, Shaun Muscat
  10. Origin Tracking in Attribute Grammars · Kevin Williams, Eric Van Wyk
  11. ProMoBox: A Framework for Generating Domain-Specific Property Languages · Bart Meyers, Romuald Deshayes, Levi Lucio, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer
  12. Respect Your Parents: How Attribution and Rewriting Can Get Along · Anthony M. Sloane, Matthew Roberts, Leonard G. C. Hamey
  13. Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle · Tom Ridge
  14. Streamlining Control Flow Graph Construction with DCFlow · Mark Hills
  15. Test-Data Generation for Xtext - Tool Paper · Johannes Härtel, Lukas Härtel, Ralf Lämmel
  16. The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers · Andrei Chis, Tudor Gîrba, Oscar Nierstrasz
  17. Towards User-Friendly Projectional Editors · Markus Völter, Janet Siegmund, Thorsten Berger, Bernd Kolb
  18. Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation · Daco Harkes, Eelco Visser
  19. fUML as an Assembly Language for Model Transformation · Massimo Tisi, Frédéric Jouault, Jérôme Delatour, Zied Saidi, Hassene Choura