Concepedia

Refinement Ordering

Refinement Ordering is a binary relation on program specifications that belongs to the class of correctness-preserving transformations, differentiating itself by formalizing the hierarchical improvement of abstract programs into more concrete implementations through monotonic reduction of nondeterminism.

18

Publications

1.1K

Citations

33

Authors

22

Institutions

Publications per year

2017–2026

1

Parents

Publications

18

A modal process logic

Kim G. Larsen, Bent Thomsen · 2003 · 469 citations

, , +13

Storing and retrieving software components: a refinement based system

R. Mili, A. Mili, Roland T. Mittermeir · IEEE Transactions on Software Engineering · 1997 · 144 citations

, , +16

Failures semantics based on interval semiwords is a congruence for refinement

Walter Vogler · Distributed Computing · 1991 · 61 citations

, , +6

The Shadow Knows: Refinement and security in sequential programs

Carroll Morgan · Science of Computer Programming · 2009 · 54 citations

, , +13

Refinement properties for relational structures

Chun-Chieh Chang, Bjàrni Jónsson, Alfred Tarski · Fundamenta Mathematicae · 1964 · 47 citations · Full text

, , +13

1–5 of 18

Authors

33

  1. JD
    John Derrick

    University of Kent, United Kingdom

    2 publications · 35 citations

    2

    h-index

  2. RT
    Roland T. Mittermeir

    University of Klagenfurt, Austria

    2 publications · 183 citations

    2

    h-index

  3. RM
    R. Mili

    The University of Texas at Dallas, United States

    2 publications · 183 citations

    2

    h-index

  4. AM
    A. Mili

    West Virginia University, United States

    2 publications · 183 citations

    2

    h-index

  5. SM
    Stephen Muggleton

    Imperial College London, United Kingdom

    1 publications · 29 citations

    1

    h-index

1–5 of 33

Institutions

22

  1. University of Klagenfurt

    Klagenfurt, Austria

    2 h-index

    2 publications

    183 citations

  2. University of Sheffield

    Sheffield, United Kingdom

    2 h-index

    2 publications

    35 citations

  3. University of Oxford

    Oxford, United Kingdom

    2 h-index

    2 publications

    59 citations

  4. Technical University of Munich

    Munich, Germany

    1 h-index

    1 publications

    61 citations

  5. West Virginia University

    Morgantown, United States

    1 h-index

    1 publications

    144 citations

  6. Technische Universität Dresden

    Dresden, Germany

    1 h-index

    2 publications

    34 citations

  7. University of Waikato

    Hamilton, New Zealand

    1 h-index

    3 publications

    126 citations

  8. University of York

    York, United Kingdom

    1 h-index

    1 publications

    10 citations

1–8 of 22

Venues

  1. Formal Aspects of Computing

    4 publications · 81 citations

    4

    h-index

  2. Science of Computer Programming

    2 publications · 64 citations

    2

    h-index

  3. Research Repository (Delft University of Technology)

    Repository · 1 publications · 27 citations

    1

    h-index

  4. 1

    h-index

  5. Software & Systems Modeling

    SoSyM · 1 publications · 17 citations

    1

    h-index

1–5