A Technique for Automatic Validation of Model Transformations (Englisch)
- Neue Suche nach: Lucio, L.
- Neue Suche nach: Barroca, B.
- Neue Suche nach: Amaral, V.
- Neue Suche nach: Lucio, L.
- Neue Suche nach: Barroca, B.
- Neue Suche nach: Amaral, V.
- Neue Suche nach: Petriu, Dorina C.
- Neue Suche nach: Rouquette, Nicolas
- Neue Suche nach: Haugen, ystein
In:
Model Driven Engineering Languages and Systems; MODELS 2010
6394
;
136-150
;
2010
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:A Technique for Automatic Validation of Model Transformations
-
Beteiligte:Lucio, L. ( Autor:in ) / Barroca, B. ( Autor:in ) / Amaral, V. ( Autor:in ) / Petriu, Dorina C. / Rouquette, Nicolas / Haugen, ystein
-
Kongress:Conference, Model Driven Engineering Languages and Systems; MODELS 2010 ; 2010 ; Oslo, Norway
-
Erschienen in:Model Driven Engineering Languages and Systems; MODELS 2010 , 6394 ; 136-150LECTURE NOTES IN COMPUTER SCIENCE , 6394 ; 136-150
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin
-
Erscheinungsdatum:01.01.2010
-
Format / Umfang:15 pages
-
Anmerkungen:Includes bibliographical references and index
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Modeling the InternetZave, P. et al. | 2010
- 1
-
A Unified Approach to Modeling and ProgrammingMadsen, O.L. / Moller-Pedersen, B. et al. | 2010
- 2
-
Transformation-Based Parallelization of Request-Processing ApplicationsRiche, T.L. / Vin, H.M. / Batory, D. et al. | 2010
- 16
-
Generic Meta-modelling with Concepts, Templates and Mixin Layersde Lara, J. / Guerra, E. et al. | 2010
- 17
-
Model Driven Orchestration: Design for Service CompatibilityGrossmann, G. / Schrefl, M. / Stumptner, M. et al. | 2010
- 31
-
An Observer-Based Notion of Model InheritanceKuhne, T. et al. | 2010
- 32
-
Embedded Software Development with Projectional Language WorkbenchesVoelter, M. et al. | 2010
- 46
-
MDE-Based Approach for Generalizing Design Space ExplorationSaxena, T. / Karsai, G. et al. | 2010
- 47
-
Concern-Based (de)composition of Model-Driven Software Development ProcessesJohannes, J. / Assmann, U. et al. | 2010
- 61
-
A Comparison of Model Migration ToolsRose, L.M. / Herrmannsdoerfer, M. / Williams, J.R. / Kolovos, D.S. / Garces, K. / Paige, R.F. / Polack, F.A.C. et al. | 2010
- 63
-
Flexible Model Element Introduction Policies for Aspect-Oriented ModelingMorin, B. / Klein, J. / Kienzle, J. / Jezequel, J.-M. et al. | 2010
- 76
-
Incremental Evaluation of Model Queries over EMF ModelsBergmann, G. / Horvath, A. / Rath, I. / Varro, D. / Balogh, A. / Balogh, Z. / Okros, A. et al. | 2010
- 78
-
Role-Based Generic Model RefactoringReimann, J. / Seifert, M. / Assmann, U. et al. | 2010
- 91
-
Active Operations on CollectionsBeaudoux, O. / Blouin, A. / Barais, O. / Jezequel, J.-M. et al. | 2010
- 93
-
Precise Detection of Conflicting Change Operations Using Process Model TermsGerth, C. / Kuster, J.M. / Luckey, M. / Engels, G. et al. | 2010
- 106
-
transML: A Family of Languages to Model Model TransformationsGuerra, E. / de Lara, J. / Kolovos, D.S. / Paige, R.F. / dos Santos, O.M. et al. | 2010
- 108
-
Capturing the Intention of Model ChangesKonemann, P. et al. | 2010
- 121
-
Henshin: Advanced Concepts and Tools for In-Place EMF Model TransformationsArendt, T. / Biermann, E. / Jurack, S. / Krause, C. / Taentzer, G. et al. | 2010
- 123
-
Selective and Consistent Undoing of Model ChangesGroher, I. / Egyed, A. et al. | 2010
- 136
-
A Technique for Automatic Validation of Model TransformationsLucio, L. / Barroca, B. / Amaral, V. et al. | 2010
- 138
-
Modeling Features at RuntimeDenker, M. / Ressia, J. / Greevy, O. / Nierstrasz, O. et al. | 2010
- 151
-
Static- and Dynamic Consistency Analysis of UML State Chart ModelsSchwarzl, C. / Peischl, B. et al. | 2010
- 153
-
Metamodel-Based Information Integration at Industrial ScaleBerger, S. / Grossmann, G. / Stumptner, M. / Schrefl, M. et al. | 2010
- 166
-
Verifying Semantic Conformance of State Machine-to-Java Code GeneratorsRahim, L.A. / Whittle, J. et al. | 2010
- 168
-
Inferring Meta-models for Runtime System Data from the Clients of Management APIsSong, H. / Huang, G. / Xiong, Y. / Chauvel, F. / Sun, Y. / Mei, H. et al. | 2010
- 181
-
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature ModelsWang, B. / Xiong, Y. / Hu, Z. / Zhao, H. / Zhang, W. / Mei, H. et al. | 2010
- 183
-
A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements EngineeringFernandez, D.M. / Penzenstadler, B. / Kuhrmann, M. / Broy, M. et al. | 2010
- 196
-
Taming Graphical ModelingFuhrmann, H. / von Hanxleden, R. et al. | 2010
- 198
-
A Common Framework for Synchronization in Requirements Modelling LanguagesEsmaeilsabzali, S. / Day, N.A. / Atlee, J.M. et al. | 2010
- 211
-
Taming EMF and GMF Using Model TransformationKolovos, D.S. / Rose, L.M. / Abid, S.B. / Paige, R.F. / Polack, F.A.C. / Botterweck, G. et al. | 2010
- 213
-
A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven DevelopmentLoniewski, G. / Insfran, E. / Abrahao, S. et al. | 2010
- 226
-
A Visual Traceability Modeling LanguageMader, P. / Cleland-Huang, J. et al. | 2010
- 228
-
Slicing of UML Models Using Model TransformationsLano, K. / Kolahdouz-Rahimi, S. et al. | 2010
- 241
-
Application Logic Patterns - Reusable Elements of User-System InteractionAmbroziewicz, A. / Smialek, M. et al. | 2010
- 243
-
An Adjustable Transformation from OWL to EcoreRahmani, T. / Oberle, D. / Dahms, M. et al. | 2010
- 256
-
A Metamodel-Based Approach for Automatic User Interface Generationda Cruz, A.M.R. / Faria, J.P. et al. | 2010
- 258
-
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java ProgramVan Gorp, P. / Eshuis, R. et al. | 2010
- 271
-
Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven TechniquesSchramm, A. / Preussner, A. / Heinrich, M. / Vogel, L. et al. | 2010
- 273
-
Disciplined Heterogeneous Modeling (Invited Paper)Lee, E.A. et al. | 2010
- 286
-
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case StudiesIqbal, M.Z. / Arcuri, A. / Briand, L. et al. | 2010
- 288
-
Design Guidelines for the Development of Quality-Driven Model TransformationsInsfran, E. / Gonzalez-Huerta, J. / Abrahao, S. et al. | 2010
- 301
-
Improving Test Models for Large Scale Industrial Systems: An Inquisitive Studyda Costa, A.D. / da Silva, V.T. / Garcia, A. / de Lucena, C.J.P. et al. | 2010
- 303
-
Early Deviation Detection in Modeling Activities of MDE Processesda Silva, M.A.A. / Bendraou, R. / Blanc, X. / Gervais, M.-P. et al. | 2010
- 316
-
Automatically Discovering Properties That Specify the Latent Behavior of UML ModelsGoldsby, H.J. / Cheng, B.H.C. et al. | 2010
- 318
-
Artifact or Process Guidance, an Empirical Studyda Silva, M.A.A. / Mougenot, A. / Bendraou, R. / Robin, J. / Blanc, X. et al. | 2010
- 331
-
Scaling Up Model Driven Engineering - Experience and Lessons LearntKulkarni, V. / Reddy, S. / Rajbhoj, A. et al. | 2010
- 331
-
Towards a Semantics of Activity Diagrams with Semantic Variation PointsGronniger, H. / Reiss, D. / Rumpe, B. et al. | 2010
- 346
-
Mod4J: A Qualitative Case Study of Model-Driven Software DevelopmentLussenburg, V. / van der Storm, T. / Vinju, J. / Warmer, J. et al. | 2010
- 346
-
An AADL-Based Approach to Variability Modeling of Automotive Control SystemsShiraishi, S. et al. | 2010
- 361
-
Extending Variability for OCL InterpretationWilke, C. / Thiele, M. / Wende, C. et al. | 2010
- 361
-
Modeling Issues: A Survival Guide for a Non-expert ModelerRodriguez-Priego, E. / Garcia-Izquierdo, F.J. / Rubio, A.L. et al. | 2010
- 376
-
Inter-Modelling: From Theory to PracticeGuerra, E. / de Lara, J. / Kolovos, D.S. / Paige, R.F. et al. | 2010
- 376
-
Monarch: Model-Based Development of Software ArchitecturesBagheri, H. / Sullivan, K. et al. | 2010
- 391
-
Model-to-Metamodel Transformation for the Development of Component-Based SystemsKainz, G. / Buckl, C. / Sommer, S. / Knoll, A. et al. | 2010
- 392
-
Consistent Modeling Using Multiple UML ProfilesNoyrit, F. / Gerard, S. / Terrier, F. / Selic, B. et al. | 2010
- 406
-
Architectural Descriptions as Boundary Objects in System and Design WorkPareto, L. / Eriksson, P. / Ehnebom, S. et al. | 2010
- 407
-
A Systematic Review on the Definition of UML ProfilesPardillo, J. et al. | 2010