Jordi Cabot

Microprocess. Microsystems, 2018

Distributing relational model transformation on MapReduce.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Special issue on quality in Model-Driven Engineering.

[BibT_eX]

[DOI]

Vasco Amaral

Miguel Goulão

Comput. Lang. Syst. Struct., 2018

Are CS conferences (too) closed communities?

[BibT_eX]

[DOI]

Commun. ACM, 2018

On Watermarking for Collaborative Model-Driven Engineering.

[BibT_eX]

[DOI]

Salvador Martínez

Sebastien Gerard

IEEE Access, 2018

A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project.

[BibT_eX]

[DOI]

Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Enabling Performance Modeling for the Masses: Initial Experiences.

[BibT_eX]

[DOI]

Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018

Model-driven development of OData services: An application to relational databases.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Research Challenges in Information Science, 2018

Fixing Defects in Integrity Constraints via Constraint Mutation.

[BibT_eX]

[DOI]

Roberto Rodríguez-Echeverría

Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 2018

An LSP infrastructure to build EMF language servers for web-deployable model editors.

[BibT_eX]

[DOI]

Roberto Rodríguez-Echeverría

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Towards a Language Server Protocol Infrastructure for Graphical Modeling.

[BibT_eX]

[DOI]

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Robust Hashing for Models.

[BibT_eX]

[DOI]

Salvador Martínez

Sébastien Gérard

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Towards Scalable Model Views on Heterogeneous Model Resources.

[BibT_eX]

[DOI]

Florent Marchand de Kerchove

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Stepwise Adoption of Continuous Delivery in Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2018

Applying graph kernels to model-driven engineering problems.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, 2018

OpenAPItoUML: A Tool to Generate UML Models from OpenAPI Definitions.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering - 18th International Conference, 2018

The role of foundations in open source projects.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Society, 2018

Scalable Queries and Model Transformations with the Mogwaï Tool.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformation, 2018

APIComposer: Data-Driven Composition of REST APIs.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing, 2018

Automatic Generation of Security Compliant (Virtual) Model Views.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 37th International Conference, 2018

TemporalEMF: A Temporal Metamodeling Framework.

[BibT_eX]

[DOI]

Abel Gómez

Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Automatic Generation of Test Cases for REST APIs: A Specification-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

2017

Model-Driven Software Engineering in Practice, Second Edition

[BibT_eX]

[DOI]

Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers, ISBN: 978-3-031-02549-5, 2017

GitHub, Technical Debt, Code Formatting, and More.

[BibT_eX]

[DOI]

IEEE Softw., 2017

NeoEMF: A multi-database model persistence framework for very large models.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2017

Foreword to the special section on negative results in software engineering.

[BibT_eX]

[DOI]

Richard F. Paige

Neil A. Ernst

Empir. Softw. Eng., 2017

Model-based analysis of Java EE web security misconfigurations.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2017

A Systematic Mapping Study of Software Development With GitHub.

[BibT_eX]

[DOI]

IEEE Access, 2017

Cognifying Model-Driven Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2017

Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel Discussions.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2017

Better call the crowd: using crowdsourcing to shape the notation of domain-specific languages.

[BibT_eX]

[DOI]

Andrea Mauri

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

An Empirical Study on the Maturity of the Eclipse Modeling Ecosystem.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Translating Target to Source Constraints in Model-to-Model Transformations.

[BibT_eX]

[DOI]

Roberto Rodríguez-Echeverría

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Gremlin-ATL: a scalable model transformation framework.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Towards a UML and IFML Mapping to GraphQL.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Web Engineering, 2017

A UML Profile for OData Web APIs.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering - 17th International Conference, 2017

Traceability Mappings as a Fundamental Instrument in Model Transformations.

[BibT_eX]

[DOI]

Zinovy Diskin

Abel Gómez

Proceedings of the Fundamental Approaches to Software Engineering, 2017

A Model-based Approach to Gamify the Learning of Modeling.

[BibT_eX]

[DOI]

Sébastien Gérard

Proceedings of the 5th Symposium on Conceptual Modeling Education and the 2nd International iStar Teaching Workshop co-located with the 36th International Conference on Conceptual Modeling (ER 2017), 2017

On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

Example-Driven Web API Specification Discovery.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime - Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems.

[BibT_eX]

[DOI]

Proceedings of the Euromicro Conference on Digital System Design, 2017

30 Years of Contributions to Conceptual Modeling.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling Perspectives., 2017

2016

