Logo - springer
Slogan - springer

Computer Science - Software Engineering | Software Language Engineering - 5th International Conference, SLE 2012, Dresden, Germany, September

Software Language Engineering

5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

Czarnecki, Krzysztof, Hedin, Görel (Eds.)

2013, XII, 413 p. 172 illus.

Available Formats:

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.


(net) price for USA

ISBN 978-3-642-36089-3

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase

learn more about Springer eBooks

add to marked items


Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.


(net) price for USA

ISBN 978-3-642-36088-6

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days

add to marked items

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility
This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Software Language Engineering, SLE 2012, held in Dresden, Germany, in September 2012. The 17 papers presented together with 2 tool demonstration papers were carefully reviewed and selected from 62 submissions. SLE’s foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific technical spaces.

Content Level » Research

Keywords » attribute grammars - metamodeling - model transformation - ontology - parsing

Related subjects » Artificial Intelligence - Software Engineering - Theoretical Computer Science

Table of contents 

Addressing Cognitive and Social Challenges in Designing and Using Ontologies in the Biomedical Domain.- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs.- Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation.- Termination Analysis for Higher-Order Attribute Grammars.- Metamodelling for Grammarware Researchers.- Temporal Constraint Support for OCL.- The Program Is the Model: Enabling Transformations @run.time.- A Framework for Bidirectional Model-to-Platform Transformations.- Model Transformation Co-evolution: A Semi-automatic Approach.- Guided Merging of Sequence Diagrams.- Bridging the Chasm between Executable Metamodeling and Models of Computation.- Grammatical Inference in Software Engineering: An Overview of the State of the Art.- Island Grammar-Based Parsing Using GLL and Tom.- Layout-Sensitive Generalized Parsing.- PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars.- TouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design.- A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling.- Declarative Name Binding and Scope Rules.- On the Reusable Specification of Non-functional Properties in DSLs.- Modular Well-Definedness Analysis for Attribute Grammars.- Meta-language Support for Type-Safe Access to External Resources.- Approaches and Tools for Implementing Type Systems in Xtext.

Popular Content within this publication 



Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Programming Languages, Compilers, Interpreters.