Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Globalizing Domain-Specific Languages [[electronic resource] ] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
| Globalizing Domain-Specific Languages [[electronic resource] ] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XV, 89 p. 17 illus.) |
| Disciplina | 005.11 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer communication systems Computer logic Management information systems Computer science Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Computer Communication Networks Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-319-26172-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Foreword -- Dismantling the "Tower of Babel" -- Preface -- Organization -- Contents -- On the Globalization of Domain-Specific Languages -- 1 Introduction -- 2 Domain-Specific (Modeling) Languages -- 3 A Grand Challenge of the Globalization of DSLs: Looking Ahead -- 4 Motivating Scenarios for the Globalization of DSLs -- References -- Conceptual Model of the Globalization for Domain-Specific Languages -- 1 Towards a Conceptual Model of Globalization -- 2 Basic Terms -- 3 DSL Integration -- 4 Language Components and Interfaces -- 5 Globalization -- 6 Language Relations -- 7 Composition -- 8 Language Coordination -- 9 Language Integration -- 10 Towards the Conceptualisation of the Globalization of DSLs -- References -- Motivating Use Cases for the Globalization of DSLs -- 1 Introduction -- 2 Command and Control Wind Tunnel (C2WT) -- 2.1 Application: Evaluation of Command and Control Architectures in Mission Scenarios -- 2.2 Technical Challenges -- 2.3 Model Integration Challenge -- 2.4 A Model Integration Language Solution for C2WT -- 3 Smart Emergency Response System (SERS) -- 3.1 SERS as a Cyber-Physical System -- 3.2 SERS Design -- 3.3 A Smart Intersection -- 3.4 Formalism Integration -- 4 Research Challenges -- 4.1 Software Engineering Challenges Related to the Formal Foundation of Languages -- 4.2 Challenges Related to the (Re-) Construction of Domain-Specific Concepts -- 4.3 Thoughts on Possible Future Directions to Pursue -- References -- Globalized Domain Specific Language Engineering -- 1 Problem Statement -- 2 Motivating Examples -- 2.1 Complementary City Maps -- 2.2 House Building -- 2.3 The A380 Wiring Issue -- 2.4 Tool Bug Fixes -- 3 Basic Notions of Language Integration -- 3.1 Correspondences by Level -- 3.2 Language Relationships -- 3.3 Frames of Reference -- 4 Approaches to Language Composition.
5 Dimensions for Language and Tool Integration -- 5.1 Referencing/Explicit Frames of Reference (Based on the Same Infrastructure/Meta Meta Model) -- 5.2 Language Embedding -- 5.3 Language Extension (Adding New Language Constructs) -- 5.4 Externally Defined Correspondences (with Associated Constraints and Consistency Checks) -- 5.5 All in One Tool vs. Different Tools -- 5.6 Process Aspects: Maybe We Should Stick with the Same Tool -- 5.7 Tool/IDE Integration (Without Language Integration) -- 5.8 Interactivity: Realtime Sync, File Exchange, Shared DB -- 5.9 Collaborative Modeling -- 6 Language Variants (i.e., Parallel Globalization) -- 6.1 Dialects vs. Related Languages -- 6.2 Variability Management -- 6.3 Challenges in Languages Variability Management -- 7 Language Evolution, Refactoring, Retirement (i.e., Sequential Globalization) -- References -- Domain Globalization: Using Languages to Support Technical and Social Coordination -- 1 Context -- 2 State of Art -- 2.1 Tool Composition Frameworks -- 2.2 Model Composition Frameworks -- 2.3 Language Composition Frameworks -- 3 Open Challenges -- 3.1 Composition of Multiple DSLs -- 3.2 Collaboration in a Globalized Environment -- 4 Conclusion -- References -- Author Index. |
| Record Nr. | UNISA-996466443803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
| Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XV, 89 p. 17 illus.) |
| Disciplina | 005.11 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer communication systems Computer logic Management information systems Computer science Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Computer Communication Networks Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-319-26172-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Foreword -- Dismantling the "Tower of Babel" -- Preface -- Organization -- Contents -- On the Globalization of Domain-Specific Languages -- 1 Introduction -- 2 Domain-Specific (Modeling) Languages -- 3 A Grand Challenge of the Globalization of DSLs: Looking Ahead -- 4 Motivating Scenarios for the Globalization of DSLs -- References -- Conceptual Model of the Globalization for Domain-Specific Languages -- 1 Towards a Conceptual Model of Globalization -- 2 Basic Terms -- 3 DSL Integration -- 4 Language Components and Interfaces -- 5 Globalization -- 6 Language Relations -- 7 Composition -- 8 Language Coordination -- 9 Language Integration -- 10 Towards the Conceptualisation of the Globalization of DSLs -- References -- Motivating Use Cases for the Globalization of DSLs -- 1 Introduction -- 2 Command and Control Wind Tunnel (C2WT) -- 2.1 Application: Evaluation of Command and Control Architectures in Mission Scenarios -- 2.2 Technical Challenges -- 2.3 Model Integration Challenge -- 2.4 A Model Integration Language Solution for C2WT -- 3 Smart Emergency Response System (SERS) -- 3.1 SERS as a Cyber-Physical System -- 3.2 SERS Design -- 3.3 A Smart Intersection -- 3.4 Formalism Integration -- 4 Research Challenges -- 4.1 Software Engineering Challenges Related to the Formal Foundation of Languages -- 4.2 Challenges Related to the (Re-) Construction of Domain-Specific Concepts -- 4.3 Thoughts on Possible Future Directions to Pursue -- References -- Globalized Domain Specific Language Engineering -- 1 Problem Statement -- 2 Motivating Examples -- 2.1 Complementary City Maps -- 2.2 House Building -- 2.3 The A380 Wiring Issue -- 2.4 Tool Bug Fixes -- 3 Basic Notions of Language Integration -- 3.1 Correspondences by Level -- 3.2 Language Relationships -- 3.3 Frames of Reference -- 4 Approaches to Language Composition.
5 Dimensions for Language and Tool Integration -- 5.1 Referencing/Explicit Frames of Reference (Based on the Same Infrastructure/Meta Meta Model) -- 5.2 Language Embedding -- 5.3 Language Extension (Adding New Language Constructs) -- 5.4 Externally Defined Correspondences (with Associated Constraints and Consistency Checks) -- 5.5 All in One Tool vs. Different Tools -- 5.6 Process Aspects: Maybe We Should Stick with the Same Tool -- 5.7 Tool/IDE Integration (Without Language Integration) -- 5.8 Interactivity: Realtime Sync, File Exchange, Shared DB -- 5.9 Collaborative Modeling -- 6 Language Variants (i.e., Parallel Globalization) -- 6.1 Dialects vs. Related Languages -- 6.2 Variability Management -- 6.3 Challenges in Languages Variability Management -- 7 Language Evolution, Refactoring, Retirement (i.e., Sequential Globalization) -- References -- Domain Globalization: Using Languages to Support Technical and Social Coordination -- 1 Context -- 2 State of Art -- 2.1 Tool Composition Frameworks -- 2.2 Model Composition Frameworks -- 2.3 Language Composition Frameworks -- 3 Open Challenges -- 3.1 Composition of Multiple DSLs -- 3.2 Collaboration in a Globalized Environment -- 4 Conclusion -- References -- Author Index. |
| Record Nr. | UNINA-9910484507103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the first Workshop on the Globalization of Domain Specific Languages
| Proceedings of the first Workshop on the Globalization of Domain Specific Languages |
| Autore | Combemale Benoit |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2013 |
| Descrizione fisica | 1 online resource (38 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2043-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | GlobalDSL '13 |
| Record Nr. | UNINA-9910375898503321 |
Combemale Benoit
|
||
| [Place of publication not identified], : ACM, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SLE '17 : proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering : October 23-24, 2017, Vancouver, BC, Canada / / edited by Benoit Combemale, Marjan Mernik, and Bernhard Rumpe ; sponsored by ACM SIGPLAN
| SLE '17 : proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering : October 23-24, 2017, Vancouver, BC, Canada / / edited by Benoit Combemale, Marjan Mernik, and Bernhard Rumpe ; sponsored by ACM SIGPLAN |
| Pubbl/distr/stampa | New York : , : ACM, , 2017 |
| Descrizione fisica | 1 online resource (267 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Software Language Engineering 2017 : proceedings of the 10th Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Software Language Engineering : October 23-24, 2017, Vancouver, BC, Canada
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering Proceedings of the 10th Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Software Language Engineering SPLASH '17 : Conference on Systems, Programming, Languages, and Applications: Software for Humanity : Vancouver, BC, Canada, October 23-27, 2017 Systems, Programming, Languages, and Applications: Software for Humanity 2017 |
| Record Nr. | UNINA-9910376041803321 |
| New York : , : ACM, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Language Engineering [[electronic resource] ] : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / / edited by Benoit Combemale, David Pearce, Olivier Barais, Jurgen Vinju
| Software Language Engineering [[electronic resource] ] : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / / edited by Benoit Combemale, David Pearce, Olivier Barais, Jurgen Vinju |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 354 p. 123 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Mathematical logic Artificial intelligence Computer simulation Management information systems Computer science Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Artificial Intelligence Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-319-11245-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ProMoBox: A Framework for Generating Domain-Specific Property Languages -- A SAT-Based Debugging Tool for State Machines and Sequence Diagrams -- Towards User-Friendly Projectional -- Bounded Seas: Island Parsing Without Shipwrecks -- Eco: A Language Composition -- The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers -- Evaluating the Usability of a Visual Feature Modeling Notation -- A Metamodel Family for Role-Based Modeling and Programming Languages -- AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications -- fUML as an Assembly Language for Model Transformation -- Respect Your Parents: How Attribution and Rewriting Can Get Along -- Monto: A Disintegrated Development Environment -- Model Checking of CTL-Extended OCL Specifications -- Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation -- Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle -- Origin Tracking in Attribute Grammars -- Dynamic Scope Discovery for Model Transformations -- Streamlining Control Flow Graph Construction with DCFlow -- Test-Data Generation for Xtext (Tool Paper). |
| Record Nr. | UNISA-996199683903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Language Engineering : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / / edited by Benoit Combemale, David Pearce, Olivier Barais, Jurgen Vinju
| Software Language Engineering : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / / edited by Benoit Combemale, David Pearce, Olivier Barais, Jurgen Vinju |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 354 p. 123 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Mathematical logic Artificial intelligence Computer simulation Management information systems Computer science Programming Languages, Compilers, Interpreters Software Engineering Mathematical Logic and Formal Languages Artificial Intelligence Simulation and Modeling Management of Computing and Information Systems |
| ISBN | 3-319-11245-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ProMoBox: A Framework for Generating Domain-Specific Property Languages -- A SAT-Based Debugging Tool for State Machines and Sequence Diagrams -- Towards User-Friendly Projectional -- Bounded Seas: Island Parsing Without Shipwrecks -- Eco: A Language Composition -- The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers -- Evaluating the Usability of a Visual Feature Modeling Notation -- A Metamodel Family for Role-Based Modeling and Programming Languages -- AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications -- fUML as an Assembly Language for Model Transformation -- Respect Your Parents: How Attribution and Rewriting Can Get Along -- Monto: A Disintegrated Development Environment -- Model Checking of CTL-Extended OCL Specifications -- Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation -- Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle -- Origin Tracking in Attribute Grammars -- Dynamic Scope Discovery for Model Transformations -- Streamlining Control Flow Graph Construction with DCFlow -- Test-Data Generation for Xtext (Tool Paper). |
| Record Nr. | UNINA-9910483063503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||