Feature-based classification of bidirectional transformation approaches.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2016

Regression Testing, Spoken Language, Crash-Inducing Commits, UML, and Legal Policy.

[BibT_eX]

[DOI]

IEEE Softw., 2016

Analysis of co-authorship graphs of CORE-ranked software conferences.

[BibT_eX]

[DOI]

Scientometrics, 2016

Collaboro: a collaborative (meta) modeling tool.

[BibT_eX]

[DOI]

PeerJ Comput. Sci., 2016

JSONDiscoverer: Visualizing the schema lurking behind JSON documents.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2016

Backwards reasoning for model transformations: Method and applications.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

Lightweight and static verification of UML executable models.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2016

Continuing a Benchmark for UML and OCL Design and Analysis Tools.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2016

Runtime support for rule-based access-control evaluation through model-transformation.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Efficient model partitioning for distributed model transformations.

[BibT_eX]

[DOI]

Amine Benelallam

Juan de Lara

Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

EMF-REST: generation of RESTful APIs from models.

[BibT_eX]

[DOI]

Abel Gómez

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Mogwaï: A framework to handle complex queries on large models.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

Foreword to the Thematic Track: Quality Aspects in Model-Driven Engineering.

[BibT_eX]

[DOI]

Marjan Mernik

Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016

Findings from GitHub: methods, datasets and limitations.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Towards a Corpus of Use-Cases for Model-Driven Engineering Courses.

[BibT_eX]

[DOI]

Dimitrios S. Kolovos

Proceedings of the Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) co-located with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

PrefetchML: a framework for prefetching and caching models.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Community-based Software Development for MDE Tools.

[BibT_eX]

[DOI]

Adolfo Sánchez-Barbudo Herrera

Recent Developments in OCL and Textual Modelling.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Model-based analysis of Java EE web security configurations.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

fREX: fUML-based reverse engineering of executable behavior for software dynamic analysis.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

UMLtoGraphDB: Mapping Conceptual Schemas to Graph Databases.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 35th International Conference, 2016

MetaScience: An Holistic Approach for Research Modeling.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Human Factors in the Adoption of Model-Driven Engineering: An Educator's Perspective.

[BibT_eX]

[DOI]

Dimitrios S. Kolovos

Proceedings of the Advances in Conceptual Modeling, 2016

2015

Corpus-based analysis of domain-specific languages.

[BibT_eX]

[DOI]

Robert Tairas

Softw. Syst. Model., 2015

Lightweight string reasoning in model finding.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Popularity will NOT bring more contributions to your OSS project.

[BibT_eX]

[DOI]

J. Object Technol., 2015

Software Modernization Revisited: Challenges and Prospects.

[BibT_eX]

[DOI]

Leire Orue-Echevarria Arrieta

Oliver Strauß

Computer, 2015

GiLA: GitHub label analyzer.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

Assessing the bus factor of Git repositories.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

Exploring the use of labels to categorize issues in Open-Source Software projects.

[BibT_eX]

[DOI]

Belen Rolandi

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

The Quest for Better Languages: Usage Patterns to the Rescue.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Patterns in Model Engineering, 2015

An empirical study on simplification of business process modeling languages.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Distributed model-to-model transformation with ATL on MapReduce.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Towards Domain Refinement for UML/OCL Bounded Verification.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Model-Driven Integration and Analysis of Access-control Policies in Multi-layer Information Systems.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2015

Handling non-functional requirements in Model-Driven Development: An ongoing industrial survey.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Automatic code generation for cross-platform, multi-device mobile apps: some reflections from an industrial experience.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Enabling the Definition and Enforcement of Governance Rules in Open Source Systems.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Enabling the Reuse of Stored Model Transformations Through Annotations.

[BibT_eX]

[DOI]

Javier Criado

Luis Iribarne

Proceedings of the Theory and Practice of Model Transformations, 2015

Map-Based Transparent Persistence for Very Large Models.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2015

Gitana: A SQL-Based Git Repository Inspector.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 34th International Conference, 2015

EMF Views: A View Mechanism for Integrating Heterogeneous Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 34th International Conference, 2015

On Lightweight Metamodel Extension to Support Modeling Tools Agility.

[BibT_eX]

[DOI]

Philippe Desfray

Djamel Eddine Khelladi

Regina Hebig

Reda Bendraou

Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

2014

On the verification of UML/OCL class diagrams using constraint programming.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

Formal verification of static software models in MDE: A systematic review.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2014

MoDisco: A model driven reverse engineering framework.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2014

