A Posteriori Typing for Model-Driven Engineering
نویسندگان
چکیده
منابع مشابه
Towards a Tool-Supported Quality Model for Model- Driven Engineering
This paper reviews definitions of model quality before introducing six properties of models that are important for building high-quality models. These are identified to be correctness, completeness, consistency, comprehensibility, confinement and changeability. We have earlier defined a quality model that separates intangible quality goals from tangible qualitycarrying properties and practices ...
متن کاملModel-Driven Constraint Engineering
Precise specification of meta-models is an important prerequisite for the successful application of a model-driven engineering (MDE) process. One means of precise specification are textual constraints. However, the task of constraint development is time-consuming and error-prone if done manually. In this paper, we present both a methodology and a tool for developing constraints in a systematic ...
متن کاملModel driven language engineering
Modeling is a most important exercise in software engineering and development and one of the current practices is object-oriented (OO) modeling. The Object Management Group (OMG) has defined a standard object-oriented modeling language – the Unified Modeling Language (UML). The OMG is not only interested in modeling languages; its primary aim is to enable easy integration of software systems an...
متن کاملA Model Transformation Framework for Model Driven Engineering
Model Driven Engineering(MDE) is a model-centric software development approach aims at improving the quality and productivity of software development processes. While some progresses in MDE have been made, there are still many obstacles in realizing the full benefits of model driven engineering. These obstacles include incompleteness in existing modeling notations, inadequate in tools support, ...
متن کاملModel-driven Software Engineering
This document describes a Ph.D. level course, corresponding to a Curriculum Unit creditedwith 5 ECTS. It corresponds to a joint DIUM -FEUP proposal for UCPC (Paradigms of Computation) in the joint MAP-i doctoral program in Informatics, organized by three portuguese universities (Minho, Aveiro, and Porto).
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Software Engineering and Methodology
سال: 2017
ISSN: 1049-331X,1557-7392
DOI: 10.1145/3063384