Concepedia

Program Refinement

Program refinement is a formal method in program development that belongs to the class of correctness-preserving transformations, distinguished by its systematic derivation of an executable program from a more abstract specification through a sequence of steps, each justified by semantic models such as operational, denotational, or axiomatic semantics, within the framework of Hoare logic or related deductive verification techniques.

169

Publications

8.5K

Citations

338

Authors

163

Institutions

Publications per year

2017–2026

24

Parents

Publications

169

On the Design and Development of Program Families

David Lorge Parnas · IEEE Transactions on Software Engineering · 1976 · 769 citations

, , +11

Scaling step-wise refinement

Don Batory, Jacob Neal Sarvela, Axel Rauschmayer · IEEE Transactions on Software Engineering · 2004 · 696 citations

, , +16

Data-Based Program Modification: A Manual.

Stanley L. Deno, Phyllis K. Mirkin · 1977 · 424 citations

, , +12

Mixin layers

Yannis Smaragdakis, Don Batory · ACM Transactions on Software Engineering and Methodology · 2002 · 318 citations

, , +16

A theoretical basis for stepwise refinement and the programming calculus

Joseph M. Morris · Science of Computer Programming · 1987 · 309 citations

, , +13

1–5 of 169

Authors

338

  1. CM
    Carroll Morgan

    Oxford Research Group, United Kingdom

    6 publications · 480 citations

    6

    h-index

  2. DB
    Don Batory

    The University of Texas at Austin, United States

    6 publications · 1.3K citations

    6

    h-index

  3. AC
    Ana Cavalcanti

    University of York, United Kingdom

    6 publications · 211 citations

    6

    h-index

  4. JW
    Jim Woodcock

    University of York, United Kingdom

    6 publications · 179 citations

    6

    h-index

  5. IJ
    Ian J. Hayes

    The University of Queensland, Australia

    4 publications · 62 citations

    4

    h-index

1–5 of 338

Institutions

163

  1. The University of Texas at Austin

    Austin, United States

    7 h-index

    15 publications

    2.4K citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    6 h-index

    10 publications

    618 citations

  3. UNSW Sydney

    Sydney, Australia

    6 h-index

    6 publications

    222 citations

  4. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    5 h-index

    9 publications

    498 citations

  5. The University of Queensland

    Brisbane, Australia

    5 h-index

    13 publications

    211 citations

  6. Åbo Akademi University

    Turku, Finland

    5 h-index

    9 publications

    445 citations

  7. University of Oxford

    Oxford, United Kingdom

    5 h-index

    7 publications

    437 citations

  8. University of Kent

    Canterbury, United Kingdom

    5 h-index

    8 publications

    166 citations

1–8 of 163

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 12 publications · 1.8K citations

    11

    h-index

  2. Formal Aspects of Computing

    6 publications · 133 citations

    6

    h-index

  3. Proceedings of the ACM on Programming Languages

    PACMPL · 6 publications · 201 citations

    6

    h-index

  4. ACM SIGPLAN Notices

    6 publications · 177 citations

    6

    h-index

  5. Science of Computer Programming

    5 publications · 406 citations

    5

    h-index

1–5