Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Scitepress - Science And And Technology Publications

9789898565426

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Survey of Model Comparison Approaches and Applications

Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0004311102650277 ◽

2013 ◽

Cited By ~ 3

Keyword(s):

Model Comparison

Download Full-text

A PIM-to-Code Requirements Engineering Framework

Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0004344701630169 ◽

2013 ◽

Keyword(s):

Requirements Engineering

Download Full-text

Systematic Development of Control Designs via Formal Refinement

Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0004321001430148 ◽

2013 ◽

Keyword(s):

Systematic Development ◽

Control Designs

Download Full-text

Tool Support for the Evaluation of Matching Algorithms in the Eclipse Modeling Framework

Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0004310801010110 ◽

2013 ◽

Cited By ~ 1

Keyword(s):

Tool Support ◽

Modeling Framework ◽

Eclipse Modeling Framework

Download Full-text

UML-based Design and Verification Method for Developing Dependable Context-aware Systems

Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0004310600890094 ◽

2013 ◽

Keyword(s):

Context Aware ◽

Verification Method

Download Full-text

Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification

Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0004321200620074 ◽

2013 ◽

Keyword(s):

Graph Transformation ◽

Transformation System ◽

Attributed Graph ◽

Software Modelling

Download Full-text

Higher-order Rewriting of Model-to-Text Templates for Integrating Domain-specific Modeling Languages

Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0004321100490061 ◽

2013 ◽

Keyword(s):

Higher Order ◽

Modeling Languages ◽

Domain Specific ◽

Domain Specific Modeling ◽

Specific Modeling

Download Full-text

TStore: A Trace-Base Management System - Using Finite-state Transducer Approach for Trace Transformation

Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0004317301170122 ◽

2013 ◽

Keyword(s):

Management System ◽

Base Management System ◽

Finite State ◽

Finite State Transducer ◽

Base Management

Download Full-text

Modelling and Enterprises - The Past, the Present and the Future

Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0004310700950100 ◽

2013 ◽

Keyword(s):

The Past ◽

The Future

Download Full-text

Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS

Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0004317601230128 ◽

2013 ◽

Keyword(s):

Verification And Validation ◽

Meta Model ◽

Model Based

Download Full-text

Proceedings of the 1st International Conference on Model-Driven Engineering and Software DevelopmentLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Scitepress - Science And And Technology Publications

A Survey of Model Comparison Approaches and Applications

A PIM-to-Code Requirements Engineering Framework

Systematic Development of Control Designs via Formal Refinement

Tool Support for the Evaluation of Matching Algorithms in the Eclipse Modeling Framework

UML-based Design and Verification Method for Developing Dependable Context-aware Systems

Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification

Higher-order Rewriting of Model-to-Text Templates for Integrating Domain-specific Modeling Languages

TStore: A Trace-Base Management System - Using Finite-state Transducer Approach for Trace Transformation

Modelling and Enterprises - The Past, the Present and the Future

Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS

Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development
Latest Publications