Stepwise Refinement Process with Modularity: An Algebraic Approach

Abstract

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)
DOI: 10.1145/74587.74611

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics