A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Parisi-Presicce, F., Foundations of rule-based design of modular systems, Theoretical Computer Science 83 (1991) 131-155. By treating the interfaces of a module specification as a production, we combine notions from the well known theory of algebraic graph grammars with the theory of large software system specifications to tackle the problem of designing modular systems. Given a goal specification, a library of module specifications as reusable software components and a collection ofdoi:10.1016/0304-3975(91)90042-z fatcat:ajljvclqlrbgjhrsgbnc5vqism