ABSTRACT The experiment was conducted to determine the digestibility coefficients and digestible energy of kudzu meal (Pueraria phaseoloides) in guinea pigs. Ten male guinea pigs of 12 weeks and 828 g of average weight were placed in metabolic cages. Five animals were fed the basal diet (wheat by-product) and the other five were fed with the experimental diet (60% wheat by-product and 40% kudzu meal). The indirect method was used for these determinations. The wheat by-product meal was used as a basal feed and its digestibility coefficient was determined by the direct method. There was a 14-day preexperimental phase for the adaptation of the animals to the facilities and the new diet. The experimental phase was six days, in which the stool collection was performed. In both phases, feed consumption was measured daily. The apparent digestibility coefficients obtained were: 42.90% dry matter, 40.57% organic matter, 81.07% crude protein, 68.86% ethereal extract, 30.77% crude fibre, 30.55% nitrogen free extract and 74.18% ash. The digestible energy value determined by difference was 1.98 Mcal/kg of dry matter.

RESUMEN El experimento fue conducido para determinar los coeficientes de digestibilidad y la energía digestible de la harina de kudzu (Pueraria phaseoloides) en cuyes. Se utilizaron 10 cuyes machos de 12 semanas y 828 g de peso promedio, colocados en jaulas metabólicas. Cinco animales fueron alimentados con la dieta basal (subproducto de trigo) y los otros cinco con la dieta experimental (60% subproducto de trigo y 40% harina de kudzu). Para estas determinaciones se utilizó el método indirecto, teniendo como alimento basal al subproducto de trigo, cuyos coeficientes de digestibilidad se determinaron por el método directo. Se tuvo una fase pre-experimental de 14 días para la adaptación de los cuyes a las instalaciones y la nueva dieta. La fase experimental fue de seis días, en la cual se realizó la colección de heces. En ambas fases se midió diariamente el consumo de alimento. Los coeficientes de digestibilidad aparente obtenidos fueron: 42.90% de materia seca, 40.57% de materia orgánica, 81.07% de proteína cruda, 68.86% de extracto etéreo, 30.77% de fibra cruda, 30.55% de extracto libre de nitrógeno y 74.18% de ceniza. El valor de la energía digestible determinado por diferencia fue de 1.98 Mcal/kg de materia seca.

ABSTRACT Since the middle of the last century was initiated the research in formal methods and was presented proposals and methodologies to apply them in software development. The idea was overcome the diagnosed software crisis through the materialization of the life cycle of this product development. In this article is presented the results of a revision of the literature, about progress and develop the requirement formalization. The conclusion is that both are slow: there is not enough interest in the industry, the academy does not train in formal methods, and there is no sponsorship for this research field, professionals fear mathematics and traditional methodologies of software engineering are still the most used in development teams. Due to the quality efficiency, software security and reliability, it is necessary to reactivate the research and experimentation with all the formal methods, because the hope is that mathematics will be the toll with which the crisis promulgated in the 60s is overcome.

RESUMEN Desde mediados del siglo pasado se inició la investigación en métodos formales y se presentaron propuestas y metodologías para aplicarlos en el desarrollo de software. La idea era superar la diagnosticada crisis del software mediante la matematización del ciclo de vida del desarrollo de este producto. En este artículo se presentan los resultados de una revisión de la literatura, acerca del progreso y desarrollo de la formalización de requisitos. La conclusión es que ambos aspectos son lentos: no hay interés suficiente en la industria, la academia no capacita en métodos formales, no hay patrocinio para este campo de investigación, los profesionales le temen a las matemáticas y las metodologías tradicionales de la Ingeniería del Software siguen siendo las más utilizadas en los equipos de desarrollo. Debido a la deficiencia en la calidad, la seguridad y la fiabilidad del software, es necesario reactivar la investigación y experimentación con los métodos formales, porque la esperanza es que las matemáticas sean la herramienta con la que se supere la crisis del software promulgada en los años 60.

