Tags

Validation & VerificationMBSEReviewMDEModel TransformationsRequirements EngineeringAutomated Software EngineeringInsightsRoboticsRASTraceability managementCognitive threadDigital threadOSLCMetaGraphKARMASimulinkRocket EngineSysMLSimulationDSLMetamodelIndustry 4.0FMEASafetyManagementSiriusEpsilonEcoreGraphEMFPictoWebSysMLv2Formal MethodsFormal VerificationEclipseResponsibleMonitorOMGXtextModel FederationModel-to-text TransformationModel-ViewAADLOSATEModel TransformationSurveyATLUnQL
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
Eclipse Management MetaGraph Model Transformation KARMA Insights Formal Verification Sirius EMF Automated Software Engineering Web Ecore DSL Requirements Engineering Rocket Engine AADL Metamodel FMEA Responsible Validation & Verification Picto Industry 4.0 Model-to-text Transformation Model Transformations OSATE Formal Methods Simulink Digital thread Monitor RAS MDE OMG SysML SysMLv2 Review Epsilon Traceability management Cognitive thread MBSE Model Federation
Archives
Info
Article :
28
Runtime :
Total Count :
49.8k
UV :
PV :
Last Update :