Software Language Engineering
Subtitle: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
By: edited by Krzysztof Czarnecki, Görel Hedin
Contributors: Hedin, Görel; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7745
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2013
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 413
ISBN-13: 9783642360893
Subjects: Mathematical Logic and Formal Languages; Information Systems; Software engineering; Simulation and Modeling; Computer simulation; Computer science; Management of Computing and Information Systems; Programming Languages, Compilers, Interpreters; Artificial intelligence; Artificial Intelligence (incl. Robotics)
Description: 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.
Table of contents: title: Addressing Cognitive and Social Challenges in Designing and Using Ontologies in the Biomedical Domain; title: Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs; title: Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation; title: Termination Analysis for Higher-Order Attribute Grammars; title: Metamodelling for Grammarware Researchers; title: Temporal Constraint Support for OCL; title: The Program Is the Model: Enabling Transformations @run.time; title: A Framework for Bidirectional Model-to-Platform Transformations; title: Model Transformation Co-evolution: A Semi-automatic Approach; title: Guided Merging of Sequence Diagrams; title: Bridging the Chasm between Executable Metamodeling and Models of Computation; title: Grammatical Inference in Software Engineering: An Overview of the State of the Art; title: Island Grammar-Based Parsing Using GLL and Tom; title: Layout-Sensitive Generalized Parsing; title: PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars; title: TouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design; title: A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling; title: Declarative Name Binding and Scope Rules; title: On the Reusable Specification of Non-functional Properties in DSLs; title: Modular Well-Definedness Analysis for Attribute Grammars; title: Meta-language Support for Type-Safe Access to External Resources; title: Approaches and Tools for Implementing Type Systems in Xtext.