BibSLEIGH — Proceedings of the Seventh International Conference on Software Language Engineering

Benoît Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju
Proceedings of the Seventh International Conference on Software Language Engineering
SLE, 2014.

SLE

@proceedings{SLE-2014,
	address       = "Västerås, Sweden",
	doi           = "10.1007/978-3-319-11245-9",
	editor        = "Benoît Combemale and David J. Pearce and Olivier Barais and Jurgen J. Vinju",
	isbn          = "978-3-319-11244-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh International Conference on Software Language Engineering}",
	volume        = 8706,
	year          = 2014,
}

Event page: http://www.sleconf.org/2014/

Committee

General Chair: Jurgen J. Vinju

Local Chair: Ivica Crnkovic

Panel Chair: Ralf Lämmel

Program Chairs: Benoît Combemale, David J. Pearce

Program Committee: Emilie Balland, Tony Clark, Zinovy Diskin, Martin Erwig, Anne Etien, Joerg Evermann, Jean-Marie Favre, Robert B. France, Andy Gill, Martin Gogolla, Pieter Van Gorp, Giancarlo Guizzardi, Görel Hedin, Markus Herrmannsdörfer, Jean-Marc Jézéquel, Thomas Kühne, Ralf Lämmel, Peter D. Mosses, Sean McDirmid, Kim Mens, Marjan Mernik, Pierre-Alain Muller, Nathaniel Nystrom, Klaus Ostermann, Oscar Nierstrasz, Richard F. Paige, Fiona Polack, Arnd Poetzsch-Heffter, Davide Di Ruscio, João Saraiva, Bran Selic, Jim Steel, Tijs van der Storm, Juha-Pekka Tolvanen, Michael W. Whalen, Eric Van Wyk, Steffen Zschaler

Publication Chair: Olivier Barais

Publicity Chair: Craig Anslow

Satellite Events Chair: Eric Van Wyk

Social Media Chair: Tijs van der Storm

Steering Chair: Mark van den Brand

Steering Committee: Martin Erwig, Richard F. Paige, Jean-Marie Favre, Anthony M. Sloane, Eric Van Wyk, Görel Hedin, Jurgen J. Vinju, Kim Mens, Krzysztof Czarnecki

Web Chair: Davy Landman

Contents (19 items)

SLE-2014-MeyersDLSVW #framework #generative #named: ProMoBox: A Framework for Generating Domain-Specific Property Languages (BM, RD, LL, ES, HV, MW), pp. 1–20.
SLE-2014-KaufmannKPSW #debugging #diagrams #satisfiability #sequence chart #state machine: A SAT-Based Debugging Tool for State Machines and Sequence Diagrams (PK, MK, AP, MS, MW), pp. 21–40.
SLE-2014-VolterSBK #editing #projectional #towards: Towards User-Friendly Projectional Editors (MV, JS, TB, BK), pp. 41–61.
SLE-2014-KursLN #bound #semiparsing: Bounded Seas — Island Parsing Without Shipwrecks (JK, ML, ON), pp. 62–81.
SLE-2014-DiekmannT #composition #editing #named: Eco: A Language Composition Editor (LD, LT), pp. 82–101.
SLE-2014-ChisGN #debugging #framework: The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers (AC, TG, ON), pp. 102–121.
SLE-2014-JaksicFCG #feature model #modelling #usability #visual notation: Evaluating the Usability of a Visual Feature Modeling Notation (AJ, RBF, PC, SG), pp. 122–140.
SLE-2014-KuhnLGSA #metamodelling #modelling #product line #programming language: A Metamodel Family for Role-Based Modeling and Programming Languages (TK, ML, SG, CS, UA), pp. 141–160.
SLE-2014-PredaGLMG #adaptation #distributed #framework #named: AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications (MDP, SG, IL, JM, MG), pp. 161–170.
SLE-2014-TisiJDSC #assembly #model transformation: fUML as an Assembly Language for Model Transformation (MT, FJ, JD, ZS, HC), pp. 171–190.
SLE-2014-SloaneRH #how: Respect Your Parents: How Attribution and Rewriting Can Get Along (AMS, MR, LGCH), pp. 191–210.
SLE-2014-SloaneRBM #development #ide #named: Monto: A Disintegrated Development Environment (AMS, MR, SB, SM), pp. 211–220.
SLE-2014-BillGKS #model checking #ocl #specification: Model Checking of CTL-Extended OCL Specifications (RB, SG, PK, MS), pp. 221–240.
SLE-2014-HarkesV #modelling #navigation: Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation (DH, EV), pp. 241–260.
SLE-2014-Ridge #combinator #context-free grammar #parsing #performance #using: Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle (TR), pp. 261–281.
SLE-2014-WilliamsW #attribute grammar: Origin Tracking in Attribute Grammars (KW, EVW), pp. 282–301.
SLE-2014-JukssVVV #model transformation: Dynamic Scope Discovery for Model Transformations (MJ, CV, DV, HV), pp. 302–321.
SLE-2014-Hills #control flow #graph: Streamlining Control Flow Graph Construction with DCFlow (MH), pp. 322–341.
SLE-2014-HartelHL #generative #testing #xtext: Test-Data Generation for Xtext — Tool Paper (JH, LH, RL), pp. 342–351.

Benoît Combemale, David J. Pearce, Olivier Barais, Jurgen J. VinjuProceedings of the Seventh International Conference on Software Language EngineeringSLE, 2014.

Event page: http://www.sleconf.org/2014/

Committee

Contents (19 items)

Benoît Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju
Proceedings of the Seventh International Conference on Software Language Engineering
SLE, 2014.