ABSTRACT This study aimed to determine the apparent digestibility coefficients and digestible energy of dry velvet bean fodder (Mucuna pruriens). The indirect method was used, considering as a basal diet the concentrate used in the university guinea pig farm (Lima, Peru). The experiment had an adaptation phase (14 days) and a faecal collection phase (5 days). Ten adult male 3-month old guinea pigs randomly distributed in individual metabolic cages were used. Five animals were fed the basal diet and the other five with the experimental diet: 80% basal diet and 20% dry velvet bean fodder. The apparent digestibility coefficients obtained for the dry velvet bean were: 66.29% dry matter, 66.13% organic matter, 74.02% crude protein, 50.82% crude fibre, 60.18% ether extract, 78.22% nitrogen- free extract and 73.33% ash. The estimated digestible energy value was 2.61 kcal/g.

RESUMEN El estudio tuvo como objetivo determinar los coeficientes de digestibilidad y la energía digestible del forraje seco de mucuna (Mucuna pruriens). Se empleó el método indirecto, considerando como dieta basal el concentrado utilizado en la Granja de Cuyes de Cieneguilla (Lima, Perú). El experimento tuvo una fase de adaptación (14 días) y otra de colección de heces (5 días). Se utilizaron 10 cuyes machos adultos de tres meses de edad, distribuidos en forma aleatoria en jaulas metabólicas individuales. Cinco animales fueron alimentados con la dieta basal y los otros cinco con la dieta experimental: 80% dieta basal y 20% forraje seco de mucuna. Los coeficientes de digestibilidad aparente obtenidos para la mucuna fueron: 66.29% de materia seca, 66.13% de materia orgánica, 74.02% de proteína cruda, 50.82% de fibra cruda, 60.18% de extracto etéreo, 78.22% de extracto libre de nitrógeno y 73.33% de ceniza. El valor de energía digestible estimado fue de 2.61 kcal/g.

Abstract: Testing the software is one of the most important activities in the development life cycle, but has traditionally been carried out at the end of the process, when the product is completed and is about to be released. The complexity of today's software requires the test to run in parallel with the development, so that problems are found early and can be corrected at low cost. The test automation emerged as an alternative to speed up its implementation, as well as to improve product reliability and quality. But, although his study and research began almost 50 years ago, progress still does not meet demand for quality improvement. In this article are presented the results of an integrative literature review, conducted with the aim of establishing an overview of the experiences reported on test automation. It was found that there is still no agreement on its definition and the advantages and limitations are almost personal opinions. In addition, many companies assume automation as a total replacement for manual testing, although their level of maturity still not allowed.

Resumen: Probar el software es una de las actividades más importantes en el ciclo de vida del desarrollo, pero tradicionalmente se ha llevado a cabo al final del proceso, cuando el producto está terminado y está a punto de ser liberado. La complejidad del software actual exige que la prueba se ejecute de forma paralela al desarrollo, de tal manera que los errores se encuentren a tiempo y se puedan corregir a bajo costo. La automatización de las pruebas surgió como una alternativa para agilizar su ejecución, a la vez que para mejorar la fiabilidad del producto y su calidad. Pero, aunque su estudio e investigación se inició hace casi 50 años, su progreso todavía no satisface la demanda por el mejoramiento de la calidad. En este artículo se presentan los resultados de una revisión integradora de la literatura, que se realizó con el objetivo de establecer una visión general de las experiencias reportadas sobre la automatización de las pruebas. Se encontró que todavía no hay acuerdo acerca de su definición y que las ventajas y limitaciones son casi opiniones. Además, que muchas empresas asumen la automatización como un remplazo total de las pruebas manuales, aunque su nivel de madurez todavía no la permita.

Resumen Objetivo: Proponer un marco para elicitar requisitos multidimensionales. Materiales y métodos: Se realiza una revisión de la literatura y se analizan las propuestas de elicitación en las que se tiene en cuenta la multidimensionalidad de los requisitos. Resultados y discusión: Se encontraron 23 trabajos, de los cuales se seleccionaron 15 que cumplieron con las condiciones de calidad y los criterios de inclusión. Estas propuestas relacionan la multidimensionalidad en la elicitación, pero no la tienen en cuenta para construir una especificación de requisitos representativa. Conclusión: Es evidente que no existe unanimidad acerca de las dimensiones desde las que se originan los requisitos y tampoco se gestionan para elicitarlos. Por eso y debido a que se acepta su existencia, se necesita unificar criterios y proponer marcos para elicitar los requisitos multidimensionales.

