[PDF][PDF] A formal semantic for scenario-based model using algebraic semantics framework for MOF

MA Isa, DNA Jawawi, MZM Zaki - International Journal of Software …, 2013 - academia.edu
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 …

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 …

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 …

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 …

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 …

A semantic framework for metamodel-based languages

A Gargantini, E Riccobene, P Scandurra - Automated software …, 2009 - Springer
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 …

[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 …

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 …

[引用][C] Development of a Scenario Metamodel based on the Conceptualization of a Scenario for Verification and Validation of a Software System

E Cho, YM Baek, Z Mihret, DH Bae - 한국정보과학회학술발표논문집, 2021 - dbpia.co.kr
In software engineering, scenarios and scenario-based approaches have been utilized to
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 …