Estudio de la Efectividad de Tres Técnicas de Evaluación de Código: Resultados de una Serie de Experimentos.

Hasta la fecha se han evaluado distintas técnicas de verificación y validación teórica y empíricamente. La mayoría de las evaluaciones empíricas se han llevado a cabo sin sujetos, abstrayendo el efecto del sujeto sobre la técnica a la hora de aplicarla. Hemos evaluado mediante un experimento con sujetos la efectividad de tres técnicas de verificación y validación de código: partición en clases de equivalencia, cobertura de decisión y lectura de código mediante abstracciones sucesivas, estudiando la capacidad de las técnicas para la detección de fallos en tres programas distintos. Hemos replicado el experimento ocho veces en cuatro entornos distintos. Los resultados arrojan diferencias entre las técnicas y señalan variables contextuales del proyecto software que deberían considerarse cuando se quiera elegir o aplicar una técnica de verificación y validación.

Diseño de la metodología para el control de la calidad de la exactitud posicional de la serie L del Centro geográfico del Ejército de Tierra (CEGET).

En este trabajo se ha evaluado la hoja correspondiente a la 1074 del Mapa Topográfico Nacional (Tahivilla) o 13-47 de la “serie L” (1:50.000) según la denominación del Centro Geográfico del Ejército de Tierra en tres formatos distintos; formato en impreso en papel, formato raster, y formato vectorial. Con este Proyecto Fin de Carrera se pretende desarrollar una metodología adecuada para el control de calidad en la exactitud posicional de la serie L del Centro Geográfico del Ejército de Tierra (C.E.G.E.T.), así como aplicar, ampliar y afianzar los conocimientos adquiridos a lo largo de los cursos de la titulación de Ingeniero Técnico en Topografía. Se debe mencionar la necesidad de realizar este tipo de controles a la cartografía editada en los distintos formatos, ya que se pueden obtener enseñanzas que afecten al flujo de producción, además de cumplir los estándares marcados por la alianza para los centros productores de cartografía de los países miembros de la OTAN. Según el estudio expuesto en este proyecto, se puede afirmar que el control de calidad de la exactitud posicional según lo recogido en el STANAG 2215, “Evaluation of land maps, aeronautical charts and digital topographic data”, la clasificación OTAN para dicha serie, es AA-M10. La hoja de “Tahivilla” se eligió por se una de las últimas editadas por el CEGET, y por responder a unas características generales representaticas de la serie L. El Proyecto Fin de Carrera, está dirigido a todos los expertos en la materia, personal docente y alumnos de Ingeniería Técnica en Topografía y alumnos de Grado en Ingeniería Geomática y Topografía. Este proyecto se realiza como parte del control de calidad que el CEGET realiza a la serie L. En concreto de la última edición publicada en el año 2010. Además, la Escuela Técnica Superior de Ingenieros en Topografía Geodesia y Cartografía mediante el convenio firmado con el CEGET, se compromete a colaborar activamente con dicho Centro en las necesidades que cada Proyecto Fin de Carrera surja de este convenio.

La nueva Serie 500 de Fendt. Con el privilegio de ser de los primeros en probarla

Prueba de campo de la serie 500 de Fendt

Massey Ferguson Serie 1500. Rojo vida

Presentación de la serie 1500 de Massey Ferguson

Serie 6030 de John Deere ¡trabaja y disfruta!

Prueba de campo de la serie 6030 de John Deere

La serie Massey Fergusson 3600 : Tractor joven y perfeccionado

Los tractores que quiero analizar son los nuevos de la Serie 3600, tractores Massey Ferguson. La serie 3600, que sustituye a la prestigiosa 3400, se presentó a nivel mundial en FIMA 2008 de Zaragoza. He tenido la suerte de probar un tractor que pertenece al tipo de los tractores que me gustan (los pequeños: viñeros, fruteros, estrechos…), y ahora tengo un problema: ¿Cómo sintetizar en éstas pocas páginas lo bueno que ofrecen estos tractores?

Scholastica historia / Magistri Petri comestoris sacre scripture serie[m] breue[m] nimis [et] expositam exponentis.

Capitulares miniadas en rojo y azul

Análisis comparativo de series temporales de precio de diferentes metales : obtención de una serie -resumen

El objetivo de este proyecto de investigación es analizar el conjunto de las diez series temporales, relativas a los precios de diez metales (plata, aluminio, oro, cobre, níquel, paladio, plomo, platino, estaño y zinc), comprendidos en el periodo de enero de 2008 a septiembre de 2013, con el objetivo de reducir la dimensionalidad del conjunto de datos y facilitar la comparación de los mismos y la predicción de valores futuros. Para ello pretendemos aplicar una metodología, que nos permitirá deducir, a partir de una serie resumen y de unos coeficientes multiplicativos, la evolución del comportamiento de cualquier otro metal. Pese a la escasísima documentación existente al respecto, se valorará e intentará aplicarse una reciente metodología denominada “Metodología del haz de rectas” Como herramienta de trabajo para los programas informáticos desarrollados y para representar las gráficas asociadas al proyecto, se utilizó Matlab®, habida cuenta de su enorme potencia y por disponer de un lenguaje de programación sencillo y lo suficientemente versátil para las tareas que necesitamos. Abstract. The objective of this research project is to analyze the set of ten time series on prices of the ten metals (silver, aluminum, gold, copper, nickel, palladium, lead, platinum, tin and zinc), included in the period January 2008 to September 2013, with the aim of reducing the dimensionality of the data set and to facilitate comparison of the data and the prediction of future values To apply this methodology, allowing us to predict, from a series summarizes the evolution of the behavior of any other metal. This methodology is called "straight beam Methodology" As a tool for developing computer software and associated graphs to represent the project, Matlab® was used in view of its enormous power and have a simple programming language and versatile enough for the tasks we need

Notas sueltas sobre el desarrollo de la ciencia en España (Primera Serie)

Lo primero que tiene que hacer algo que se quiere desarrollar, es nacer. ¿Puede relacionarse esto con la Ciencia en España? Ha habido chispas fulgurantes: «Ese es el camino », dijeron muchas voces. Pero lo dijeron cuando la chispa estaba a punto de agotarse. O cuando estaba agotada ya. Estatuas, discursos...

Notas sueltas sobre el desarrollo de la ciencia en España (Segunda serie)

Ha habido siempre un fondo de aislamiento celtíbero que, a lo largo de los siglos, ha cortado siempre nuestro posible nacer científico. Ha habido cosas muy curiosas y que son casi por completo desconocidas para la mayoría de la gente. Hay partes de nuestra historia que son casi por completo ignoradas.

Funcionamiento de reguladores de presión en paralelo y serie.

Modelación matemática fundamentada en los fenómenos de pérdidas de carga y empuje de llaves hidráulica reguladoras de presión. Las estaciones reguladoras de presión están formadas por la agrupación, generalmente dos, de estos dispositivos en serie o en paralelo, según las características de la demanda y de la magnitud de la presión a regular.

La muerte del aura o el recurso de la ambigüedad como teorema

La muerte del aura o el recurso de la ambigüedad como teorema