Abstract Objective: Propose a framework to elicit multidimensional requirements. Materials and methods: A review of the literature is carried out, and the elicitation proposals are analyzed in which the multidimensionality of the requirements is taken into account. Results and discussion: 23 works were found, of which 15 were selected that met the quality conditions and inclusion criteria. These proposals are related to multidimensionality in elicitation but do not take it into account in order to construct a representative requirement specification. Conclusion: It is evident that there is no unanimity about the dimensions from which the requirements originate, and they have not been elicited. For this reason, and because its existence is accepted, it is necessary to unify criteria and propose frameworks to elicit multidimensional requirements.

The aim of the present study was to evaluate the effect of pinto peanut Arachis pintoi in guinea pigs in the growing stage. The experiment lasted for 49 days and included 64 weaned male guinea pigs, arranged in a completely randomized block design with four treatments (0, 5, 10, 15% levels of A. pintoi meal), with four repetitions and four guinea pigs per repetition The results indicate that there was no significant difference between A. pintoi levels for body weight gain, feed intake, feed conversion, carcass yield and economic retribution.

El objetivo del presente estudio fue evaluar el efecto del uso de harina de maní forrajero Arachis pintoi en cuyes en etapa de crecimiento. La duración experimental fue de 49 días, empleándose 64 cuyes machos destetados, dispuestos en un diseño de bloques completamente al azar con cuatro tratamientos (0, 5, 10, 15% de niveles de inclusión de harina de A. pintoi), con cuatro repeticiones y cuatro cuyes por repetición. Los resultados indican que no hubo diferencia significativa entre los niveles de A. pintoi para ganancia de peso, consumo de alimento, conversión alimenticia, rendimiento de carcasa y retribución económica.

Abstract: This article proposes a model to determine the current maturity of test automation as an area of research and development in the software industry. The process and the results of a research that aims to determine the maturity level of automation is described. A systematic review of the literature in which 978 papers were found where are described the models of maturity of software testing and/or analyze the effectiveness and efficiency of automation was performed. After a process of analysis and apply the inclusion/exclusion criteria and quality assessment 26 papers were extracted. The final conclusion is that the current maturity level of automation of software testing is teenager.

Resumen: En este artículo se propone un modelo para determinar la madurez actual de la automatización de las pruebas como área de investigación y de desarrollo en la industria del software. Se describe el proceso y los resultados de una investigación que tiene como objetivo determinar el nivel de madurez de la automatización. Se realizó una revisión sistemática de la literatura en la que se encontraron 978 trabajos que describen modelos de madurez de las pruebas del software y/o analizan la eficacia y la eficiencia de la automatización hasta el momento. Luego de un proceso de análisis y de aplicar los criterios de inclusión/exclusión y de valoración a la calidad se extrajeron 26 trabajos. La conclusión final es que el nivel de madurez actual de la automatización de las pruebas del software es Adolescente.

Different researchers have proposed techniques and models for eliciting requirements, and most described process and recommendations to capture them, but there are few details on how to document with this step. Although the community has widely recognized the importance of engineering requirements, and elicitation of an important stage of this phase of software engineering, there have been few studies to guide engineers to document this elicitation. The importance of proper documentation of this step is that it allows a better understanding of customer and the user needs, and helps engineers to best perceive the problem, and model a solution that adequately reflected in the Specification. In this work are presented the results of a literature review, aimed at discovering, analyzing and comparing the proposals to document the elicitation of requirements. 73 works were consulted in the databases, of which 18 formed the final sample. The conclusion is that more work is missing on what to do with this documentation, because none of the studies analyzed directly and completely describes a proposal to do so.

