Declarative Design Modeling

Declarative Design Modeling is a formal method within rule-based design that specifies system behavior through explicit, high-level declarations of design intent and constraints, rather than procedural or algorithmic implementations, thereby enabling automated reasoning, validation, and transformation of design artifacts.

23

Publications

778

Citations

54

Authors

26

Institutions

Publications per year

2017–2026

4

Authors

54

  1. SD
    Stéphane Donikian

    Institut de Recherche en Informatique et Systèmes Aléatoires, France

    2 publications · 24 citations

    2

    h-index

  2. AW
    André Weinand

    University of Zurich, Switzerland

    2 publications · 207 citations

    2

    h-index

  3. GH
    Gérard Hégron

    Université Toulouse-I-Capitole, France

    2 publications · 24 citations

    2

    h-index

  4. RM
    Rudolf Marty

    University of Zurich, Switzerland

    2 publications · 207 citations

    2

    h-index

  5. EG
    Erich Gamma

    University of Zurich, Switzerland

    2 publications · 207 citations

    2

    h-index

1–5 of 54

Venues

  1. IEEE Software

    1 publications · 26 citations

    1

    h-index

  2. 1

    h-index

  3. Computer Graphics Forum

    1 publications · 13 citations

    1

    h-index

  4. TU/e Research Portal

    Repository · 1 publications · 23 citations

    1

    h-index

  5. The Computer Journal

    1 publications · 20 citations

    1

    h-index

1–5