Model-Driven Engineering Languages and Systems
Springer International Publishing (Verlag)
978-3-319-11652-5 (ISBN)
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 Luxembourg's 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.- JUMP-From 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.
Erscheint lt. Verlag | 22.9.2014 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | XXVIII, 688 p. 227 illus. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 1077 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | Android • Automatic Code Generation • Cloud Computing • component-based modeling • context-aware • domain-specific language • Embedded Systems • genetic programming • Graph Transformations • Model Checking • Model-Driven Engineering • model driven software development • model transformation • resource optimization • Software engineering • Software Engineering / Softwareentwicklung • Softwareentwicklung • Software Product Lines • variability models • virtual testing • visual notation • web applications |
ISBN-10 | 3-319-11652-5 / 3319116525 |
ISBN-13 | 978-3-319-11652-5 / 9783319116525 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich