Stepwise refinement method can be formalised algebraically, using specification morphism. Algebraic schemes also oJTer a natural way, like that we have adopted, to modularise specifications in the shape of distinct sort sets. Our definition of stepwise refinement with modularity is a faithful rendition of system development processes, as is shown by the… (More)
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.