Evaluating the Quality of Software Models using Light-weight Formal Methods.

[BibT_eX]

[DOI]

ERCIM News, 2014

Three Metrics to Explore the Openness of GitHub projects.

[BibT_eX]

[DOI]

CoRR, 2014

On Developing Open Source MDE Tools: Our Eclipse Stories and Lessons Learned.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014

On Automating Inference of OCL Constraints from Counterexamples and Examples.

[BibT_eX]

[DOI]

Duc-Hanh Dang

Proceedings of the Knowledge and Systems Engineering, 2014

Improving the Scalability of Web Applications with Runtime Transformations.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, 14th International Conference, 2014

Composing JSON-Based Web APIs.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, 14th International Conference, 2014

Test Data Generation for Model Transformations Combining Partition and Constraint Analysis.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2014

An Adapter-Based Approach to Co-evolve Generated SQL in Model-to-Text Transformations.

[BibT_eX]

[DOI]

Oscar Díaz

Proceedings of the Advanced Information Systems Engineering, 2014

2013

Non-functional Requirements in Architectural Decision Making.

[BibT_eX]

[DOI]

IEEE Softw., 2013

Management of stateful firewall misconfiguration.

[BibT_eX]

[DOI]

Comput. Secur., 2013

Extracting business rules from COBOL: A model-based tool.

[BibT_eX]

[DOI]

Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Extracting business rules from COBOL: A model-based framework.

[BibT_eX]

[DOI]

Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Initiating a Benchmark for UML and OCL Analysis Tools.

[BibT_eX]

[DOI]

Nicholas Drivalos Matragkas

Proceedings of the Tests and Proofs - 7th International Conference, 2013

A research roadmap towards achieving scalability in model driven engineering.

[BibT_eX]

[DOI]

Dimitrios S. Kolovos

Louis M. Rose

Richard F. Paige

Esther Guerra

Proceedings of the Workshop on Scalability in Model Driven Engineering, 2013

Model-Driven Extraction and Analysis of Network Security Policies.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

MDE Support for Enterprise Architecture in an Industrial Context: the TEAP Framework Experience.

[BibT_eX]

[DOI]

Juan David Villa Calle

Jean-Christophe Lafaurie

Proceedings of the Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29, 2013

Towards an Access-Control Metamodel for Web Content Management Systems.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Web Engineering, 2013

Discovering Implicit Schemas in JSON Data.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering - 13th International Conference, 2013

Reverse Engineering of Database Security Policies.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2013

Engaging End-Users in the Collaborative Development of Domain-Specific Modelling Languages.

[BibT_eX]

[DOI]

Jesús J. López-Fernández

Esther Guerra

Juan de Lara

Proceedings of the Cooperative Design, Visualization, and Engineering, 2013

Enabling the Collaborative Definition of DSMLs.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2013

Automating Inference of OCL Business Rules from User Scenarios.

[BibT_eX]

[DOI]

Duc-Hanh Dang

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Model-Driven Software Engineering in Practice

[BibT_eX]

[DOI]

Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers, ISBN: 978-3-031-02546-4, 2012

Architecture Quality Revisited.

[BibT_eX]

[DOI]

IEEE Softw., 2012

A Catalogue of Refactorings for Model-to-Model Transformations.

[BibT_eX]

[DOI]

J. Object Technol., 2012

EMF Profiles: A Lightweight Extension Approach for EMF Models.

[BibT_eX]

[DOI]

J. Object Technol., 2012

ICMT 2011 Special Section.

[BibT_eX]

[DOI]

Eelco Visser

J. Object Technol., 2012

API2MoL: Automating the building of bridges between APIs and Model-Driven Engineering.

[BibT_eX]

[DOI]

Jesús García Molina

Inf. Softw. Technol., 2012

How to Deal with your IT Legacy: What is Coming up in MoDisco?.

[BibT_eX]

[DOI]

Grégoire Dupé

ERCIM News, 2012

Object Constraint Language (OCL): A Definitive Guide.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Model-Driven Engineering, 2012

A Model Driven Reverse Engineering Framework for Extracting Business Rules Out of a Java Application.

[BibT_eX]

[DOI]

Proceedings of the Rules on the Web: Research and Applications, 2012

How do software architects consider non-functional requirements: An exploratory study.

[BibT_eX]

[DOI]

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

A model-driven approach for the extraction of network access-control policies.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Security Workshop, 2012

ATLTest: A White-Box Test Generation Approach for ATL Transformations.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers.

