Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods

Software Engineering is considered a knowledge-intensive discipline, in which knowledge creation, collection and sharing is an uninterrupted process. However, a large part of this knowledge exists in a tacit form and depends on practitioners. Therefore defining a mechanism to transform tacit knowledge into explicit one is of upmost importance. This paper presents a formalization approach to represent Software Engineering practitioners' tacit knowledge, which is related to their ways of working, as a set of explicit statements. The formalization is based on KUALI-BEH, which is a normative kernel extension of ESSENCE formal specification, and consists of three parts: an ontology to share a common representation of knowledge as a set of concepts; a Situational Method Engineering based algebra that represents well-defined method properties and operations; and a knowledge representation of the ontology and algebra using Description Logics. The main objectives of this initial formalization are to improve communication among humans and machines, computational inference and reuse of knowledge

IDENTIFICACIÓN DE PROBLEMAS QUE EXISTEN AL CALCULAR LAS MEDIDAS DE COMPLEJIDAD LÉXICA EN EL IDIOMA ESPAÑOL

English is one of the most widely spoken languages in the world and there are some linguists who have developed measures to discover how difficult a text is according to its content for example Type-token Ratio, Lexical Variation and Lexical Density. These measures have been used only in English and they are helpful in English teaching to assess students and as a tool to produce materials to improve reading comprehension and teach English in general. Even though there is a way to determine the complexity of a text in English, lack of studies in Spanish has not given the possibility to measure in this language. As a consequence measures like Type-token Ratio, Lexical Variation and Lexical Density do not have a specific range to indicate the level of complexity in Spanish. As it was mentioned before these measures are used only in English so it was essential to use these measures in two texts in English and its translations in Spanish. The purpose was to compare the texts in English and Spanish because the content is similar in both languages and the results of the measures in English could be adapted in Spanish

Fatty acids in microalgae strains from Banco de Germoplasma de Organismos Acuáticos of IMARPE, Peru

Se determinó la composición de ácidos grasos de 54 cepas microalgales colectadas del Perú y mantenidas en el Banco de Germoplasma de Organismos Acuáticos (IMARPE) con la finalidad de determinar su uso nutricional en la acuicultura. Para ello se realizaron cultivos en un volumen de 50 mL y se determinaron los porcentajes relativos de ácidos grasos mediante transesterificación directa y cromatografía de gases. En el grupo Chlorophyta las microalgas que presentaron los mayores valores de porcentaje relativo de ácidos grasos fueron Chlamydomonas reinhardtii (16:0; 41.2%), Scenedesmus obtusus (18:1n-7; 33.6%), Acutodesmus dimorphus (18:1n-9; 37.1%), Desmodesmus armatus (18:3n-3; 32.2%) y Tetraselmis contracta (16:4n-3; 16.5%). En cambio en el grupo Bacillariophyta, los ácidos grasos más abundantes fueron 16:1n-7 en Chaetoceros didymus (20.2%), 18:4n-3 en Navicula sp. (28.3%) y EPA en Asterionellopsis sp. (31.5%). Por otro lado, en el grupo Dinophyta, todas las cepas superaron el 20% de DHA, en particular, la cepa de Akashiwo sanguinea presentó el mayor porcentaje relativo de este ácido graso (29.9%) y de los ácidos grasos 16:0 (24.8%) y EPA (16%). Se discute el uso de estas cepas según su contenido de ácidos grasos.In This work, we determinate the fatty acids composition and their nutritional value in 54 microalgal strains, collected from Peru and stored in Banco de Germoplasma de Organismos Acuáticos (IMARPE). The cultures were grown to 50 mL and analyzed by direct transesterification and gas chromatography. In the Chlorophyta group, the microalgaes that present the highest relative percentage of fatty acids were Chlamydomonas reinhardtii (16:0; 41.2%), Scenedesmus obtusus (18:1n-7; 33.6%), Acutodesmus dimorphus (18:1n-9; 37.1%), Desmodesmus armatus (18:3n-3; 32.2%) and Tetraselmis contracta (16:4n-3; 16.5%). Moreover in the Bacillariophyta group, the most abundant fatty acids were 16:1n-7 in Chaetoceros didymus (20.2%), 18:4n-3 in Navicula sp. (28.3%) and EPA in Asterionellopsis sp. (31.5%). By the other hand, in the Dinophyta group, all strains exceed the 20% of DHA, in particular Akashiwo sanguinea, it was strain to have the highest percentage of this fatty acid (29.9%) in addition to 16: 0 (24.8%) and EPA (16%). We discussed uses of these strains is according to their fatty acids content

