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

Edizione	[1st ed. 2012.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Descrizione fisica	1 online resource (XX, 828 p. 298 illus.)
Disciplina	005.1
Collana	Programming and Software Engineering
Soggetto topico	Programming languages (Electronic computers) Software engineering Computer logic Management information systems Computer science Computer simulation Computer system failures Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Management of Computing and Information Systems Simulation and Modeling System Performance and Evaluation
Soggetto genere / forma	Conference proceedings.
ISBN	3-642-33666-3
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language for Rapid Workflow -- Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time -- Dynamic Evolution of Context-Aware Systems with Models at Runtime -- An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements -- Automated and Transparent Model Fragmentation for Persisting Large Models -- Formally Defining and Iterating Infinite Models -- Query-Driven Soft Interconnection of EMF Models -- Modeling the Linguistic Architecture of Software Products -- Cross-Language Support Mechanisms Significantly Aid Software Development -- Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension -- Incremental Consistency Checking for Complex Design Rules and Larger Model Changes -- Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines -- Towards Business Application Product Lines -- Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines -- The Coroutine Model of Computation -- Assume-Guarantee Scenarios: Semantics and Synthesis -- An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development -- A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software -- Managing Related Models in Vehicle Control Software Development -- Detecting Specification Errors in Declarative Languages with Constraints -- From UML and OCL to Relational Logic and Back -- On Verifying ATL Transformations Using ‘off-the-shelf’ SMT Solvers -- ATLTest: A White-Box Test Generation Approach for ATL Transformations -- Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis -- Seeing Errors: Model Driven Simulation Trace Visualization -- A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data -- Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System -- Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines -- Generation of Operational Transformation Rules from Examples of Model Transformations -- Using Feature Model to Build Model Transformation Chains -- A Generic Approach Simplifying Model-to-Model Transformation Chains -- An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling -- Model Matching for Trace Link Generation in Model-Driven Software Development -- Matching Business Process Workflows across Abstraction Levels -- Experiences of Applying UML/MARTE on Three Industrial Projects -- Evaluating the Effort of Composing Design Models: A Controlled -- Transition to Model-Driven Engineering: What Is Revolutionary, What Remains the Same? -- Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions -- A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study -- Sensitivity Analysis in Model-Driven Engineering -- Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing -- Weaving-Based Configuration and Modular Transformation of Multi-layer Systems -- Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering -- An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design.
Altri titoli varianti	MODELS'12
Record Nr.	UNISA-996466189703316

Edizione	[1st ed. 2011.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Descrizione fisica	1 online resource (XIV, 396 p. 212 illus., 65 illus. in color.)
Disciplina	005.1
Collana	Programming and Software Engineering
Soggetto topico	Software engineering Computer logic Programming languages (Electronic computers) Computer communication systems Management information systems Computer science Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Management of Computing and Information Systems Programming Techniques
ISBN	3-642-21470-3
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Record Nr.	UNISA-996465428903316

Edizione	[1st ed. 2014.]
Pubbl/distr/stampa	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Descrizione fisica	1 online resource (X, 319 p. 89 illus.)
Disciplina	005.1
Collana	Programming and Software Engineering
Soggetto topico	Software engineering Computer programming Management information systems Computer science Computer simulation Software Engineering Programming Techniques Management of Computing and Information Systems Simulation and Modeling
ISBN	3-319-08915-3
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	A Reference Architecture and Roadmap for Models@run.time Systems -- Mechanisms for Leveraging Models at Runtime in Self-adaptive Software -- Living with Uncertainty in the Age of Runtime Models -- Using Models at Runtime to Address Assurance for Self-Adaptive Systems -- Model-Driven, Moving-Target Defense for Enterprise Network Security -- ModelLAND: Where Do Models Come from? -- From Model-Driven Software Development Processes to Problem Diagnoses at Runtime -- Research Challenges for Business Process Models at Runtime -- Fine-Grained Semi-automated Runtime Evolution -- Evolution as «Reflections on the Design» -- Safety Assurance of Open Adaptive Systems.
Record Nr.	UNISA-996213697803316

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