[BibT_eX]

[DOI]

Marina Egea

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Workshop on OCL and textual modeling: OCL 2012.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

Static Analysis of Model Transformations for Effective Test Generation.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Community-driven language development.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

EMFtoCSP: a tool for the lightweight verification of EMF models.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

Using Models of Partial Knowledge to Test Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2012

Verification of ATL Transformations Using Transformation Models and Model Finders.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models.

[BibT_eX]

[DOI]

David Sánchez-Mendoza

Proceedings of the Advances in Conceptual Modeling, 2012

Lightweight String Reasoning for OCL.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

MDE 2.0 : Pragmatical formal model verification and other challenges.

[BibT_eX]

[DOI]

, 2012

2011

Preface (OCL 2011 Proceedings).

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Generating operation specifications from UML class diagrams: A model transformation approach.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2011

The MDE Diploma: first international postgraduate specialization in model-driven engineering.

[BibT_eX]

[DOI]

Comput. Sci. Educ., 2011

P ORTOLAN: a Model-Driven Cartography Framework

[BibT_eX]

[DOI]

Vincent Mahé

Guillaume Doux

CoRR, 2011

Two Basic Correctness Properties for ATL Transformations: Executability and Coverage.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Model Transformation with ATL, 2011

From UML Profiles to EMF Profiles and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Cloning in DSLs: Experiments with OCL.

[BibT_eX]

[DOI]

Robert Tairas

Proceedings of the Software Language Engineering - 4th International Conference, 2011

MoScript: A DSL for Querying and Manipulating Model Repositories.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 4th International Conference, 2011

Towards a General Composition Semantics for Rule-Based Model Transformation.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Lazy Execution of Model-to-Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

On validation of ATL transformation rules by transformation models.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

Lightweight Verification of Executable Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

VirtualEMF: A Model Virtualization Tool.

[BibT_eX]

[DOI]

Cauê Clasen

Proceedings of the Advances in Conceptual Modeling. Recent Developments and New Directions - ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31, 2011

An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform.

[BibT_eX]

[DOI]

Marcos Didonet Del Fabro

Scott Uk-Jin Lee

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization.

[BibT_eX]

[DOI]

Patrick Albert

Grégoire Dupé

Marcos Didonet Del Fabro

Scott Uk-Jin Lee

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

2010

A UML/OCL framework for the analysis of graph transformation rules.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2010

Automatic generation of basic behavior schemas from UML class diagrams.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2010

Verification and validation of declarative model-to-model transformations through invariants.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

From UML/OCL to SBVR specifications: A challenging transformation.

[BibT_eX]

[DOI]

Inf. Syst., 2010

Evaluating the Consistency between Navigation and Data Models for Web Applications.

[BibT_eX]

[DOI]

Int. J. Inf. Syst. Model. Des., 2010

Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010).

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Extending Conceptual Schemas with Business Process Information.

[BibT_eX]

[DOI]

Sara Comai

Adv. Softw. Eng., 2010

Lightweight Executability Analysis of Graph Transformation Rules.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Dealing with Non-Functional Requirements in Model-Driven Development.

[BibT_eX]

[DOI]

David Ameller

Xavier Franch

Hesam Chiniforooshan Esfahani

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Adopting Agile Methods: Can Goal-Oriented Social Modeling Help?.

[BibT_eX]

[DOI]

Eric S. K. Yu

Proceedings of the Fourth IEEE International Conference on Research Challenges in Information Science, 2010

Tenth International Workshop on OCL and Textual Modelling.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2010

MoDisco: a generic and extensible framework for model driven reverse engineering.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Desarrollo de Software Dirigido por Modelos (DSDM, 7ª ed.).

[BibT_eX]

Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Tools for Modeling and Generating Safe Interface Interactions in Web Applications.

[BibT_eX]

[DOI]

Michael Grossniklaus

Proceedings of the Web Engineering, 10th International Conference, 2010

Improving Higher-Order Transformations Support in ATL.

[BibT_eX]

[DOI]

Hesam Chiniforooshan Esfahani

Proceedings of the Theory and Practice of Model Transformations, 2010

Synthesis of OCL Pre-conditions for Graph Transformation Rules.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2010

Specifying Aggregation Functions in Multidimensional Models with OCL.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

Situational Evaluation of Method Fragments: An Evidence-Based Goal-Oriented Approach.

[BibT_eX]

[DOI]

Eric S. K. Yu

Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

2009

UMLtoSBVR: An SBVR-based tool to validate UML conceptual schemas.

[BibT_eX]

[DOI]

RITA, 2009

Incremental integrity checking of UML/OCL conceptual schemas.

[BibT_eX]

[DOI]

J. Syst. Softw., 2009

Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2009

UMLtoSBVR: Una herramienta para la validación de modelos UML mediante SBVR.

[BibT_eX]

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Verifying UML/OCL Operation Contracts.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Relationship-based change propagation: A case study.

[BibT_eX]

[DOI]

Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

Integrating sustainability in decision-making processes: A modelling strategy.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Modelling Safe Interface Interactions in Web Applications.

[BibT_eX]

[DOI]

Michael Grossniklaus

Proceedings of the Conceptual Modeling, 2009

Verifying Action Semantics Specifications in UML Behavioral Models.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

Towards the Conceptual Specification of Statistical Functions with OCL.

[BibT_eX]

[DOI]

Proceedings of the Forum at the CAiSE 2009 Conference, 2009

2008

Preface to the Proceedings of the 2008 OCL Workshop.

[BibT_eX]

[DOI]

Pieter Van Gorp

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Paraphrasing OCL Expressions with SBVR.

[BibT_eX]

[DOI]

Proceedings of the Natural Language and Information Systems, 2008

Towards an Integrated Framework for Model-Driven Security Engineering.

[BibT_eX]

[DOI]

Nicola Zannone

Proceedings of the Workshop on Modeling Security ( MODSEC08 ) held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems ( MODELS ) Toulouse, 2008

Eighth International Workshop on OCL Concepts and Tools.

[BibT_eX]

[DOI]

Pieter Van Gorp

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Reverse Engineering of Object-Relational Database Schemas.

[BibT_eX]

Proceedings of the XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), 2008

A Catalogue of Refactorings for Navigation Models.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Web Engineering, 2008

From programming to modeling: our experience with a distributed software engineering course.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Analysing Graph Transformation Rules through OCL.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2008

2007

Transformation techniques for OCL constraints.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

Generating Extended Conceptual Schemas from Business Process Models.

[BibT_eX]

Sara Comai

Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Deriving Operation Contracts from UML Class Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Automatic Generation of Workflow-Extended Domain Models.

[BibT_eX]

[DOI]

Sara Comai

Proceedings of the Model Driven Engineering Languages and Systems, 2007

UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Comprobación eficiente de restricciones de integridad en OCL.

[BibT_eX]

Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming.

[BibT_eX]

Patricia de la Fuente

Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

On the Quality of Navigation Models with Content-Modification Operations.

[BibT_eX]

[DOI]

Jordi Ceballos

Proceedings of the Web Engineering, 7th International Conference, 2007

Tool Support for Model Checking of Web Application Designs.

[BibT_eX]

[DOI]

Nathalie Moreno

Proceedings of the Web Engineering, 7th International Conference, 2007

From Declarative to Imperative UML/OCL Operation Specifications.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2007

2006

Conceptual Modelling Patterns for Roles.

[BibT_eX]

[DOI]

J. Data Semant., 2006

Transforming OCL constraints: a context change approach.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Constraint tuning and management for web applications.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Web Engineering, 2006

Constraint Support in MDA Tools: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2006

Incremental Evaluation of OCL Constraints.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

2005

Generación Automática de Restricciones de Integridad: Estado del Arte.

[BibT_eX]

[DOI]

Proceedings of the Actas del Taller sobre Desarrollo Dirigido por Modelos, 2005

Computing the Relevant Instances That May Violate an OCL Constraint.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

2004

Determining the Structural Events That May Violate an Integrity Constraint.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2004, 2004

Doctoral Symposium.

[BibT_eX]

[DOI]

Proceedings of the UML Modeling Languages and Applications, 2004

Roles as Entity Types: A Conceptual Modelling Pattern.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2004

Automatic Integrity Constraint Evolution due to Model Subtract Operations.

[BibT_eX]

[DOI]

Jordi Conesa

Proceedings of the Conceptual Modeling for Advanced Application Domains, 2004

2003

Representing Temporal Information in UML.

[BibT_eX]

[DOI]

Antoni Olivé

Proceedings of the «UML» 2003, 2003

A Conceptual Modelling Pattern for Roles.

[BibT_eX]

Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

La relación de materialización en UML.

[BibT_eX]

Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

Entity Types Derived by Symbol-Generating Rules.

[BibT_eX]

[DOI]

Antoni Olivé