A rule-based approach to modular system design
Francesco Parisi-Presicce · IRIS Research product catalog (Sapienza University of Rome) · 1990
The problem of designing a modular software system which realizes a given specification starting from a predefined set of abstract data types is reduced to the problem of deriving the goal specification using the productions and then translating the derivation sequence (if it exists) into an interconnection of algebraic module specifications. The approach is based on the existence of a library of reusable modules, each represented by its visible interfaces in the form of productions