Characteristics of pregnant workers and maternity protection procedures: multicenter study

[ES] Objetivos: Describir y comparar las características de las trabajadoras que solicitaron la valoración de riesgo durante el embarazo a los Servicios de Prevención de Riesgos Laborales participantes. Identificar la asociación entre el tiempo de respuesta y la solicitud de valoración de riesgo durante el embarazo. Material y Métodos: Estudio descriptivo/analítico y multicéntrico de trabajadoras que notificaron su gestación entre enero 2017 y diciembre 2018. La información fue obtenida de la historia clínico-laboral y ficha de riesgo. Resultados: Se estudiaron 959 trabajadoras. Al comparar las variables: edad, índice de masa corporal, hábito tabáquico, centro de trabajo y profesión, se obtuvieron diferencias significativas, igual que en el tiempo medio de respuesta. Conclusiones: La edad media de las trabajadoras embarazadas fue elevada. La mayoría fueron enfermeras de centros de atención hospitalaria y especializada. Se debería mejorar el tiempo de respuesta de la valoración de riesgo durante el embarazo. [EN] Objectives: Describe and compare the characteristics of the workers who requested the risk assessment during pregnancy to the participating Occupational Risk Prevention Services. Identify the association between the response time and the request for risk assessment during the pregnancy. Material and Methods: Descriptive/analytical and multicenter study of female workers who reported their pregnancy between January 2017 and December 2018. The information was obtained from the clinicaloccupational history and risk sheet. Results: 959 workers were studied. When comparing the variables: age, body mass index, smoking, workplace and profession, significant differences were obtained, as well as in the mean response time. Conclusions: The average age of the pregnant workers was high. Most were nurses from hospital and specialized care centers. The response time of the risk assessment during pregnancy should be improved.S

Using an Educational Mobile Application for Learning the Essence 1.2 Kernel Alphas

Essence 1.2 is a standard that facilitates the study of Software Engineering by essentializing the broad empirical knowledge related to this area. The main component of the standard is the kernel, which contains alphas that make it possible to assess the state and progress of a software project through the use of a holistic thinking framework. This paper presents an educational mobile application, denominated as Alphalingo, with which to learn the alphas, and which promotes active and meaningful learning through the inclusion of various learning styles, gamification and spaced learning. The educational proposal was evaluated by means of a formal experiment and a replication, which were carried out with professionals working at two software enterprises in Mexico. The experimentation method consisted of randomly selecting the participants in order to form two groups: a control group, whose members attended classes in order to learn the Essence 1.2 kernel alphas, and an experimental group, which learned using Alphalingo. The statistical results obtained from the meta-analysis carried out indicate that the use of Alphalingo has a greater degree of learning effectiveness and a greater motivating effect than the face-to-face method.Essence 1.2 es un estándar que facilita el estudio de la Ingeniería del Software al esencializar el amplio conocimiento empírico relacionado con esta área. El componente principal del estándar es el núcleo, que contiene alfas que permiten evaluar el estado y el progreso de un proyecto de software mediante el uso de un marco de pensamiento holístico. Este artículo presenta una aplicación móvil educativa, denominada Alphalingo, con la que aprender los alfas, y que promueve el aprendizaje activo y significativo mediante la inclusión de varios estilos de aprendizaje, la gamificación y el aprendizaje espaciado. La propuesta educativa se evaluó mediante un experimento formal y una réplica, los cuales se realizaron con profesionales que laboran en dos empresas de software en México. El método de experimentación consistió en seleccionar aleatoriamente a los participantes para formar dos grupos: un grupo de control, cuyos integrantes asistieron a clases para aprender las alfas del kernel Essence 1.2, y un grupo experimental, que aprendió usando Alphalingo. Los resultados estadísticos obtenidos del metaanálisis realizado indican que el uso de Alphalingo tiene un mayor grado de efectividad en el aprendizaje y un mayor efecto motivador que el método presencial

