000 07118nam a22006495i 4500
001 978-3-642-33666-9
003 DE-He213
005 20240730193759.0
007 cr nn 008mamaa
008 120918s2012 gw | s |||| 0|eng d
020 _a9783642336669
_9978-3-642-33666-9
024 7 _a10.1007/978-3-642-33666-9
_2doi
050 4 _aQA76.76.C65
072 7 _aUMC
_2bicssc
072 7 _aCOM010000
_2bisacsh
072 7 _aUMC
_2thema
082 0 4 _a005.45
_223
245 1 0 _aModel Driven Engineering Languages and Systems
_h[electronic resource] :
_b15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /
_cedited by Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson.
250 _a1st ed. 2012.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2012.
300 _aXX, 828 p. 298 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v7590
505 0 _aQuantitative 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 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 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.
520 _aThis book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012. The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis.
650 0 _aCompilers (Computer programs).
_93350
650 0 _aSoftware engineering.
_94138
650 0 _aComputer science.
_99832
650 0 _aElectronic data processing
_xManagement.
_9154502
650 0 _aComputer simulation.
_95106
650 0 _aElectronic digital computers
_xEvaluation.
_921495
650 1 4 _aCompilers and Interpreters.
_931853
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aIT Operations.
_931703
650 2 4 _aComputer Modelling.
_9154503
650 2 4 _aSystem Performance and Evaluation.
_932047
700 1 _aFrance, Robert B.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9154504
700 1 _aKazmeier, Jürgen.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9154505
700 1 _aBreu, Ruth.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9154506
700 1 _aAtkinson, Colin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9154507
710 2 _aSpringerLink (Online service)
_9154508
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642336652
776 0 8 _iPrinted edition:
_z9783642336676
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v7590
_9154509
856 4 0 _uhttps://doi.org/10.1007/978-3-642-33666-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c94863
_d94863