Diferentes investigadores han propuesto técnicas y modelos para elicitar requisitos y la mayoría describe procesos y recomendaciones para capturarlos, pero muy pocos detallan cómo documentarlos en esta etapa. Aunque en la comunidad se reconoce ampliamente la importancia de la ingeniería de requisitos y de la elicitación como una etapa importante de esta fase de la ingeniería del software, se han presentado pocos trabajos que orienten a los ingenieros a documentar esa elicitación. La importancia de una adecuada documentación de esta etapa radica en que permite una mayor comprensión de las necesidades del cliente y el usuario, y les ayuda a los ingenieros a percibir de mejor forma el problema y a modelar una solución que se refleje adecuadamente en la especificación. En este trabajo se presentan los resultados de una revisión sistemática de la literatura, orientada a conocer, analizar y comparar las propuestas para documentar la elicitación de requisitos. Se consultaron 73 trabajos en las bases de datos, de los cuales 18 conforman la muestra final. La conclusión es que falta más trabajo en lo que tiene que ver con esta documentación, porque ninguno de los trabajos analizados describe una propuesta directa y completa para hacerlo.

Introducción: Aunque el sobrepeso/obesidad, adiposidad aumentada e inactividad física se asocian a menor variabilidad cardíaca y desregulación autonómica, no se ha explorado en detalle la relación entre estos factores en sujetos de bajo riesgo metabólico. Objetivo: Analizar el tipo y fuerza de asociación entre la variabilidad cardíaca en reposo y la adiposidad en hombres jóvenes, delgados y físicamente activos. Metodología: Estudio descriptivo transversal. Se analizaron los componentes espectrales de la variabilidad cardíaca en 24 hombres de 18-30 años físicamente activos, con peso y adiposidad normales. Se realizaron análisis de regresión lineal múltiple para explicar la variabilidad cardíaca en función de la relación cintura/cadera, pliegue abdominal y actividad física. Resultados: El volumen de actividad física semanal se relacionó positivamente con RMSSD y HF, y negativamente con LF y LF/HF. La relación cintura/cadera y el pliegue abdominal se relacionaron positivamente con HF y negativamente con LF y LF/HF. En todos los casos, los coeficientes de regresión β tipificados estuvieron entre 0,395 y 0,505 (p<0,05). El índice de grasa visceral calculado a partir de bioimpedancia no mostró relación alguna. Conclusiones: Los hallazgos aquí reportados son indicativos de que en hombres jóvenes, delgados y físicamente activos, la actividad física y la grasa subcutánea se relacionan positivamente con el tono vagal y negativamente con el tono simpático, lo que lleva a postular que la acumulación del exceso calórico en forma de tejido adiposo subcutáneo (y no visceral) podría ser un mecanismo de protección contra el desarrollo de síndrome metabólico en estos sujetos.

Objective: To measure the type and strength of the potential association between heart rate variability at rest and some indicators of adiposity in young, lean, and physically active men. Introduction: Although overweight/obesity, increased adiposity and physical inactivity are associated with decreased heart rate variability and autonomic dysregulation, the relationship between these factors has not been explored in detail in subjects with low metabolic risk: normal weight, low adiposity and physically active. Methodology: Cross-sectional analytical study. The spectral components of heart rate variability were analyzed in 24 physically active men, 18-30 years old, with normal weight and adiposity. Multiple linear regression analysis was performed to explain heart rate variability as a function of waist to hip ratio, abdominal skinfod and physical activity. Results: The volume of weekly physical activity was positively related to RMSSD and HF, and negatively with LF and LF/HF. Both the waist to hip ratio and abdominal skinfold were positively related with HF, and negatively with LF and LF/HF. In all cases, the B regression standardized coefficients were between 0.395 and 0.505 (p<0.05). The visceral fat rating calculated from bioimpedance showed no relation. Conclusions: The findings reported here are indicative that in young, lean and physically active men, physical activity and subcutaneous fat are positively related to vagal tone and negatively with sympathetic tone. This leads us to postulate that the accumulation of caloric excess in the form of subcutaneous adipose tissue (not visceral) might be a protective mechanism against the development of metabolic syndrome in these subjects.

This study was carried out to determine the digestibility coefficients and digestible energy of Arachis pintoi, Stylozanthes guianensis, Erythrina poeppigiana, Centrocema macrocarpum and Pueraria phaseoloides. The direct method was used, using the same forage as the only food. The experiment had two phases, one for adaptation and one of faeces collection, with duration of 15 and 5 days, respectively. We used 25 male guinea pigs in growth stage distributed in order to get 5 guinea pigs for each tropical legume evaluated. The digestibility coefficients of nutrients were numerically higher for Arachis pintoi (51,96, 56,80, 29,46 y 71,32 percent of the dry matter, crude protein, crude fiber and nitrogen free extract digestibility, respectively) than for all the other treatments, except for the ash. Likewise, digestible energy values (in dry basis) were greater for Arachis pintoi (2,20 kcal/g) than for all other forages.

