Mendes, Sueli Bandeira Teixeira <br/><br/>
Métodos para especificaçao de sistemas 

 - Campinas :  [S.n.],  1988 
 - ix, 288 p. :  il.  ;  22 cm. 
 - Colección EBAI .
<br/><br/> 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. -- 
<br/><br/>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. 
<br/><br/><label>Standard No.: </label>DIF-M132 
<br/><br/><label>Subjects--Topical Terms: </label><br/>INGENIERÍA DE SOFTWARE<br/>REQUERIMIENTOS/ESPECIFICACIONES