Informatica e diritto, XIX Annata, Vol. II, 1993, n. 1, pp. 65-81

Giovanni  Dallara, Carlo Gattei,  Giovanni Sartor

Dinamica del sistemi normativi e calcolo degli eventi
(Relazione al Seminario IDG-CIRFID su "Tecnica della legislazione: metodologie e strumenti informatici", Bologna 4 maggio 1992)

Sommario: 1. Premessa. L'uso della programmazione logica nella redazione delle leggi: il problema della formalizzazione. 2. Il problema: la ricostruzione della normativa vigente. 3. Modifiche implicite modifiche esplicite, e deroghe. 4. Lo strumento informatico: il calcolo degli eventi, una rappresentazione logica e computabile per la dinamica degli atti normativi. 5. La formalizzazione degli atti normativi nel calcolo degli eventi. 6. Le modifiche testuali. 7. Appendice: un prototipo per la monodinamica. Bibliografia.

vai al testo integrale / see full text