Using web‐based gamified software to learn Boolean algebra simplification in a blended learning setting

One of the fundamental topics in the education of students enrolled in computer‐related degrees is that of Boolean algebra. This is because it allows the expression of several problems related to digital design, artificial intelligence, databases, compilers, and formal languages, among others, as a sequence of Boolean operations and variables, which can be dealt with by using Boolean algebra methods to optimize algorithms, minimize digital components, and so forth. This study presents a piece of web‐based software, denominated as MiniBool, which has been developed with the objective of supporting the learning of Boolean algebra in a blended learning setting. This educational proposal gives students the opportunity to reinforce learning at any time and in any place. It additionally increases the learners’ motivation by including gamification, through the use of a ranking that shows the students’ level of participation. MiniBool was evaluated by means of a formal experiment, which was carried out with Discrete Mathematics students at a higher education institution in Mexico, where two groups were formed randomly: A control group, whose members attended classes and reinforced their knowledge in a traditional manner with a pencil and paper, and an experimental group, which learned in a blended learning context, receiving the same classes as the control group, but reinforcing what they had learned using MiniBool. The statistical results obtained indicate that the use of MiniBool has a positive and motivating effect on learning and that a greater academic performance is achieved than when the traditional teaching‐learning method is applied

Ionosphere sounding for pre-seismic anomalies identification (INSPIRE): results of the project and perspectives for the short-term earthquake forecast

