Refinement calculus

Known as: Calculus (disambiguation) 
The refinement calculus is a formalized approach to stepwise refinement for program construction. The required behaviour of the final executable… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Refinement calculi are program logics which formalize the “top-down” methodology of software development promoted by Dijkstra and… (More)
  • figure 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
7 This article presents a mathematical characterization of object-oriented concepts by defining an observation-oriented semantics… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2003
2003
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalisation of mutation testing… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We present a refinement strategy for Circus, which is the combination of Z, CSP, and the refinement calculus in the setting of… (More)
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2001
2001
We present a comprehensive refinement calculus for the development of sequential, real-time programs from real-time… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
One day, you will discover a new adventure and knowledge by spending more money. But when? Do you think that you need to obtain… (More)
Is this relevant?
1998
1998
Categories We can generalize the notion of a concrete category to an (abstract) category. A category C consists of a collection… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Action systems provide a general description of reactive systems, capable of modeling terminating, aborting and infinitely… (More)
  • figure 1
Is this relevant?
1992
1992
Dijkstra's programming language is extended by ,peci~4tlo", date­ mu,t", which specify parts DC a program ·yet to be developed… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
A lattice theoretic framework for the calculus of program reenement is presented. Speciications and program statements are… (More)
Is this relevant?