Atjaunināt sīkdatņu piekrišanu

Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283 October 4, 2014. Proceedings 2014 ed. [Mīkstie vāki]

Edited by , Edited by , Edited by , Edited by , Edited by
  • Formāts: Paperback / softback, 688 pages, height x width: 235x155 mm, 227 Illustrations, black and white; XXVIII, 688 p. 227 illus., 1 Paperback / softback
  • Sērija : Programming and Software Engineering 8767
  • Izdošanas datums: 22-Sep-2014
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3319116525
  • ISBN-13: 9783319116525
  • Mīkstie vāki
  • Cena: 46,91 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 55,19 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
  • Formāts: Paperback / softback, 688 pages, height x width: 235x155 mm, 227 Illustrations, black and white; XXVIII, 688 p. 227 illus., 1 Paperback / softback
  • Sērija : Programming and Software Engineering 8767
  • Izdošanas datums: 22-Sep-2014
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3319116525
  • ISBN-13: 9783319116525
This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume were carefully reviewed and selected from a total of 126 submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and applications considered from theoretical and practical angles and in academic and industrial settings. The papers report on the use of modeling in a wide range of cloud, mobile, and web computing, model transformation behavioral modeling, MDE: past, present, future, formal semantics, specification, and verification, models at runtime, feature and variability modeling, composition and adaptation, practices and experience, modeling for analysis, pragmatics, model extraction, manipulation and persistence, querying, and reasoning.
Cloud, Mobile and Web Computing.- Model-Driven Development of Mobile
Applications Allowing Role-Driven Variants.- A Model-Based System to Automate
Cloud Resource Allocation and Optimization.- An Evaluation of the
Effectiveness of the Atomic Section Model.- Model Transformation 1.- Parsing
in a Broad Sense.- Streaming Model Transformations by Complex Event
Processing.- On the Use of Signatures for Source Incremental Model-to-text
Transformation.- Behavioral Modeling.- Modeling Systemic Behavior by
State-Based Holonic Modular Units.- Semantic Model Differencing Utilizing
Behavioral Semantics Specifications.- Formalizing Execution Semantics of UML
Profiles with fUML Models.- MDE: Past, Present and Future.-Who Knows/Uses
What of the UML: A Personal Opinion Survey.- Assessing the State-of-Practice
of Model-Based Engineering in the Embedded Systems Domain.- The Relevance of
Model-Driven Engineering Thirty Years from Now.- Formal Semantics,
Specification and Verification.- Verifying Compilation of Synchronous
Distributed Applications.- Environment-Centric Contracts for Design of
Cyber-Physical Systems.- Removing Redundancies and Deducing Equivalences in
UML Class Diagrams.- Models at Runtime.- A Native Versioning Concept to
Support Historized Models at Runtime.- Modelling Adaptation Policies as
Domain-Specific Constraints.- Scalable Armies of Model Clones through Data
Sharing.- Feature and Variability Modeling.- Three Cases of Feature-Based
Variability Modeling in Industry.- Supporting Multiplicity and Hierarchy in
Model-Based Configuration: Experiences and Lessons Learned.- Propagating
Decisions to Detect and Explain Conflicts in a Multi-step Configuration
Process.- Composition and Adaptation.- An MDA Approach for the Generation of
Communication Adapters Integrating SW and FW Components from Simulink.- A UML
Model-Driven Approach to Efficiently Allocate Complex Communication Schemes.-
Model-Integrating Software Components.- Practices and Experience.-
Experiences in Applying Model Driven Engineering to the Telescope and
Instrument Control System Domain.- Model Driven Grant Proposal Engineering.-
Agile Model-Driven Engineering in Mechatronic Systems - An Industrial Case
Study.- Modeling for Analysis.- Using UML for Modeling Procedural Legal
Rules: Approach and a Study of Luxembourgs Tax Law.- Resolution of
Interfering Product Fragments in Software Product Line Engineering.-
Ontology-Based Modeling of Context-Aware Systems.- Pragmatics.- Comprehending
Feature Models Expressed in CVL.- On the Impact of Layout Quality to
Understanding UML Diagrams: Size Matters.- Enabling the Development of
Cognitive Effective Visual DSLs.- Model Extraction, Manipulation and
Persistence.- JUMPFrom Java Annotations to UML Profiles.- SIGMA: Scala
Internal Domain-Specific Languages for Model Manipulations.- A Framework to
Benchmark NoSQL Data Stores for Large-Scale Model Persistence.- Model
Transformation 2.- Automated Chaining of Model Transformations with
Incompatible Metamodels.- Classification of Model Transformation Tools:
Pattern Matching Techniques.- Learning Implicit and Explicit Control in Model
Transformations by Example.- Querying and Reasoning IncQuery-D: A Distributed
Incremental Model Query Framework in the Cloud.- Translating OCL to Graph
Patterns.