[PDF][PDF] A formal semantic for scenario-based model using algebraic semantics framework for MOF
Abstract Model-driven development uses models to represent system artifacts to improve the
visibility of the system towards the real world. The development of models is underlying in …
visibility of the system towards the real world. The development of models is underlying in …
An algebraic semantics for MOF
A Boronat, J Meseguer - Formal Aspects of Computing, 2010 - Springer
In model-driven development, software artifacts are represented as models in order to
improve productivity, quality, and cost effectiveness. In this area, the meta-object facility …
improve productivity, quality, and cost effectiveness. In this area, the meta-object facility …
An algebraic semantics for MOF
A Boronat, J Meseguer - … : 11th International Conference, FASE 2008, Held …, 2008 - Springer
Abstract Model-driven development is a field within software engineering in which software
artifacts are represented as models in order to improve productivity, quality, and cost …
artifacts are represented as models in order to improve productivity, quality, and cost …
Meta Object Facility (MOF): investigation of the state of the art
JF Overbeek - 2006 - essay.utwente.nl
Model Driven Engineering (MDE) is the new trend in software engineering. MDE is the
collection of all approaches that use models as core principle for software engineering. The …
collection of all approaches that use models as core principle for software engineering. The …
Formal mof metamodeling and tool support
L Favre, D Duarte - 2016 4th International Conference on Model …, 2016 - ieeexplore.ieee.org
Model Driven Development (MDD) has emerged as a new road to software development
industrialization. The most well-known realization of MDD is the Model Driven Architecture …
industrialization. The most well-known realization of MDD is the Model Driven Architecture …
A semantic framework for metamodel-based languages
In the model-based development context, metamodel-based languages are increasingly
being defined and adopted either for general purposes or for specific domains of interest …
being defined and adopted either for general purposes or for specific domains of interest …
[HTML][HTML] Model transformation using a simplified metamodel
H Liu, X Jia - Journal of Software Engineering and Applications, 2010 - scirp.org
Model Driven Engineering (MDE) is a model-centric software development approach aims at
improving the quality and productivity of software development processes. While some …
improving the quality and productivity of software development processes. While some …
Algebraic semantics of emof/ocl metamodels
A Boronat, J Meseguer - 2007 - ideals.illinois.edu
Abstract Model-Driven Development is a field in Software Engineering that, for several
years, has represented software artifacts as models in order to improve productivity, quality …
years, has represented software artifacts as models in order to improve productivity, quality …
[引用][C] Development of a Scenario Metamodel based on the Conceptualization of a Scenario for Verification and Validation of a Software System
In software engineering, scenarios and scenario-based approaches have been utilized to
capture the system requirements and validate the expected system behaviors. However, the …
capture the system requirements and validate the expected system behaviors. However, the …
Scenario construction tool based on extended UML metamodel
M Śmiałek, J Bojarski, W Nowakowski… - Model Driven Engineering …, 2005 - Springer
Scenario based notations are becoming more and more popular as means for user
requirements elicitation. They can be used in more formal specifications as part of detailed …
requirements elicitation. They can be used in more formal specifications as part of detailed …