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
1990
International Conference on Software Engineering
modular design; productions; rewriting
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
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).
File allegati a questo prodotto
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/394986
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 13
  • ???jsp.display-item.citation.isi??? 7
social impact