This blog is 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.

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

Popular Posts

Bottom Ad [Post Page]

| Designed by Colorlib