![](/statics/img/blank.png)
ER Model Transformation
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 3.0/5 - 1 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
Circa ER Model Transformation
Le entità e le relazioni vengono specificate come tipi definiti dall'utente. Utilizzeremo lo strumento di prova PVS. La verifica comporta la prova delle condizioni di correttezza del tipo generate automaticamente dal controllo del tipo.