Programa de compra de activos del BCE
En informática, la ejecución simbólica (también evaluación simbólica o symbex) es un medio de analizar un programa para determinar qué entradas hacen que se ejecute cada parte de un programa. Un intérprete sigue el programa, asumiendo valores simbólicos para las entradas en lugar de obtener entradas reales como lo haría la ejecución normal del programa. Así, llega a expresiones en términos de esos símbolos para expresiones y variables en el programa, y a restricciones en términos de esos símbolos para los posibles resultados de cada rama condicional. Por último, las posibles entradas que desencadenan una bifurcación pueden determinarse resolviendo las restricciones.
Durante una ejecución normal (ejecución “concreta”), el programa leería un valor de entrada concreto (por ejemplo, 5) y lo asignaría a y. La ejecución procedería entonces a la multiplicación y a la rama condicional, que se evaluaría a falso e imprimiría OK.
Durante la ejecución simbólica, el programa lee un valor simbólico (por ejemplo, λ) y lo asigna a y. El programa procedería entonces a la multiplicación y asignaría λ * 2 a z. Al llegar a la sentencia if, evaluaría λ * 2 == 12. En este punto del programa, λ podría tomar cualquier valor, y la ejecución simbólica puede por tanto proceder a lo largo de ambas ramas, “bifurcando” dos caminos. A cada camino se le asigna una copia del estado del programa en la instrucción de bifurcación, así como una restricción de camino. En este ejemplo, la restricción del camino es λ * 2 == 12 para la rama then y λ * 2 != 12 para la rama else. Ambas rutas pueden ejecutarse simbólicamente de forma independiente. Cuando los caminos terminan (por ejemplo, como resultado de ejecutar fail() o simplemente salir), la ejecución simbólica calcula un valor concreto para λ resolviendo las restricciones de camino acumuladas en cada camino. Estos valores concretos pueden considerarse como casos de prueba concretos que pueden, por ejemplo, ayudar a los desarrolladores a reproducir los errores. En este ejemplo, el solucionador de restricciones determinaría que para llegar a la sentencia fail(), λ tendría que ser igual a 6.
Estadísticas del programa de compra de activos del BCE
2 de mayo de 2022 – El Banco Mundial anuncia la actualización para el otoño de 2022 de las líneas de pobreza y los recuentos de la pobreza a nivel mundial basados en las paridades de poder adquisitivo (PPA) del PCI de 2017. La línea de pobreza internacional se ajustará de 1,90 a 2,15 dólares al día, reflejando principalmente un aumento de los precios a lo largo del tiempo.
27 de octubre de 2021 – Una nueva publicación del Banco Mundial explora la valoración de las cuentas de riqueza utilizando las paridades de poder adquisitivo (PPA), lo que resulta en una redistribución de la riqueza mundial en comparación con el uso de los tipos de cambio del mercado.
El PCI es una de las mayores iniciativas estadísticas del mundo. Está gestionado por el Banco Mundial bajo los auspicios de la Comisión de Estadística de las Naciones Unidas, y se basa en una asociación de organismos internacionales, regionales, subregionales y nacionales que trabajan bajo un sólido marco de gobernanza y siguiendo una metodología estadística establecida.
Las PPA se calculan sobre la base del precio de una cesta común de bienes y servicios en cada economía participante y son una medida de lo que la moneda local de una economía puede comprar en otra economía. Las conversiones basadas en el tipo de cambio del mercado reflejan tanto las diferencias de precio como de volumen en los gastos y, por lo tanto, son inadecuadas para las comparaciones de volumen. Las conversiones de gastos basadas en la PPA eliminan el efecto de las diferencias de nivel de precios entre las economías y reflejan únicamente las diferencias de volumen de las economías.
Unodc 2011
La ingeniería de requisitos (IR)[1] es el proceso de definir, documentar y mantener los requisitos[2] en el proceso de diseño de ingeniería. Es una función común en la ingeniería de sistemas y en la ingeniería del software.
La primera vez que se utilizó el término ingeniería de requisitos fue probablemente en 1964 en el documento de la conferencia “Maintenance, Maintainability, and System Requirements Engineering”,[3] pero no se generalizó su uso hasta finales de los años 90 con la publicación de un tutorial de la IEEE Computer Society[4] en marzo de 1997 y el establecimiento de una serie de conferencias sobre ingeniería de requisitos que ha evolucionado hasta convertirse en la Conferencia Internacional de Ingeniería de Requisitos.
En el modelo de cascada,[5] la ingeniería de requisitos se presenta como la primera fase del proceso de desarrollo. Los métodos de desarrollo posteriores, incluido el Proceso Racional Unificado (RUP) para el software, asumen que la ingeniería de requisitos continúa a lo largo de la vida de un sistema.
Un estudio limitado realizado en Alemania presentó posibles problemas en la aplicación de la ingeniería de requisitos y preguntó a los encuestados si estaban de acuerdo en que eran problemas reales. Los resultados no se presentaron como generalizables, pero sugirieron que los principales problemas percibidos eran los requisitos incompletos, los objetivos móviles y el encajonamiento del tiempo, siendo los problemas menores los defectos de comunicación, la falta de trazabilidad, los problemas terminológicos y la falta de claridad en las responsabilidades[9].
Ampliación del programa de compra de activos
El programa de compra de activos (APP) del BCE forma parte de un paquete de medidas de política monetaria no estándar que también incluye operaciones de refinanciación a largo plazo con fines específicos, y que se puso en marcha a mediados de 2014 para apoyar el mecanismo de transmisión de la política monetaria y proporcionar la cantidad de acomodación de la política necesaria para garantizar la estabilidad de precios. Consiste en la
El Eurosistema comenzó a adquirir valores en el marco de los programas de compra de activos de su APP en octubre de 2014. El Consejo de Gobierno recalibró las compras netas globales en el marco de estos programas de vez en cuando, como se indica a continuación:
Nota: Los objetivos medios mensuales del APP fueron fijados por primera vez por el Consejo de Gobierno del BCE al inicio del PSPP en marzo de 2015. La dotación adicional de 120 mm de euros decidida por el Consejo de Gobierno el 12 de marzo de 2020 se ha linealizado a efectos ilustrativos en este gráfico, si bien se aplicará en su totalidad de acuerdo con los principios establecidos con flexibilidad adicional.
El 9 de junio de 2022, el Consejo de Gobierno decidió interrumpir las compras netas de activos en el marco del APP a partir del 1 de julio de 2022. Las reinversiones de los pagos del principal de los valores que vencen adquiridos en el marco de los programas continuarán, en su totalidad, durante un período de tiempo prolongado después de la fecha en la que el Consejo de Gobierno comience a subir los tipos de interés oficiales del BCE y, en cualquier caso, durante el tiempo que sea necesario para mantener unas condiciones de liquidez amplias y una orientación adecuada de la política monetaria.