W Zhang

Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs: a systematic evaluation

W Zhang, Bowen Jiang, Yuhong Fu, Anne Koziolek et autres

A procedure for rule extraction from a Self-Organising plasma disruption predictor for JET

JET Contributors, WPTE Team, Samuele Setzu, E. Aymerich et autres

In a previous paper, a Self-Organizing Map had proven to be able to identify the regions of the plasma operative space characterizing the pre-disruptive phase at JET without relying on any a priori information. One of the strengths of this disruption predictor …

LLM4MTLs: Automated Generation and Empirical Evaluation of Model Transformation Languages

Bowen Jiang, Nathan Josias Hagel, Haowei Cheng, Benedikt Jutz et autres

Model transformation languages (MTLs) are domain-specific languages used to transform models conforming to a given metamodel into other models, including textual models such as source code. Developing correct model transformations in these languages is challenging and requires both language-specific and domain knowledge, …

CoCoPath: Concolic Exploration of Consistency-Preserving Paths

Bowen Jiang, Miriam Boß, Thomas Weber, W Zhang et autres

Maintaining consistency between related models is achieved through Consistency Preservation Rules (CPRs) that propagate changes from a source model to a target model. However, in many cases, additional input from the maintainer of a target model, based on their domain knowledge, is …

Temperature dependence on tensile properties of Cu-40mass%Fe dual phase alloy

Norimitsu Koga, W Zhang, Osamu Umezawa, V. Tschan et autres

The binary system of iron and copper shows low mutual solubility and cast Cu-Fe forms an iron (bcc) and copper (fcc) dual phase structure at room temperature. In this study, tensile properties, deformation and fracture behaviour of a rolled Cu-40mass%Fe alloy have …

jp, de (code pays fourni par la source)

High-strength Cu-based bulk glassy alloys in Cu–Zr–Ti and Cu–Hf–Ti ternary systems

Akira Inoue, W Zhang, T Zhang, Kei Kurosaka

jp (code pays fourni par la source)