Vor Ort
Merkzettel Warenkorb
  • Produktbild: Model Driven Engineering Languages and Systems
  • Produktbild: Model Driven Engineering Languages and Systems
Band 7590

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.2012

Abbildungen

XX, 828 p. 298 illus.

Herausgeber

Robert B. France + weitere

Verlag

Springer Berlin

Seitenzahl

828

Maße (L/B/H)

23,5/15,5/4,6 cm

Gewicht

1258 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-33665-2

Beschreibung

Portrait

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.

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.2012

Abbildungen

XX, 828 p. 298 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

828

Maße (L/B/H)

23,5/15,5/4,6 cm

Gewicht

1258 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-33665-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Model Driven Engineering Languages and Systems
  • Produktbild: Model Driven Engineering Languages and Systems
  • 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.