El experimento fue conducido para determinar los coeficientes de digestibilidad y la energía digestible del Arachis pintoi, Stylozanthes guianensis, Erythrina poeppigiana, Centrocema macrocarpum y Pueraria phaseoloides. Se empleo el método directo, usando el mismo forraje como único alimento. El experimento tuvo dos fases, una de adaptación y una de colección de heces, con una duración de 15 y 5 días, respectivamente. Se utilizaron 25 cuyes machos en etapa de crecimiento distribuidos de tal manera que 5 cuyes correspondieron a cada leguminosa tropical evaluada. Los coeficientes de digestibilidad de los nutrientes del Arachis pintoi (51,96, 56,80, 29,46 y 71,32 por ciento de digestibilidad de la materia seca, proteína cruda, fibra cruda y extracto libre de nitrógeno, respectivamente) fueron cuantitativamente superiores a los otros tratamientos a excepción de la ceniza. Asimismo, los valores de energía digestible (en base seca) obtenidos fueron mayores en el Arachis pintoi (2,20 Kcal/g) que los otros forrajes.

En el transcurrir de la historia de la ciencia, se presentan diversos momentos en los que sus protagonistas han dejado su legado impreso. Aunque el dinamismo de la ciencia no permite su estancamiento en el tiempo, cada era la impregna de hechos, realidades y coyunturas que se deben analizar desde una mirada analítica e imparcial. En este artículo se presenta uno de esos análisis con el objetivo de definir qué es y qué no es ciencia, y se intenta responder al interrogante de para qué se hace ciencia, todo con una visión de disciplinariedad científica.

In the course of history of science had presented many times when its protagonists have left their legacy printed. Although the dynamism of science does not allow stagnation in time, each was impregnated with facts, realities, and situations that should be analyzed from an analytical and unbiased look. This article presents one such analysis to define what is and is not science, and attempts to answer the question of what is science done for all from a vision of scientific disciplinarity.

No curso da história da ciência tinha apresentado muitas vezes quando seus protagonistas não deixaram o seu legado impresso. Embora o dinamismo da ciência não permite que a estagnação no tempo, cada um foi impregnado com fatos, realidades e situações que devem ser analisados a partir de um olhar analítico e imparcial. Este artigo apresenta uma tal análise para definir o que é e não é ciência, e tenta responder À questão sobre o que é ciência feita para, tudo a partir de uma visão de disciplinaridade científica.

De acuerdo con los resultados de la investigación realizada para este trabajo la ingeniería en Colombia está en crisis. El proceso consistió de una revisión a la literatura acerca de esta cuestión y de un análisis a la información presentada. De acuerdo con los resultados del análisis a los 23 trabajos de la muestra final, una de las mayores causas para esta crisis es que existe una inadecuada interpretación del concepto de ingeniería por parte de la industria, el Estado, la academia y la sociedad. La industria no tiene claridad acerca de las funciones que puede desempeñar la mayoría de ingenieros; el Estado no ejerce un adecuado control, reglamentación ni prospectiva para las necesidades que tiene el país en cuestiones ingenieriles; los procesos formativos en la academia no atienden eficientemente las necesidades del sector y parecen estar en dirección contraria al desarrollo del mundo globalizado, y la sociedad desconoce la profesión y valora más ocupaciones como la música, la televisión, el modelaje y el deporte

According to the results of research conducted for this paperwork, engineering in Colombia is in crisis. The process consisted of a literature review on this issue and an analysis of the information submitted. According to the results of the analysis to the 23 works of the final sample, one of the major causes of this crisis is that there is an inadequate interpretation of engineering concept by industry, the state, academia and society. The industry has no clarity about the roles that can play the most engineers; the State does not exercise an adequate control, regulation or prospects for the need of the country in engineering issues; training processes in the academy not attend efficiently the needs of the sector and seem to be in the opposite direction to the development of the globalized world, and society unknown the profession and value more occupations such as music, television, modeling and sport