The INSPIRE project was dedicated to the study of physical processes and their effects in ionosphere which could be determined as earthquake precursors together with detailed description of the methodology of ionospheric pre-seismic anomalies definition. It was initiated by ESA and carried out by an international consortium. The full set of key parameters of the ionospheric plasma was selected based on the retrospective analysis of the ground-based and satellite measurements of pre-seismic anomalies. Using this classification the multi-instrumental database of worldwide relevant ionospheric measurements (ionosonde and GNSS networks, LEO-satellites with in situ probes including DEMETER and FORMOSAT/COSMIC ROC missions) was developed for the time intervals related to selected test cases. As statistical processing shows, the main ionospheric precursors appear approximately 5 days before the earthquake within the time interval of 30 days before and 15 days after an earthquake event. The physical mechanisms of the ionospheric pre-seismic anomalies generation from ground to the ionosphere altitudes were formulated within framework of the Lithosphere-Atmosphere- Ionosphere Coupling (LAIC) model. The processes of precursor’s development were analyzed starting from the crustal movements, radon emission and air ionization, thermal and atmospheric anomalies, electric field and electromagnetic emissions generation, variations of the ionospheric plasma parameters, in particular vertical TEC and vertical profiles of the electron concentration. The assessment of the LAIC model performance with definition of performance criteria for earthquake forecasting probability has been done in statistical and numerical simulation domains of the Global Electric Circuit. The numerical simulations of the earthquake preparation process as an open complex system from start of the final stage of earthquake preparation up to the final point–main shock confirms that in the temporal domain the ionospheric precursors are one of the most late in the sequence of precursors. The general algorithm for the identification of the ionospheric precursors was formalized which also takes into account the external Space Weather factors able to generate the false alarms. The importance of the special stable pattern called the “precursor mask” was highlighted which is based on self-similarity of pre-seismic ionospheric variations. The role of expert decision in pre-seismic anomalies interpretation for generation of seismic warning is important as well. The algorithm performance of the LAIC seismo-ionospheric effect detection module has been demonstrated using the L’Aquila 2009 earthquake as a case study. The results of INSPIRE project have demonstrated that the ionospheric anomalies registered before the strong earthquakes could be used as reliable precursors. The detailed classification of the pre-seismic anomalies was presented in different regions of the ionosphere and signatures of the pre-seismic anomalies as detected by ground and satellite based instruments were described what clarified methodology of the precursor’s identification from ionospheric multi-instrumental measurements. Configuration for the dedicated multiobservation experiment and satellite payload was proposed for the future implementation of the INSPIRE project results. In this regard the multi-instrument set can be divided into two groups: space equipment and ground-based support, which could be used for realtime monitoring. Together with scientific and technical tasks the set of political, logistic and administrative problems (including certification of approaches by seismological community, juridical procedures by the governmental authorities) should be resolved for the real earthquake forecast effectuation.In years 2014–2016 works were supported by the ESA Project “INSPIRE, ionosphere Sounding for Pre-seismic anomalies Identification Research (INSPIRE)” nr 4000,111,456/14/NL/ MV. The work is supported by the National Center for Research and Development, Poland, through Grant ARTEMIS (decision no. DWM/PL-CHN/97/2019, WPC1/ ARTEMIS/2019); The authors thank also the Ministry of Science and Higher Education (MSHE), Poland for granting funds for the Polish contribution to the International LOFAR Telescope “(MSHE decision no. DIR/ WK/2016/2017/05–1)” and for maintenance of the LOFAR PL-612 Baldy (MSHE decisions: no. 59/E-383/SPUB/SP/ 2019.1). This work is supported by the National Science Centre, Poland, through Grants 2017/25/B/ST10/00479 and 2017/27/B/ST10/02190.Peer ReviewedPostprint (published version

The immunogenetic diversity of the HLA system in Mexico correlates with underlying population genetic structure

We studied HLA class I (HLA-A, -B) and class II (HLA-DRB1, -DQB1) allele groups and alleles by PCR-SSP based typing in a total of 15,318 mixed ancestry Mexicans from all the states of the country divided into 78 sample sets, providing information regarding allelic and haplotypic frequencies and their linkage disequilibrium, as well as admixture estimates and genetic substructure. We identified the presence of 4268 unique HLA extended haplotypes across Mexico and find that the ten most frequent (HF > 1%) HLA haplotypes with significant linkage disequilibrium (Δ’≥0.1) in Mexico (accounting for 20% of the haplotypic diversity of the country) are of primarily Native American ancestry (A*02~B*39~DRB1*04~DQB1*03:02, A*02~B*35~DRB1*08~DQB1*04, A*68~B*39~DRB1*04~DQB1*03:02, A*02~B*35~DRB1*04~DQB1*03:02, A*24~B*39~DRB1*14~DQB1*03:01, A*24~B*35~DRB1*04~DQB1*03:02, A*24~B*39~DRB1*04~DQB1*03:02, A*02~B*40:02~DRB1*04~DQB1*03:02, A*68~B*35~DRB1*04~DQB1*03:02, A*02~B*15:01~DRB1*04~DQB1*03:02). Admixture estimates obtained by a maximum likelihood method using HLA-A/-B/-DRB1 as genetic estimators revealed that the main genetic components in Mexico as a whole are Native American (ranging from 37.8% in the northern part of the country to 81.5% in the southeastern region) and European (ranging from 11.5% in the southeast to 62.6% in northern Mexico). African admixture ranged from 0.0 to 12.7% not following any specific pattern. We were able to detect three major immunogenetic clusters correlating with genetic diversity and differential admixture within Mexico: North, Central and Southeast, which is in accordance with previous reports using genome-wide data. Our findings provide insights into the population immunogenetic substructure of the whole country and add to the knowledge of mixed ancestry Latin American population genetics, important for disease association studies, detection of demographic signatures on population variation and improved allocation of public health resources.Fil: Barquera, Rodrigo. Max Planck Institute For The Science Of Human History; Alemania. Instituto Nacional de Antropología E Historia. Escuela Nacional de Antropología E Historia; MéxicoFil: Hernández Zaragoza, Diana Iraíz. Técnicas Genéticas Aplicadas A la Clínica (tgac); México. Instituto Nacional de Antropología E Historia. Escuela Nacional de Antropología E Historia; MéxicoFil: Bravo Acevedo, Alicia. Instituto Mexicano del Seguro Social; MéxicoFil: Arrieta Bolaños, Esteban. Universitat Essen; AlemaniaFil: Clayton, Stephen. Max Planck Institute For The Science Of Human History; AlemaniaFil: Acuña Alonzo, Víctor. Instituto Nacional de Antropología E Historia, Mexico; MéxicoFil: Martínez Álvarez, Julio César. Instituto Mexicano del Seguro Social; MéxicoFil: López Gil, Concepción. Instituto Mexicano del Seguro Social; MéxicoFil: Adalid Sáinz, Carmen. Instituto Mexicano del Seguro Social; MéxicoFil: Vega Martínez, María del Rosario. Hospital Central Sur de Alta Especialidad; MéxicoFil: Escobedo Ruíz, Araceli. Instituto Mexicano del Seguro Social; MéxicoFil: Juárez Cortés, Eva Dolores. Instituto Mexicano del Seguro Social; MéxicoFil: Immel, Alexander. Max Planck Institute For The Science Of Human History; Alemania. Christian Albrechts Universitat Zu Kiel; AlemaniaFil: Pacheco Ubaldo, Hanna. Instituto Nacional de Antropología E Historia. Escuela Nacional de Antropología E Historia; MéxicoFil: González Medina, Liliana. Instituto Nacional de Antropología E Historia. Escuela Nacional de Antropología E Historia; MéxicoFil: Lona Sánchez, Abraham. Instituto Nacional de Antropología E Historia. Escuela Nacional de Antropología E Historia; MéxicoFil: Lara Riegos, Julio. Universidad Autónoma de Yucatán; MéxicoFil: Sánchez Fernández, María Guadalupe de Jesús. Instituto Mexicano del Seguro Social; MéxicoFil: Díaz López, Rosario. Hospital Central Militar, Mexico City; MéxicoFil: Guizar López, Gregorio Ulises. Hospital Central Militar, Mexico City; MéxicoFil: Medina Escobedo, Carolina Elizabeth. Instituto Mexicano del Seguro Social; MéxicoFil: Arrazola García, María Araceli. Instituto Mexicano del Seguro Social; MéxicoFil: Montiel Hernández, Gustavo Daniel. Instituto Nacional de Antropología E Historia. Escuela Nacional de Antropología E Historia; MéxicoFil: Hernández Hernández, Ofelia. Técnicas Genéticas Aplicadas a la Clínica ; MéxicoFil: Ramos de la Cruz, Flor del Rocío. Instituto Mexicano del Seguro Social; MéxicoFil: Juárez Nicolás, Francisco. Instituto Nacional de Pediatría; MéxicoFil: Pantoja Torres, Jorge Arturo. Instituto Mexicano del Seguro Social; MéxicoFil: Rodríguez Munguía, Tirzo Jesús. Hospital General Norberto Treviño Zapata; MéxicoFil: Juárez Barreto, Vicencio. Hospital Infantil de Mexico Federico Gomez; MéxicoFil: Gonzalez-Jose, Rolando. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Centro Nacional Patagónico. Instituto Patagónico de Ciencias Sociales y Humanas; Argentin