Métodos para especificaçao de sistemas

Título:

Métodos para especificaçao de sistemas

Autor:

Mendes, Sueli Bandeira Teixeira

Colaboradores:

Aguiar, Teresa Cristina de

Temas:

INGENIERÍA DE SOFTWARE ; REQUERIMIENTOS/ESPECIFICACIONES ; 

Descripción física:

ix, 288 p.:il.  ;  22 cm.

Idioma:

Portugués, 

País:

Brasil

Publicación:

Campinas, 1988

Nota general:

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. --

Puede solicitar más fácilmente el ejemplar con: D.2.1 MEN

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.