Métodos para especificaçao de sistemas
Material type:
Item type | Home library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
![]() |
Biblioteca de la Facultad de Informática | D.2.1 MEN (Browse shelf(Opens below)) | Available | DIF-00319 |
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.