Mendes, Sueli Bandeira Teixeira

Métodos para especificaçao de sistemas - Campinas : [S.n.], 1988 - ix, 288 p. : il. ; 22 cm. - Colección EBAI .

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.

DIF-M132


INGENIERÍA DE SOFTWARE
REQUERIMIENTOS/ESPECIFICACIONES