Buscar
Mostrando ítems 1-10 de 9645
Verificação formal na indústria
(Universidade Federal de Minas GeraisUFMG, 2016-02-29)
Formal Methods is a group of system design techniques that use mathematics formalism to assist specification, development and verification steps. The approach can reduce specifications ambiguities and inconsistences, provide ...
Proyecto Urbano A (Turno Mañana)
(Universidad de Belgrano. Programas de las Materias - Facultad de Arquitectura y Urbanismo - Carrera de Arquitectura, Plan 2008.)
OBJETIVOS:
Consideramos a Proyecto urbano el año donde se produce un salto cualitativo entre los años que se enseña y aquellos en los que se aprende.
Cambio de actitud del alumno de una postura receptiva a una activa en ...
Métodos formales para verificar los nuevos desarrollos en sistemas de transporteFormal methods for verify the new developments in transportation systems
(Editorial BonaventurianaIngenieriasMedellín, 2018)
Geometría, formalismo e intuición: David Hilbert y el método axiomático formal (1891-1905)(Geometry, Formalism and Intuition: David Hilbert and the formal Axiomatic Method (1891-1905)
(Universidad Complutense de Madrid, 2014-12)
El artículo presenta y analiza un conjunto de notas manuscritas de clases para cursos sobre geometría, dictados por David Hilbert entre 1891 y 1905. Se argumenta que en estos cursos el autor elabora la concepción de la ...
Estado del arte de la investigación en verificación formal
(Facultad de Ingeniería, 2015)