TY  - BOOK
AU  - Mendes,Sueli Bandeira Teixeira
AU  - Aguiar,Teresa Cristina de
TI  - Métodos para especificaçao de sistemas
T2  - Colección EBAI
PY  - 1988///
CY  - Campinas
PB  - [S.n.]
KW  - INGENIERÍA DE SOFTWARE
KW  - REQUERIMIENTOS/ESPECIFICACIONES
N1  - Libro editado para la III Escuela Argentino-Brasileña de Informática, realizada en Curitiba, Brasil, del 25-01 al 07-02-1998. -- Incluye bibliografía. --;  Especificaciones semi-formales -- Especificación algebraica -- Especificación basada en modelos -- Especificación de sistemas concurrentes usando un modelo operacional -- Descripción suscinta de algunos metodos que utilizan lenguajes semi-formales de especificación -- Descripción suscinta de algunos métodos formales de especificación -- Sistemas formales
ER  -