ESE Front End 2.0

Colaboradores:: Ing. Lochi Yu Lo, PhD.
Autores:: D Gajski and S Abdi and Y Hwang and L Yu and H Cho and I Viskic
Revista:: University of California, Irvine, Tech. Rep
Editor:: N/A
URL:: https://pdfs.semanticscholar.org/861a/204c76e9dc1a355f6a9e33d6d146631d12e0.pdf

Resumen

This new ESE methodology does not require any changes in the present corporate methodology and offers three orders of magnitude of productivity gain because of automatic model generation, synthesis and verification.. It reduces bugs since the mundane tasks of generating models and verifying them is automatic.