Model Driven Engineering Languages and Systems
Springer Berlin (Verlag)
978-3-642-33665-2 (ISBN)
Ruth Breu leitet das Institut für Informatik an der Universität Innsbruck. Sie ist Vice Chairperson des German Chapter of the ACM, Obfrau des Vereins der Interessengemeinschaft Informationssicherheit IG:IS, Mitglied der Jury des Tiroler Innovationspreises und Mitglied im wiss. Beirat von ARC Seibersdorf Information Technologies.
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 onSub-product Lines.- Towards Business Application Product Lines.- Inter-association Constraints in UML2: Comparative Analysis, UsageRecommendations, and Modeling Guidelines.- The Coroutine Model of Computation.- Assume-Guarantee Scenarios: Semantics and Synthesis.- An Exploratory Study of Forces and Frictions Affecting Large-ScaleModel-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 ATLTransformations.- Empirical Evaluation on FBD Model-Based Test Coverage Criteria UsingMutation 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 ofMulti-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.
Erscheint lt. Verlag | 23.8.2012 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | XX, 828 p. 298 illus. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 1256 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | large-scale software development • model-driven development • OCL • software modeling languages • UML models |
ISBN-10 | 3-642-33665-5 / 3642336655 |
ISBN-13 | 978-3-642-33665-2 / 9783642336652 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich