What Do We Have So Far?

Putting all this together, we have:
/*------------------------------------------------------*/
/* Main program                                         */
/*------------------------------------------------------*/
do forever
   call display
   /*---------------------------------------------------*/
   /* Mouse's turn                                      */
   /*---------------------------------------------------*/
    ...

   if mouse = hole then leave           /* reaches hole */
   if mouse = cat then leave            /* hits cat     */
   /*---------------------------------------------------*/
   /* Cat's turn                                        */
   /*---------------------------------------------------*/
    ...

   if cat = mouse then leave
end

/*------------------------------------------------------*/
/* Conclusion                                           */
/*------------------------------------------------------*/
call display
if cat = mouse then say "Cat wins"
else say "Mouse wins"
exit

/*------------------------------------------------------*/
/* Subroutine to display the state of play              */
/*                                                      */
/* Input: CAT and MOUSE                                 */
/*                                                      */
/*------------------------------------------------------*/
display:
 ...
The method that we have just discussed is sometimes called stepwise refinement. You start with a specification (which may be incomplete). Then you divide the proposed program into routines, such that each routine will be easier to code than the program as a whole. Then you repeat the process for each of these routines until you reach routines that you are sure you can code correctly at the first attempt.
While you are doing this, keep asking yourself two questions:

Concept Concept

Feedback


Timestamp icon Last updated: Tuesday, 7 January 2014


http://pic.dhe.ibm.com/infocenter/cicsts/v5r1/topic/com.ibm.cics.rexx.doc//dfhrx/rvse055.html