OCR Information and communication technology for AS : revision guide.

Guía de repaso para los alumnos de enseñanza secundaria que estén preparando el examen de tecnologías de la información y la comunicación (TIC) según la especificación del OCR (Oxford Cambridge and RSA Examinations) para el nivel AS. Es un resumen básico de los temas principales que se evalúan en la prueba oficial y cubre las siguientes áreas: datos, información, conocimiento y proceso, componentes de software y hardware de los sistemas de información, características de las aplicaciones de software estándar y áreas de utilización, conceptos de hojas de cálculo, conceptos de bases de datos relacionales, aplicaciones de software usadas para la presentación y la comunicación de datos, papel e impacto de las TIC.

Information, communication & technology AS Level.

Este libro ha sido editado y actualizado para satisfacer las necesidades del AQA examen de secundaria proporcionando grandes oportunidades para el trabajo práctico. Los temas del libro son: salud y seguridad y el uso de sistemas ICT, análisis de problemas y software (crear una hoja de cálculo, crear una página web), diseño de soluciones (ejemplos, elección de un software), selección y uso de dispositivos de almacenamiento, pantallas, impresoras, altavoces, un sistema ICT y sus componentes, los datos y la información, características de los usuarios, transferencia de datos: redes, factores que afectan el uso de las nuevas tecnologías, las consecuencias de su uso y el impacto que provocan.

AQA Information and Communication Technology: The Essential Guide.

Este libro ha sido editado y actualizado para satisfacer las necesidades del AQA examen de secundaria de la asignatura Información y Tecnología de la Comunicación proporcionando grandes oportunidades para el trabajo práctico. Los temas del libro son: los sistemas de ordenador, el sistema operativo, redes de comunicación y entretenimiento, el ciclo de vida de los sistemas, procesador de textos Word, presentación del software, diseño de la Web, software para audio y DVD, transfiriendo datos entre aplicaciones, hojas de cálculo, bases de datos, redes sociales y foros, cuestiones legales relacionadas con el uso de las nuevas tecnologías, un comportamiento responsable online.

Integrating Educational Technology into Teaching.

Como la tecnología cambia en nuestra sociedad, los educadores necesitan demostrar las habilidades y comportamientos de profesionales. Este libro prepara para el curriculum tecnológico en la enseñanza primaria y secundaria. Los temas del libro son: introducción de la tecnología en la educación, integrando software y herramientas para enseñar y aprender (enseñando con las tres herramientas básicas de software: procesador de textos Word, hoja de cálculo y base de datos, enseñando con multimedia e Hipermedia), integrando tecnología a través del curriculum (el papel de Internet en la educación, integrando Internet en el curriculum).

Servidor de datos LiDAR y diferentes clientes en software libre

Cada vez hay más datos LiDAR disponibles que cubren grandes extensiones del territorio pero la distribución de este tipo de datos todavía no se ha resuelto debido al elevado volumen de datos y a que el análisis de la información no es trivial para usuarios no expertos en tecnología LiDAR. Actualmente DIELMO está llevando a cabo un proyecto implementar diferentes servicios para la distribución de datos LiDAR a través de una IDE

A compositional framework for hardware/software co-design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derive from a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.

Methodology To model the energy and greenhouse gas emissions of electronic software distributions

A new electronic software distribution (ESD) life cycle analysis (LCA)methodology and model structure were constructed to calculate energy consumption and greenhouse gas (GHG) emissions. In order to counteract the use of high level, top-down modeling efforts, and to increase result accuracy, a focus upon device details and data routes was taken. In order to compare ESD to a relevant physical distribution alternative,physical model boundaries and variables were described. The methodology was compiled from the analysis and operational data of a major online store which provides ESD and physical distribution options. The ESD method included the calculation of power consumption of data center server and networking devices. An in-depth method to calculate server efficiency and utilization was also included to account for virtualization and server efficiency features. Internet transfer power consumption was analyzed taking into account the number of data hops and networking devices used. The power consumed by online browsing and downloading was also factored into the model. The embedded CO2e of server and networking devices was proportioned to each ESD process. Three U.K.-based ESD scenarios were analyzed using the model which revealed potential CO2e savings of 83% when ESD was used over physical distribution. Results also highlighted the importance of server efficiency and utilization methods.

Calculating the application criticality and business risk from technology obsolescence

The problem of technology obsolescence in information intensive businesses (software and hardware no longer being supported and replaced by improved and different solutions) and a cost constrained market can severely increase costs and operational, and ultimately reputation risk. Although many businesses recognise technological obsolescence, the pervasive nature of technology often means they have little information to identify the risk and location of pending obsolescence and little money to apply to the solution. This paper presents a low cost structured method to identify obsolete software and the risk of their obsolescence where the structure of a business and its supporting IT resources can be captured, modelled, analysed and the risk to the business of technology obsolescence identified to enable remedial action using qualified obsolescence information. The technique is based on a structured modelling approach using enterprise architecture models and a heatmap algorithm to highlight high risk obsolescent elements. The method has been tested and applied in practice in three consulting studies carried out by Capgemini involving four UK police forces. However the generic technique could be applied to any industry based on plans to improve it using ontology framework methods. This paper contains details of enterprise architecture meta-models and related modelling.

Assessing the business risk of technology obsolescence through enterprise modelling

The problem of technology obsolescence in information intensive businesses (software and hardware no longer being supported and replaced by improved and different solutions) and a cost constrained market can severely increase costs and operational, and ultimately reputation risk. Although many businesses recognise technological obsolescence, the pervasive nature of technology often means they have little information to identify the risk and location of pending obsolescence and little money to apply to the solution. This paper presents a low cost structured method to identify obsolete software and the risk of their obsolescence where the structure of a business and its supporting IT resources can be captured, modelled, analysed and the risk to the business of technology obsolescence identified to enable remedial action using qualified obsolescence information. The technique is based on a structured modelling approach using enterprise architecture models and a heatmap algorithm to highlight high risk obsolescent elements. The method has been tested and applied in practice in two consulting studies carried out by Capgemini involving three UK police forces. However the generic technique could be applied to any industry based on plans to improve it using ontology framework methods. This paper contains details of enterprise architecture meta-models and related modelling.

Software evolution: a graph based model

A model based on graph isomorphisms is used to formalize software evolution. Step by step we narrow the search space by an informed selection of the attributes based on the current state-of-the-art in software engineering and generate a seed solution. We then traverse the resulting space using graph isomorphisms and other set operations over the vertex sets. The new solutions will preserve the desired attributes. The goal of defining an isomorphism based search mechanism is to construct predictors of evolution that can facilitate the automation of ’software factory’ paradigm. The model allows for automation via software tools implementing the concepts.

Software evolution: a graph based model

A model based on graph isomorphisms is used to formalize software evolution. Step by step we narrow the search space by an informed selection of the attributes based on the current state-of-the-art in software engineering and generate a seed solution. We then traverse the resulting space using graph isomorphisms and other set operations over the vertex sets. The new solutions will preserve the desired attributes. The goal of defining an isomorphism based search mechanism is to construct predictors of evolution that can facilitate the automation of ’software factory’ paradigm. The model allows for automation via software tools implementing the concepts.