Software language engineering : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, revised selected papers
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 s...
Enregistré dans:
Auteurs principaux : | , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Software language engineering : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, revised selected papers / edited by Krzysztof Czarnecki, Görel Hedin |
Édition : | 1st ed. 2013. |
Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, [20..] Cham : Springer Nature |
Collection : | Programming and Software Engineering ; 7745 |
Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex |
Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
Contenu : | 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 |
Sujets : | |
Documents associés : | Autre format:
Software Language Engineering Autre format: Software Language Engineering |
LEADER | 05257clm a2200745 4500 | ||
---|---|---|---|
001 | PPN168329735 | ||
003 | http://www.sudoc.fr/168329735 | ||
005 | 20241001155200.0 | ||
010 | |a 978-3-642-36089-3 | ||
017 | 7 | 0 | |a 10.1007/978-3-642-36089-3 |2 DOI |
035 | |a (OCoLC)829434085 | ||
035 | |a Springer978-3-642-36089-3 | ||
035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-36089-3 | ||
035 | |a Springer-11645-978-3-642-36089-3 | ||
100 | |a 20130325f20 u |0frey0103 ba | ||
101 | 0 | |a eng |2 639-2 | |
102 | |a DE | ||
135 | |a dr||||||||||| | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c c |2 rdamedia | ||
182 | 1 | |6 z01 |a b | |
183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
200 | 1 | |a Software language engineering |e 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, revised selected papers |f edited by Krzysztof Czarnecki, Görel Hedin | |
205 | |a 1st ed. 2013. | ||
214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
214 | 2 | |a Cham |c Springer Nature |d [20..] | |
225 | 0 | |a Programming and Software Engineering |x 2945-9168 |v 7745 | |
327 | 1 | |a Addressing Cognitive and Social Challenges in Designing and Using Ontologies in the Biomedical Domain |a Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs |a Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation |a Termination Analysis for Higher-Order Attribute Grammars |a Metamodelling for Grammarware Researchers |a Temporal Constraint Support for OCL |a The Program Is the Model: Enabling Transformations @run.time |a A Framework for Bidirectional Model-to-Platform Transformations |a Model Transformation Co-evolution: A Semi-automatic Approach |a Guided Merging of Sequence Diagrams |a Bridging the Chasm between Executable Metamodeling and Models of Computation |a Grammatical Inference in Software Engineering: An Overview of the State of the Art |a Island Grammar-Based Parsing Using GLL and Tom |a Layout-Sensitive Generalized Parsing |a PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars |a TouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design |a A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling |a Declarative Name Binding and Scope Rules |a On the Reusable Specification of Non-functional Properties in DSLs |a Modular Well-Definedness Analysis for Attribute Grammars |a Meta-language Support for Type-Safe Access to External Resources |a Approaches and Tools for Implementing Type Systems in Xtext | |
330 | |a 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 | ||
371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
410 | | | |t Programming and Software Engineering |x 2945-9168 |v 7745 | |
452 | | | |t Software Language Engineering |b Texte imprimé |y 9783642360886 | |
452 | | | |t Software Language Engineering |b Texte imprimé |y 9783642360909 | |
610 | 1 | |a Computer Science | |
610 | 2 | |a Artificial Intelligence (incl. Robotics) | |
610 | 2 | |a Programming Languages, Compilers, Interpreters | |
610 | 2 | |a Mathematical Logic and Formal Languages | |
610 | 2 | |a Simulation and Modeling | |
610 | 2 | |a Management of Computing and Information Systems | |
610 | 2 | |a Software Engineering | |
610 | 2 | |a Artificial Intelligence. | |
610 | 2 | |a Formal Languages and Automata Theory | |
610 | 1 | |a Compilers and Interpreters | |
610 | 2 | |a Computer Modelling | |
610 | 2 | |a IT Operations | |
615 | |a @Computer Science |n 11645 |2 Springer | ||
615 | |a Computer Science |n 11645 |2 Springer | ||
676 | |a 005.13 |v 23 | ||
680 | |a QA76.7-76.73 | ||
680 | |a QA76.76.C65 | ||
701 | 1 | |a Czarnecki |b Krzysztof |4 651 | |
701 | 1 | |a Hedin |b Görel |4 651 | |
801 | 3 | |a FR |b Abes |c 20231126 |g AFNOR | |
801 | 1 | |a DE |b Springer |c 20220401 |g AACR2 | |
856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-36089-3 |z Accès sur la plateforme de l'éditeur | |
856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-XWR4CW74-5 |z Accès sur la plateforme Istex | |
856 | 4 | |5 441099901:830857184 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-36089-3 | |
915 | |5 441099901:830857184 |b SPRING13-00743 | ||
930 | |5 441099901:830857184 |b 441099901 |j g | ||
991 | |5 441099901:830857184 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:13 | ||
997 | |a NUM |b SPRING13-00743 |d NUMpivo |e EM |s d | ||
998 | |a 978573 |