Model Refinement

Model Refinement is a formal transformation process within Model-Based Design and Model-Driven Software Engineering whereby a high-level abstract model is systematically enhanced with implementation details or structural precision while preserving its semantics, resulting in a more concrete and executable representation.

601

Publications

33.9K

Citations

1.7K

Authors

653

Institutions

Publications per year

2017–2026

129

Authors

1.7K

  1. DD
    Daniel D. Gajski

    University of California, Irvine, United States

    8 publications · 158 citations

    8

    h-index

  2. RB
    Richard Banach

    University of Manchester, United Kingdom

    6 publications · 89 citations

    6

    h-index

  3. UK
    Udo Kelter

    University of Siegen, Germany

    6 publications · 183 citations

    6

    h-index

  4. CS
    Chaok Seok

    Seoul National University, South Korea

    5 publications · 393 citations

    5

    h-index

  5. MC
    Marsha Chećhik

    University of Toronto, Canada

    5 publications · 112 citations

    5

    h-index

1–5 of 1.7K

Venues

  1. Software & Systems Modeling

    SoSyM · 14 publications · 579 citations

    14

    h-index

  2. Proteins Structure Function and Bioinformatics

    14 publications · 781 citations

    13

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 15 publications · 298 citations

    12

    h-index

  4. 11

    h-index

  5. Formal Aspects of Computing

    11 publications · 439 citations

    10

    h-index

1–5