In recent years research in formal verification of hardware and software has reached important progresses in the development of methodologies and tools to meet the increasing complexity of systems. The explicit role of Formal Verification is to find errors and to improve the reliability on the accuracy of system design, which implies a challenge for software engineering of this century. The purpose of this research is to perform a systematic review of the literature to establish the state of the art of research in formal verification during the last 10 years and to identify the approaches, methods, techniques and methodologies used, as well as the intensity of those research activities. During the process it was found that research in this field has doubled since 2005, and that the mean value of researches conducted year after year remains the same and that prevail the application in control and interaction systems. Additionally it was found that, the case study is the most used method and that empirical research is the most applied type.

En años recientes, la investigación en verificación formal de hardware y software ha logrado importantes progresos en el desarrollo de metodologías y herramientas para hacer frente a la creciente complejidad de los sistemas. La función explícita de la verificación formal es encontrar errores y mejorar la confianza en la exactitud del diseño del sistema, lo que supone un reto para la ingeniería de software de este siglo. El objetivo de esta investigación fue realizar una revisión sistemática a la literatura para determinar el estado del arte de la investigación en verificación formal en los últimos 10 años e identificar los enfoques, métodos, técnicas y metodologías empleadas, lo mismo que la intensidad de esa investigación. En el proceso se encontró que la investigación en esta área se duplicó a partir del año 2005, que hasta el momento mantiene un número promedio de investigaciones año tras año y que predomina la aplicación en sistemas de control e interacción. Además, que el estudio de caso es el método más utilizado y que la investigación empírica es la más aplicada.

This article is about the logic and abstraction seen as a necessary relation in the formative process engineers. It describes the importance and the need for training in this area of knowledge and the relationship between professional exercise of the engineers and the development and/or potentiation of logical-interpretative and abstractive ability for problem solution. It is a research-review-reflection work about the importance of these two components, viewed structurally from the curriculum. It is the product of the first phase of the research "The capacity logical-interpretative and abstractive as a basic component for professional exercise of the engineers".

Este artículo se enfoca en la lógica y la abstracción vistas como una relación necesaria en los procesos formativos de los ingenieros. Se describe la importancia y la necesidad de formar en esta área del conocimiento y de la relación entre el ejercicio profesional de los ingenieros y el desarrollo y potencialización de su capacidad lógico-interpretativa y abstractiva para la resolución de problemas. Es un trabajo de investigación-revisión-reflexión acerca de la importancia de estos dos componentes, vistos estructuralmente desde el currículo. Es el producto de una primera fase de la investigación sobre "desarrollo de la capacidad lógico-interpretativa y abstractiva como componente básico para el ejercicio profesional de los ingenieros".

Formal specification is an active research field in software engineering of this century, where different configurations and techniques are employed and although their industrial use is still limited, the scientific community currently has a different understanding about its usefulness and necessity. Until present time, researchers' work focuses on the specification written during the design of the preliminary functional model, for this reason it mainly focuses on evaluating the related tools. In this paper, a literature review is performed, covering the essence, function, use and disadvantages of formal specification techniques and some assessment and evaluation criteria are analyzed regarding their weaknesses. The results become the basis for future work formulation, aimed to the strengthening of formal specification as a core research activity.

La especificación formal es un área de investigación activa en la ingeniería de software de este siglo, en la que se aplica en diversas configuraciones y técnicas, y aunque su uso industrial todavía es limitado, la comunidad científica tiene actualmente una comprensión diferente acerca de su utilidad y necesidad. Hasta el momento el trabajo de los investigadores se focaliza en la especificación escrita durante el diseño del modelo funcional preliminar, por lo que se centra principalmente en evaluar las herramientas relacionadas. En este trabajo se realiza una revisión a la literatura, se hace un recorrido por la esencia, la función, el uso y los inconvenientes de las técnicas de especificación formal y se analizan algunos criterios de valoración y de evaluación a sus debilidades. Los resultados se convierten en la base para formular trabajos futuros, con el objetivo de buscar que la especificación formal se afiance como actividad básica de investigación.