0 calificaciones0% encontró este documento útil (0 votos)
15 vistas19 páginas
Los métodos formales en la ingeniería son técnicas matemáticas para especificar, desarrollar y verificar sistemas de software y hardware. El documento electrónico de Capel de 2005 describe los métodos formales y su aplicación en la ingeniería.
Los métodos formales en la ingeniería son técnicas matemáticas para especificar, desarrollar y verificar sistemas de software y hardware. El documento electrónico de Capel de 2005 describe los métodos formales y su aplicación en la ingeniería.
Los métodos formales en la ingeniería son técnicas matemáticas para especificar, desarrollar y verificar sistemas de software y hardware. El documento electrónico de Capel de 2005 describe los métodos formales y su aplicación en la ingeniería.