Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador (English)
- New search for: Barrett, S.C.
- New search for: Chalin, P.
- New search for: Butler, G.
- New search for: Barrett, S.C.
- New search for: Chalin, P.
- New search for: Butler, G.
- New search for: France, R.
In:
Modelling foundations and applications
6698
;
329-344
;
2011
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador
-
Contributors:
-
Conference:European conference; 7th, Modelling foundations and applications ; 2011 ; Birmingham
-
Published in:Modelling foundations and applications , 6698 ; 329-344LECTURE NOTES IN COMPUTER SCIENCE , 6698 ; 329-344
-
Publisher:
- New search for: Springer
-
Place of publication:Heidelberg
-
Publication date:2011-01-01
-
Size:16 pages
-
Remarks:Includes bibliographical references and index
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Building Advanced Mechatronic SystemsSchafer, W. et al. | 2011
- 3
-
Contracts for Model Execution VerificationCariou, E. / Ballagny, C. / Feugas, A. / Barbier, F. et al. | 2011
- 19
-
A FUML-Based Distributed Execution Machine for Enacting Software Process ModelsEllner, R. / Al-Hilank, S. / Drexler, J. / Jung, M. / Kips, D. / Philippsen, M. et al. | 2011
- 35
-
A Generic Tool for Tracing Executions Back to a DSML's Operational SemanticsCombemale, B. / Gonnord, L. / Rusu, V. et al. | 2011
- 52
-
Incremental Security Verification for Evolving UMLsec ModelsJurjens, J. / Marchal, L. / Ochoa, M. / Schmidt, H. et al. | 2011
- 69
-
Assessing the Kodkod Model Finder for Resolving Model InconsistenciesVan Der Straeten, R. / Puissant, J.P. / Mens, T. et al. | 2011
- 85
-
Operation Based Model Representation: Experiences on Inconsistency DetectionLe Noir, J. / Delande, O. / Exertier, D. / da Silva, M.A.A. / Blanc, X. et al. | 2011
- 97
-
Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysMLColombo, P. / Khendek, F. / Lavazza, L. et al. | 2011
- 115
-
Automated Transition from Use Cases to UML State Machines to Support State-Based TestingYue, T. / Ali, S. / Briand, L. et al. | 2011
- 132
-
Transformation Rules for Translating Business Rules to OCL ConstraintsBajwa, I.S. / Lee, M.G. et al. | 2011
- 144
-
Preventing Information Loss in Incremental Model Synchronization by Reusing ElementsGreenyer, J. / Pook, S. / Rieke, J. et al. | 2011
- 160
-
An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse PlatformDoux, G. / Albert, P. / Barbier, G. / Cabot, J. / Fabro, M.D.D. / Lee, S.U.-J. et al. | 2011
- 172
-
Incremental Updates for View-Based Textual ModellingGoldschmidt, T. / Uhl, A. et al. | 2011
- 189
-
Easing Model Transformation Learning with Automatically Aligned ExamplesDolques, X. / Dogui, A. / Falleri, J.-R. / Huchard, M. / Nebut, C. / Pfister, F. et al. | 2011
- 205
-
Code Generation for UML 2 Activity Diagrams: Towards a Comprehensive Model-Driven Development ApproachGessenharter, D. / Rauscher, M. et al. | 2011
- 221
-
Tractable Model Transformation TestingGogolla, M. / Vallecillo, A. et al. | 2011
- 236
-
Extending SysML with AADL Concepts for Comprehensive System Architecture ModelingBehjati, R. / Yue, T. / Nejati, S. / Briand, L. / Selic, B. et al. | 2011
- 253
-
Analyzing Variability: Capturing Semantic Ripple EffectsSvendsen, A. / Haugen, O. / Moller-Pedersen, B. et al. | 2011
- 270
-
Integrating Design and Runtime Variability Support into a System ADLLudwig, M. / Farcet, N. / Babau, J.-P. / Champeau, J. et al. | 2011
- 282
-
Domain-Specific Model Verification with QVTElaasar, M. / Briand, L. / Labiche, Y. et al. | 2011
- 299
-
A SysML Profile for Development and Early Validation of TLM 2.0 ModelsJain, V. / Kumar, A. / Panda, P.R. et al. | 2011
- 312
-
Taming the Confusion of LanguagesPfeiffer, R.-H. / Wasowski, A. et al. | 2011
- 329
-
Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with MiradorBarrett, S.C. / Chalin, P. / Butler, G. et al. | 2011
- 345
-
Improving Naming and Grouping in UMLVallecillo, A. et al. | 2011
- 361
-
Aspect-Oriented Model Development at Different Levels of AbstractionAlferez, M. / Amalio, N. / Ciraci, S. / Fleurey, F. / Kienzle, J. / Klein, J. / Kramer, M. / Mosser, S. / Mussbacher, G. / Roubtsova, E. et al. | 2011
- 377
-
MBSDI 2011 3rd International Workshop on Model-Based Software and Data IntegrationKutsche, R.-D. / Milanovic, N. et al. | 2011
- 379
-
MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and OptimizationCabot, J. / Albert, P. / Dupe, G. / Fabro, M.D.d. / Lee, S. et al. | 2011
- 381
-
The Third Workshop on Behaviour Modelling - Foundations and ApplicationsRoubtsova, E. / McNeile, A. / Kindler, E. / Aksit, M. et al. | 2011
- 383
-
Process-Centred Approaches for Model-Driven Engineering (PMDE)-First EditionsBendraou, R. / Lbath, R. / Coulette, B. / Gervais, M.-P. et al. | 2011
- 385
-
Third International Workshop on Model-Driven Product Line Engineering (MDPLE 2011)Botterweck, G. / Pleuss, A. / Rubin, J. / Schwanninger, C. et al. | 2011
- 387
-
Agile Development with Domain Specific LanguagesRumpe, B. / Schindler, M. / Volkel, S. / Weisemoller, I. et al. | 2011
- 389
-
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQueryBergmann, G. / Horvath, A. / Rath, I. / Varro, D. et al. | 2011
- 391
-
Integrated Model Management with EpsilonKolovos, D.S. / Paige, R.F. / Rose, L.M. / Williams, J. et al. | 2011
- 393
-
Creating Domain-Specific Modelling Languages That Work: Hands-OnTolvanen, J.-P. et al. | 2011