INFO4MYSTREY , BestMark Mystery2020

This blog created for educational purposes. Info4mystery archive and support student, teacher, Educationalists, Scholars, and other people for learning by facilitating reflection, questioning by self and others, collaboration and by providing contexts for engaging in higher-order thinking. BestMark Mystery

Post Page Advertisement [Top]

What is Simple refinement?

What is Simple refinement?


A specification SP, the programming task it sets, is to generate an algebra A
such that A [SP]. Instead of trying this in a single step, we systematically go through a step-by-step approach, take more and more design decisions and implement each step. This includes selecting behavioural options that are opened by specification, between algorithms that are aware of this behaviour, between data representation schemes, etc. Each such decision is included as a separate step, usually consisting of a local change in detail.

No comments:

Post a comment

any suggestion on my side

Popular Posts

Bottom Ad [Post Page]

| Designed by Colorlib