Tags

MDEModel TransformationsRequirements EngineeringAutomated Software EngineeringInsightsValidation & VerificationMBSEReviewTraceability managementCognitive threadDigital threadOSLCMetaGraphKARMASimulinkRoboticsRASRocket EngineSysMLSimulationDSLMetamodelIndustry 4.0FMEASafetyManagementSiriusEpsilonResponsibleMonitorPictoWebEcoreGraphEMFSysMLv2Formal MethodsFormal VerificationOMGEclipseModel FederationXtextModel TransformationATLUnQLModel-ViewAADLOSATESurveyModel-to-text Transformation
Comment
avatar
Ruizhe Yang
Articles
28
Tags
50
Categories
36
Recent Post
笔记：Model Transformation Testing and Debugging:A Survey
笔记：Model Transformation Testing and Debugging:A Survey
笔记：Incremental execution of model-to-text transformations using property access traces
笔记：Incremental execution of model-to-text transformations using property access traces
笔记：Solving the Instance Model-View Update Problem in AADL
笔记：Solving the Instance Model-View Update Problem in AADL
笔记：10 years of Model Federation with Openflexo:Challenges and Lessons Learned
笔记：10 years of Model Federation with Openflexo:Challenges and Lessons Learned
笔记：Partial Bidirectionalization of Model Transformation Languages
笔记：Partial Bidirectionalization of Model Transformation Languages
Categories
Tags
Epsilon AADL Web Digital thread UnQL Traceability management SysMLv2 Xtext Sirius OMG Safety Model-to-text Transformation Model Federation Monitor Survey Insights MDE Metamodel Rocket Engine Eclipse Automated Software Engineering KARMA Model Transformation Simulation Ecore Formal Verification Responsible Picto MetaGraph OSATE ATL OSLC MBSE Review Formal Methods FMEA Simulink Graph Validation & Verification Industry 4.0
Archives
Info
Article :
28
Runtime :
Total Count :
50.2k
UV :
PV :
Last Update :