Data di Pubblicazione:
1996
Abstract:
The program transformation methodology can provide valuable techniques and tools tot the development of programs from specifications and the reuse and customization of software products. Also various approaches to program optimization and program verification can be based on transformation techniques.
Tipologia CRIS:
01.01 Articolo in rivista
Elenco autori:
Proietti, Maurizio
Link alla scheda completa: