Proyecto
 (1996)

Laboratorio de Métodos Formales

Más información

Fecha de publicación: 1996
Objetivos: Desarrollar de una plataforma informática para un laboratorio de métodos formales Aplicar la plataforma en un caso empresarial
Año de Inicio/Término: 1996-1997
Financiamiento/Sponsor: Conselho Naciaonal de Pesquisa do Brasil
Rol del Usuario: COINVESTIGADOR(A)
DOI:

434190
Notas: Diseño de una plataforma formal para ingeniería de software centrado el la formalización de requisitos