Tema: Metodos Formales en IS
Ver Mensaje Individual
  #1 (permalink)  
Antiguo 05/09/2005, 18:08
flacusho
 
Fecha de Ingreso: agosto-2004
Mensajes: 48
Antigüedad: 20 años, 6 meses
Puntos: 0
Exclamación Metodos Formales en IS
Hola a todos!

Aguien tiene información a cerca de los Metodos Formales en la ingenieria de software.
Tengo entendido que sirven para modelar el software a traves de una base matematica.

Alguien tiene idea?

Saludos!