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
A rule-based approach to modular system design / PARISI PRESICCE, Francesco. - STAMPA. - (1990), pp. 202-211. (Intervento presentato al convegno International Conference on Software Engineering tenutosi a Nice, Francia nel Marzo 1990).
A rule-based approach to modular system design
PARISI PRESICCE, Francesco
1990
Abstract
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| File | Dimensione | Formato | |
|---|---|---|---|
|
Parisi_Rule_1990.pdf
accesso aperto
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
997.58 kB
Formato
Adobe PDF
|
997.58 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
