Krzysztof Czarnecki, Görel Hedin
Revised Selected Papers of the Fifth International Conference on Software Language Engineering
SLE, 2012.

@proceedings{SLE-2012,
	address       = "Dresden, Germany",
	doi           = "10.1007/978-3-642-36089-3",
	editor        = "Krzysztof Czarnecki and Görel Hedin",
	isbn          = "['978-3-642-36088-6', '978-3-642-36089-3']",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the Fifth International Conference on Software Language Engineering}",
	volume        = 7745,
	year          = 2012,
}

Committee

Contents (22 items)

3 ×#analysis
3 ×#attribute grammar
2 ×#design
2 ×#grammarware
2 ×#metamodelling
2 ×#modelling
2 ×#named
2 ×#parsing
2 ×#using

SLE-2012-Storey #challenge #design #ontology #social #using

Addressing Cognitive and Social Challenges in Designing and Using Ontologies in the Biomedical Domain (MADS), pp. 1–3.

SLE-2012-StormCL

Object Grammars (TvdS, WRC, AL), pp. 4–23.

SLE-2012-Sloane #abstraction #analysis #attribute grammar

Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation (AMS), pp. 24–43.

SLE-2012-KrishnanW #analysis #attribute grammar #higher-order #termination

Termination Analysis for Higher-Order Attribute Grammars (LK, EVW), pp. 44–63.

SLE-2012-PaigeKP #grammarware #metamodelling #research

Metamodelling for Grammarware Researchers (RFP, DSK, FACP), pp. 64–82.

SLE-2012-KansoT #constraints #ocl

Temporal Constraint Support for OCL (BK, ST), pp. 83–103.

SLE-2012-CuadradoGL #runtime

The Program Is the Model: Enabling Transformations@run.time (JSC, EG, JdL), pp. 104–123.

SLE-2012-AnjorinSRS #bidirectional #framework #platform

A Framework for Bidirectional Model-to-Platform Transformations (AA, KS, SR, AS), pp. 124–143.

SLE-2012-GarciaDA #approach #automation #co-evolution #model transformation

Model Transformation Co-evolution: A Semi-automatic Approach (JG, OD, MA), pp. 144–163.

SLE-2012-WidlBBEHKST #diagrams #sequence chart

Guided Merging of Sequence Diagrams (MW, AB, PB, UE, MH, GK, MS, HT), pp. 164–183.

SLE-2012-CombemaleHJBB #execution #metamodelling #modelling

Bridging the Chasm between Executable Metamodeling and Models of Computation (BC, CH, CJ, FB, BB), pp. 184–203.

SLE-2012-StevensonC #grammar inference #overview #re-engineering #state of the art

Grammatical Inference in Software Engineering: An Overview of the State of the Art (AS, JRC), pp. 204–223.

SLE-2012-AfroozehBBJMMS #gll #grammarware #semiparsing #using

Island Grammar-Based Parsing Using GLL and Tom (AA, JCB, MvdB, AJ, MM, PEM, ES), pp. 224–243.

SLE-2012-ErdwegRKO #generalised parsing #parsing

Layout-Sensitive Generalized Parsing (SE, TR, CK, KO), pp. 244–263.

SLE-2012-BarenghiVCMP #generative #named #parallel #parsing #precedence

PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars (AB, EV, SCR, DM, MP), pp. 264–274.

SLE-2012-AbedBSYAK #aspect-oriented #design #multi #named

TouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design (WAA, VB, MS, EY, OA, JK), pp. 275–285.

SLE-2012-GuizzardiZ #concept #modelling

A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling (GG, VZ), pp. 286–310.

SLE-2012-KonatKWV #declarative

Declarative Name Binding and Scope Rules (GDPK, LCLK, GW, EV), pp. 311–331.

SLE-2012-DuranZT #domain-specific language #non-functional #on the #reuse #specification

On the Reusable Specification of Non-functional Properties in DSLs (FD, SZ, JT), pp. 332–351.

SLE-2012-KaminskiW #analysis #attribute grammar #composition

Modular Well-Definedness Analysis for Attribute Grammars (TK, EVW), pp. 352–371.

SLE-2012-HillsKV #metalanguage #type safety

Meta-language Support for Type-Safe Access to External Resources (MH, PK, JJV), pp. 372–391.

SLE-2012-BettiniSVC #implementation #tool support #type system #xtext

Approaches and Tools for Implementing Type Systems in Xtext (LB, DS, MV, SC), pp. 392–412.