Keywords: تحول مدل; Damping torque analysis; DFIG; FSIG; Model transformation; Phillips-Heffron model; Wind power generation;
مقالات ISI تحول مدل (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تحول مدل; Data variability; Contextual data; Model transformation; Substitution transformation; Enhancement transformation;
Keywords: تحول مدل; System architecture; Fault trees; Safety; Model co-evolution; Model transformation;
Keywords: تحول مدل; Software Architecture; multi-scale description; UML models; OCL constraints; model transformation; refinement;
Keywords: تحول مدل; Business process; Business pattern; Model transformation; Business ontology; Reuse; Specialization;
Keywords: تحول مدل; Business process management; Process models; Semi-structured processes; Model transformation
Keywords: تحول مدل; Model transformation; Ontology; Mediation information system; Business process management
Keywords: تحول مدل; Model transformation; OCL; Weakest pre-condition
Keywords: تحول مدل; Queueing Petri Nets; Layered Queueing Networks; Model Transformation; Fluid Analysis;
Keywords: تحول مدل; Feature models; Model transformation; Generative learning objects (GLOs); GLO design tool; Educational robots;
Keywords: تحول مدل; Design patterns; Model transformation; Model-driven engineering; Development process; DelTa;
Keywords: تحول مدل; MDE; Model transformation; M2M; ATL; EMF; Learning tool;
Keywords: تحول مدل; Model driven engineering; Model transformation; Visual notation; Recommender system; Concrete visualizations;
Keywords: تحول مدل; Entity-relationship; Domain-specific language; Model transformation; Information system design; Evaluation study
Keywords: تحول مدل; e-government; Standardization; Interoperability; Industrial case study; Model validation; Model transformation;
Keywords: تحول مدل; Model driven architecture; Metamodel; Model transformation; Smart card; Java Card; Basic card
Keywords: تحول مدل; Architectural abstraction; Architectural component and connector views; Software evolution; UML; Model transformation
Keywords: تحول مدل; Model transformation; Measurement; Quality characteristics; Model restructuring
Keywords: تحول مدل; Graph rewriting; Model transformation; Tool survey; Transformation tool contest
Keywords: تحول مدل; Model transformation; Performance; Scalability; Parallelization
Architecture-level hazard analysis using AADL
Keywords: تحول مدل; Hazard analysis; Model transformation; Semantic preservation; AADL; Hazard model annex;
Agile validation of model transformations using compound F-Alloy specifications
Keywords: تحول مدل; Model transformation; Validation; Alloy; Compound model transformations; Higher-order transformations;
Distributing relational model transformation on MapReduce
Keywords: تحول مدل; Model transformation; Distributed computing; MapReduce; ATL; NeoEMF;
Toward a Generic Metamodel for Model Composition Using Transformation
Keywords: تحول مدل; Model Composition; Model Driven Architecture; Model Transformation; ATLAS Transformation Language(ATL).;
A new method for constructing and reusing domain specific design patterns: Application to RT domain
Keywords: تحول مدل; Design pattern engineering; Model transformation; Real-time application modeling;
Model transformation between OPC UA and UML
Keywords: تحول مدل; Model transformation; OPC UA; QVT; UML;
Design pattern-based model transformation supported by QVT
Keywords: تحول مدل; Design pattern; Model transformation; QVT; UML;
A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet
Keywords: تحول مدل; Integrated Modular Avionics; TTEthernet; Model transformation; Verification; DEVS; Simulation
A model transformation framework to increase OCL usability
Keywords: تحول مدل; Model-Driven Architecture; Model transformation; OCL generation; Usability improvement
Automated transformation of design text ROM diagram into SysML models
Keywords: تحول مدل; Design text; SysML; Recursive Object Model (ROM); Knowledge extraction; Model transformation;
PTL: A model transformation language based on logic programming
Keywords: تحول مدل; Logic programming; Model transformation; Software engineering; Model driven engineering; Domain specific languages
Extracting finite state models from i* models
Keywords: تحول مدل; i* model; Model transformation; Model checking;
Exploring AADL verification tool through model transformation
Keywords: تحول مدل; Real-time system; AADL; TASM; Model transformation; Translation rules
Signature required: Making Simulink data flow and interfaces explicit
Keywords: تحول مدل; Simulink; Interfaces; Model transformation; Software engineering; Data flow
Towards a verified transformation from AADL to the formal component-based language FIACRE
Keywords: تحول مدل; Formal verification; Architecture description languages; Model driven engineering; Model transformation; Timed transition systems
MeTAGeM-Trace: Improving trace generation in model transformation by leveraging the role of transformation models
Keywords: تحول مدل; Model-driven engineering; Traceability; Model transformation
Guest editors' introduction to the first issue on Experimental Software Engineering in the Cloud (ESEiC)
Keywords: تحول مدل; Empirical software engineering; Reproducibility; Evaluation; Model transformation; Graph rewriting
From AADL to Timed Abstract State Machines: A verified model transformation
Keywords: تحول مدل; Model-driven engineering; Architecture Analysis and Design Language (AADL); Model transformation; Semantics preservation; Timed Abstract State Machine (TASM); Coq
Graph transformations and software engineering: Success stories and lost chances
Keywords: تحول مدل; Graph transformation; Software engineering; Model; Model transformation; Visual language; Dynamic system; Evolving system
A methodology for formal analysis and verification of EAST-ADL models
Keywords: تحول مدل; EAST-ADL; UPPAAL PORT; Formal analysis; Model-driven development; Model transformation
SysML-based uniform behavior modeling and automated mapping of design and simulation model for complex mechatronics
Keywords: تحول مدل; SysML; Hybrid behavior modeling; System-level behavior; Mechatronic system; Model transformation
Trusted Product Lines
Keywords: تحول مدل; Software Product Lines; High-integrity software; DO-178B/ED-12B; SPARK; Model transformation; GSN
A collection of method fragments automated with model transformations in agent-oriented modeling
Keywords: تحول مدل; Agent-oriented software engineering; Method engineering; Method fragment; Model transformation; Multi-agent system
MOD2-SCM: A model-driven product line for software configuration management systems
Keywords: تحول مدل; Model-driven software engineering; Software product line engineering; Software configuration management; Feature models; Executable models; Model transformation; Code generation
Retainment policies – A formal framework for change retainment for trace-based model transformations
Keywords: تحول مدل; Model-driven engineering; Model transformation; QVT; Change retainment
Propagation of constraints along model transformations using triple graph grammars and borrowed context
Keywords: تحول مدل; Model transformation; Graph constraints; Security requirements; Triple graph grammars; Enterprise modeling
H∞H∞ consensus of second-order multi-agent systems with asymmetric delays
Keywords: تحول مدل; Multi-agent system; H∞H∞ consensus; Model transformation; Asymmetric delay
Delay-dependent global asymptotic stability criteria for stochastic genetic regulatory networks with Markovian jumping parameters
Keywords: تحول مدل; Global asymptotic stability; Stochastic genetic regulatory networks; Linear matrix inequality; Lyapunov–Krasovskii functional; Model transformation; Markovian jumping parameters
Execution of natural language requirements using State Machines synthesised from Behavior Trees
Keywords: تحول مدل; Requirements; Requirements Validation; Behavior Trees; Behavior Engineering; MDE; Model Transformation; UML State Machine
Achieving dynamic adaptation via management and interpretation of runtime models
Keywords: تحول مدل; Adaptation framework; Runtime adaptivity; Self-adaptive software; Model transformation; Models at runtime