SCRATCH ? 2 GRANDES EXPLORADORES (Didáctica: tecnología)
PROYECTO ARROBA, TECNOLOGÍA, 2 ESO (ANDALUCÍA). GUÍA DIDÁCTICA (Didáctica: tecnología)
ESPECIFICACIÓN, VERIFICACIÓN Y DERIVACIÓN FORMAL DE PROGRAMA (Didáctica: tecnología)
Actualmente, existen los conocimientos, los métodos y la tecnología para que se pudiera construir software totalmente fiable, es decir, libre de errores. Esto es debido a que, en el caso del software crítico, del que pueden depender vidas de personas, sí se utiliza toda la tecnología necesaria para garantizar su fiabilidad. ¿Por qué, entonces, no se aplican estas mismas técnicas en el desarrollo del software no crítico? En este sentido, este libro va en la buena dirección, a contracorriente de esa tendencia lamentable de muchas universidades españolas. En particular, este excelente libro suministra el material para un curso de formación introductoria en técnicas básicas de especificación, transformación y verificación de programas, que están detrás de los métodos que se utilizan para la construcción de software fiable.
Actualmente, existen los conocimientos, los métodos y la tecnología para que se pudiera construir software totalmente fiable, es decir, libre de errores. Esto es debido a que, en el caso del software crítico, del que pueden depender vidas de personas, sí se utiliza toda la tecnología necesaria para garantizar su fiabilidad. ¿Por qué, entonces, no se aplican estas mismas técnicas en el desarrollo del software no crítico? En este sentido, este libro va en la buena dirección, a contracorriente de esa tendencia lamentable de muchas universidades españolas. En particular, este excelente libro suministra el material para un curso de formación introductoria en técnicas básicas de especificación, transformación y verificación de programas, que están detrás de los métodos que se utilizan para la construcción de software fiable.CUADERNO DE EJERCICIOS Y PRÁCTICAS DE METROLOGÍA Y VERIFICACIÓN DE PRODUCTOS EN FABRICACIÓN MECÁNICA (Didáctica: tecnología)
ELECTRÓNICA BÁSICA PARA INGENIEROS: PROBLEMAS RESUELTOS (Didáctica: tecnología)
GUÍA Y RECURSOS TECNOLOGÍA 4 ESO SERIE POLEA LOS CAMINOS DEL SABER SANTILLANA (Didáctica: tecnología)
TECNOLOGÍA 1.º ESO ÁNFORA LIBRO DE PROFESOR (Didáctica: tecnología)
CUADERNO DE PROYECTOS TECNOLOGÍAS 1 (Didáctica: tecnología)
COMERCIO ELECTRÓNICO Y PLAN DE MARKETING DIGITAL (Didáctica: tecnología)
PROYECTO ADARVE, MOTRIZ, TECNOLOGÍA, 1 ESO. CUADERNO 4 (Didáctica: tecnología)
LIR ALUMNO: TECNOLOGÍAS I. ESO. CONECTA 2.0 (TOLEDO PALLARÉS, LUIS CARLOS / BARBADO HERRERA, CARLOS / MARTÍN ALONSO, LUIS / CARRASCAL GARCÍA, ALBERTO / GARCÍA ORTIZ, JUAN JOSÉ) (Didáctica: tecnología)
Un libro adaptado a los contenidos curriculares de Tecnología acompañado de un elevado número de actividades teóricas, prácticas e interactivas. Ofrece la posibilidad de continuar el aprendizaje práctico con el Cuaderno de proyectos. Son piezas clave: - Unos contenidos rigurosos y actualizados, atentos a lo general y a lo autonómico. - Un aprendizaje significativo que busca la aplicación de los contenidos mediante situaciones comunicativas cercanas al alumno. - Un enfoque TIC, con conexiones a actividades interactivas. - Una atención flexible del alumnado, con páginas de refuerzo por unidad. - Una enseñanza en valores abierta a desarrollar el pensamiento crítico
Un libro adaptado a los contenidos curriculares de Tecnología acompañado de un elevado número de actividades teóricas, prácticas e interactivas. Ofrece la posibilidad de continuar el aprendizaje práctico con el Cuaderno de proyectos. Son piezas clave: - Unos contenidos rigurosos y actualizados, atentos a lo general y a lo autonómico. - Un aprendizaje significativo que busca la aplicación de los contenidos mediante situaciones comunicativas cercanas al alumno. - Un enfoque TIC, con conexiones a actividades interactivas. - Una atención flexible del alumnado, con páginas de refuerzo por unidad. - Una enseñanza en valores abierta a desarrollar el pensamiento crítico











