Happy Hour - Co-Alas\n¡Bienvenido a la página del\nHappy Hour Virtual- CICI!\n"Porque tanta seriedad es mala para la salud!" Ileana Saldivia, Cohorte III\nEn esta página, encontrarás toda la información referente a nuestros "Happy Hours"...porque la\nrueda de la vida dice que:\n¡Los amigos y el ocio también son importantes!\nAquí compartiremos información sobre:\n¡Todo lo relativo a nuestras Happy Hours!\n Pasos para crear tu background virtual\nInstrucciones para ver cuadrícula de participantes en Zoom\ny otras cosas divertidas que se nos vayan ocurriendo...\nCeremonia y Fiesta de Graduación Cohorte III*\n*Cohorte III, Oficialmente admitida al Hall de la Fama CICI, Co-Alas\nPatricia Cabrera, Coach Certificado  Cohorte III\nEstudiar Coaching de la mano de Co-alas, significó acercarme a una disciplina desconocida y que me generaba curiosidad. La profundidad de su contenido y el alcance del mismo, le otorgan mi respeto y consideración como la profesión que es, enmarcada en su código de ética y con personalidad propia.\nEsta Certificación Internacional en Coaching Integral (CICI) a cargo de Tatiana Saldivia, Estrella Pérez, Anggy Quintero y Yajaira Calderón, tiene el toque de un verdadero equipo de profesionales, un cuarteto super poderoso que se complementa de forma excelente. Maravillosas y entusiastas expertas que conjugan conocimiento, profesionalismo, exigencia, creatividad, entrega y pasión por enseñar qué es el coaching. Coherentes en el ser, hacer, pensar y actuar, pilares que otorgan al programa seriedad y confianza.\nCICI es de calidad premium. Integra a los contenidos propios del Coaching, conocimientos sobre Programación Neurolinguística (PNL), Mindfulness, Lenguaje y Psicología Positiva, los cuales nutren el camino de la formación, le imprimen un sello distintivo y rescatan la riqueza del saber interdisciplinario. Bravo por ello.\nDesde el primer momento, pude constatar la aplicabilidad de lo estudiado, el efecto ejercido primeramente en mi persona y proyectado hacia mi entorno. Esta sensación, sin duda, fue motivadora para continuar.\nEl Coaching me brinda lo preciso, conciso, práctico y decidido de su proceso, algo revelador para mí y que empiezo a aplicar en mi vida; unido a su capacidad generativa y de movilización de un punto a otro, a través de la acción. Implica una constante revisión y cambio para reconocerse en cada momento.\nAprendí que mis sentimientos y sensaciones favorables merecen mayor oportunidad para quedarse y asentarse en mí. Decido entonces, dar la bienvenida a mi egoísmo iluminado.\nLa observación de mi lenguaje interno, sus implicaciones y sus modificaciones para construir mis posibilidades y potenciar mi talento, me aproxima a las situaciones desde mi trato amable, desprovisto de sobre exigencia y enriquecido desde mi propio reconocimiento, recompensa y celebración de mis pequeños y significativos avances, los cuales redundarán en logros.\nEl enfoque positivo me proporciona energía, me brinda apertura y espacio posible para el despliegue de mi creatividad.\nPude entender la importancia que tiene el cambio de hábitos y la introducción de diferencias sutiles en mi pensamiento, lo cual me conduce a estados de mayor bienestar, y, en esa medida aprendo a gestionar mis emociones.\nDescubrí lo poderoso de la PNL, en tiempo real y plena integración sensorial en los distintos ámbitos y situaciones cotidianas. Desde el conocimiento y la práctica aprendí de forma contundente a valorar todo lo que lleva implícito la comunicación como proceso de relación entre las personas. Cada una distinta a la otra en su concepción del mundo, su referencia particular le define y da sentido a su existencia, marca su desenvolvimiento; y así mismo, le permite tomar la mejor opción que puede ante la vida, siempre.\nEntendí que sí hay que adquirir habilidades y competencias comunicacionales para ser líder, más allá de tener madera para serlo o de haber visto a otros en su ejercicio. Desarrollar la comunicación de forma asertiva es un constante y dinámico desafío.\nInteresante conocer los canales de percepción de cada persona para que el mensaje que transmito sea efectivo. La escucha activa, me permite desde la atención entender a mi semejante, respetarlo en su realidad y valores de vida.\nLas herramientas de coaching han sido un descubrimiento muy valioso, de aplicación oportuna, pertinente y reveladora. Cada una de ellas en su diseño y estructura, actúa como una especie de espejo, donde me veo reflejada desde mi honestidad, y, así mismo, desde la responsabilidad con mis próximas acciones. En adelante, estas herramientas serán compañeras de mi camino, sin olvidar, la apreciación de mis atributos desde la flexibilidad, y la incorporación del reencuadre ante las situaciones. Toda esta reflexión me hace consciente de que mi comunicación va intrínseca al esculpir de mi vida.\nEl arte de hacer preguntas para iluminar el camino de otro ser humano, es un proceso creativo fascinante y de un descubrimiento insospechado. Es armar un rompecabezas con agudeza perceptiva, atención plena, inteligencia, intuición y disfrute. El paisaje final es el regalo y el triunfo, producto de la reflexión y el autoconocimiento.\nMis compañeros, buenas personas, un grupo maravilloso, grande, robusto, preparado, profundo y transparente. Ha sido delicioso estar junto a ustedes. Cada quien bien plantado y abiertos a mostrar su vulnerabilidad. Esos aspectos que siendo quizás debilidades, ahora sabemos que sólo identificándolos y escribiéndolos, podemos convertirlos en fortalezas. Les deseo lo mejor y que siempre sonriamos cuando nos encontremos, porque ahora somos un todo.\nEl despliegue tecnológico de CICI fue de altura. Seguramente, la experiencia online, por la plataforma Zoom, más exitosa durante el primer semestre del año 2020, que desde Venezuela integra a estudiantes de otros países, en plena pandemia y cuarentena ante el Covid 19. Sala general de discusión y conferencias, salas pequeñas para práctica de grupos, página web con material de apoyo de excelente calidad en contenido, imagen y audio, nivel de exigencia elevado y acorde al perfil de coach integral de la organización, ejercicio constante de la puntualidad; apertura del equipo docente para recibir sugerencias, trato amable, respeto, apoyo y seguimiento al estudiante y su proceso de cambio; aplicación de una didáctica de enseñanza donde está presente lo ameno, el disfrute y la aproximación ecológica a los contenidos y técnicas.\nCo-alas y CICI me regalaron una oportunidad especial; el progresivo rescate de mi entusiasmo y voluntad, reflejado en que he vuelto a retomar el estudio de mi piano, lo cual tiene un significado poderoso en mi vida personal y profesional, que se proyecta hacia mis áreas de desempeño, la Música y la Educación. Ha sido una experiencia inolvidable. Mi reconocimiento a Co-alas, por creer en el desarrollo, crecimiento y evolución del ser humano.\nPor siempre e infinitamente, Gracias…\nCohorte III CICI\nGalería de Fotos - Ceremonia y Fiesta de Graduación CICI, Cohorte III\nVídeo Ceremonia de Graduación\nCICI, Cohorte III\nVídeo Backgrounds Fiestas Virtual Zoom\nShow de Luces II\nShow de Luces VI\nBola espejos II\nShow de Luces III\nShow Luces IV\nShow de Luces I\nShow de Luces V\nBola de espejos I\nImágenes para Backgrounds Fiestas Virtuales Zoom\nHappy Hour Virtual, 11 de Junio\nHora: 11am - 1pm...o hasta que la gente aguante.\nInfo. para accesar Conferencia Zoom:\nTatiana Saldivia le está invitando a una reunión de Zoom programada.\n¡La mejor interpretación!\n¡Participa en el concurso de a la mejor interpretación!\n¡Estamos definiendo el premio del ganador!....ya saben lo que pasó: ¡Compañeros....lo intenté!\nPlaylists Karaoke Virtual CICI\nVídeo Karaoke Virtual Parte I\nVirtual Parte II\nVirtual Parte III\nRecital al piano Patricia Cabrera\n"Yo no te olvidaré"\n Vals Venezolano,\nGalería de Fotos - Happy Hour Virtual CICI\n12 de Junio, Karaoke Party\nHappy Hour Virtual, 15 de Mayo\nIleana Saldivia is inviting you to a scheduled Zoom meeting.\nTopic: Party CICI\nTime: May 15, 2020 11:00 AM Eastern Time (US and Canada)\nMeeting ID: 780 4148 5007\nBackground virtual divertido\n¡Participa en el concurso de background virtual divertido!\nEl ganador -si así lo desea- podrá dejar su background en display durante las clases de la semana que viene.\nLas maestras Co-alas serán las jueces, y anunciarán el ganador en la clase del lunes 18 de mayo.\nEvita a toda costa utilizar alguna imagen que pueda ofender a los demás. Aplicando las técnicas del coaching, hazte la siguiente pregunta: "¿Esta imagen puede ofender a alguien?" Si la respuesta es sí; ¡por favor, cambia la imagen!\n¡Aguanta tu background ! Después de que estemos todos en la clase, ¡los revelaremos!\nPara que puedas disfrutar más de nuestro Happy Hour vía Zoom, te recomendamos que pongas las casillas de los participantes en modo cuadrícula (gallery view)...abajo te explicamos cómo.\n¿Cómo puedo cambiar o crear mi background o Fondo Virtual Zoom?\nNo te preocupes, ¡es muy sencillo!\n1. Haz click sobre el ícono de la cámara. En el menú desplegable, haz click en Vídeo settings.\n2. Una vez dentro del menú de Vídeo settings, haz click donde dice Virtual backgrounds.\n3. Dentro del menú de Virtual backgrounds, podrás escoger las imágenes que ya están en Zoom, o subir imágenes nuevas.\n4. Para remover el background virtual, solo tienes que hacer click en la casilla que dice none o ninguno.\n5. Para subir imágenes nuevas, sólo tienes que hacer click en el botón que dice Add image y subir tu archivo.\n6. Puedes encontrar infinidad de imágenes para backgrounds Zoom en la web. Solo tienes que hacer google usando los siguientes términos:\n"Zoom virtual backgrounds"\n"Virtual backgrounds for Zoom"\n¿Cómo puedo poner los participantes de Zoom en modo cuadrícula?\nPara poder ver a todos los estudiantes en forma de cuadrícula (gallery view), solo tienes que hacer click en el botón superior derecho, como sale en esta imagen.\nvolver iii cohorte


Métodos formales aplicados en la industria del software. - PDF\nMétodos formales aplicados en la industria del software.\nDownload "Métodos formales aplicados en la industria del software."\nMaría Luisa Sáez Maestre\n1 Ensayos Métodos formales aplicados en la industria del software. Resumen Abstract Résumé Uno de las ideas más difundidas sobre el uso de métodos formales es su nula aplicación en la industria sotware. Si bien es cierto que su adopción ha sido lenta, existen casos de importantes empresas que han tenido éxito al aplicarlos en proyectos reales. En el presente artículo se mencionan algunos de estos ejemplos donde se han aplicando distintos métodos formales, tanto en la industria de software y hardware, incluyendo la situación en nuestro país y las perspectivas a futuro. One of the most widely spread ideas about the use of formal methods is that its application is nullified in the software industry. While it is true that its adoption has been slow, there are cases of important businesses that have successfully applied these methods in real projects. This article will examine some of these examples where different formal methods have been applied in both the software and hardware industries, including the situation in our country and its future perspectives. Une des idées les plus généralisées sur l utilisation de méthodes formelles est sa non-application dans l industrie du software. S il est certain que son adoption a été lente, il existe des cas d entreprises importantes qui ont remporté le succès en appliquant ces méthodes dans des projets réels. Dans cet article on mentionnera quelques uns des exemples pour lesquels ont été appliquées des méthodes formelles, dans l industrie du software et du hardware, en y incluant la situation dans notre pays et les perspectives dans le futur. * Carlos A. Fernández y Fernández, Miriam Ambrosio, Gabriel Andrade, Galileo Cruz, Martín José, Román Ortiz, Hernán Sánchez. Palabras clave: Métodos formales. 1. Introducción * Universidad Tecnológica de la Mixteca. De acuerdo con Hall (1990), la escasa adopción de métodos formales en la industria software es solamente un mito. La existencia de este mito se debe principalmente a que hasta hace algunos años existían pocos casos documentados en la industria. Con el objetivo de que las empresas consideren la adopción de tales métodos, es importante que conozcan la existencia de casos de éxito que muestren las ventajas de su aplicación. Sin embargo, no basta con saber que la aplicación de métodos formales se da de manera exitosa en proyectos en la industria del software. Es necesario además que éstos puedan ser adaptados al contexto de las empresas mexicanas si se desea que consideren su adopción en sus propios proyectos. Por tal razón en el presente artículo se muestra una recopilación de casos de éxito de la aplicación de métodos formales en proyectos reales de la industria de software y hardware, incluyendo una breve introducción de la situación en nuestro país. Temas de Ciencia y Tecnología vol. 15 número 43 enero - abril 2011 pp 3-12\n2 2. Qué son los métodos formales? Un método formal es una técnica basada en matemáticas, usada para describir sistemas de hardware o software, Wing, Jeannette M. (1990). Los métodos formales permiten representar la especificación del software, verificación y diseño de componentes mediante notaciones matemáticas. El uso de métodos formales permite plantear de manera clara la especificación de un sistema, generando modelos que definen el comportamiento en términos del qué debe hacer y no del cómo lo hace. Gracias al correcto proceso de especificación, se pueden verificar propiedades derivadas de cada módulo mediante técnicas de razonamiento asociadas a los modelos formales, como probadores de teoremas y verificadores de modelos Hall (1996). Para los procesos de especificación se reconoce las siguientes clasificaciones: 1. Lenguajes basados en modelos y estados. Permiten especificar el sistema mediante un concepto formal de estados y operaciones sobre estados. Los datos y relaciones/ funciones se describen en detalle y sus propiedades se expresan en lógica de primer orden. La semántica de los lenguajes está basada en la teoría de conjuntos. Ejemplos: VDM, Z, B, OCL. 2. Lenguajes basados en especificaciones algebraicas. Proponen una descripción de estructuras de datos estableciendo tipos y operaciones sobre esos tipos. Para cada tipo se define un conjunto de valores y operaciones sobre dichos valores. Las operaciones de un tipo se definen a través de un conjunto de axiomas o ecuaciones que especifican las restricciones que dében satisfacer las operaciones. Algunos ejemplos: Larch, OBJ, TADs. 3. L e n g u a j e s d e e s p e c i f i c a c i ó n d e comportamiento: Métodos basados en álgebra de procesos: modelan la interacción entre procesos concurrentes. Esto ha potenciado su difusión en la especificación de sistemas de comunicación (protocolos y servicios de telecomunicaciones) y de sistemas distribuidos y concurrentes. Algunos ejemplos son: CCS, CSP, Pi Calculus y LOTOS. Métodos basados en Redes de Petri: una red de Petri es un formalismo basado en autómatas, es decir, un modelo formal basado en flujos de información. Permiten expresar eventos concurrentes. Los formalismos basados en redes de Petri establecen la noción de estado de un sistema mediante lugares que pueden contener marcas. Un conjunto de transiciones (con pre y post condiciones) describe la evolución del sistema entendida como la producción y consumo de marcas en varios puntos de la red. Métodos basados en lógica temporal: se usan para especificar sistemas concurrentes y reactivos. Los sistemas reactivos son aquellos que mantienen una continua interacción con su entorno respondiendo a los estímulos externos y produciendo salidas en respuestas a los mismos, por lo tanto el orden de los eventos en el sistema no es predecible y su ejecución no tiene por qué terminar. En cuanto al proceso de verificación se tienen básicamente dos enfoques: 1. Verificación de modelos: trabajan mediante una búsqueda exhaustiva en los estados posibles de un modelo para encontrar errores en la especificación. 2. Prueba de teoremas: donde a partir de un conjunto de axiomas se trata de probar si la especificación, extendida con algunos teoremas, es válida. 3. Métodos formales aplicados en la industria 3.1. Aplicación de métodos formales en proyectos de software: CICS IBM El proyecto CICS (Customer Information Control System) 1 fue diseñado en los laboratorios Hursley Park de IBM, para ofrecer acceso a datos, comunicaciones, integridad y servicios de seguridad. Es uno de los sistemas de software más exitosos en el mundo, cuenta con más de 30,000 licencias y la mayoría de las principales compañías del mundo lo utilizan, Woodcock, Jim 4 Temas de Ciencia y Tecnología enero - abril 2011 Ensayos\n3 and Davies, Jim (1996). Entre las aplicaciones más conocidas del proyecto CICS se incluyen sistemas de compensación bancaria, control de almacenes, reservaciones aéreas y sistemas ATM, y cuenta con miles de licencias corporativas en el mundo Freitas et al. (2009). Especificación del proyecto CICS En las primeras implementaciones de CICS, el API incluye bloques de control y un conjunto d e m a c r o s d e l l e n g u a j e, a l e n t a n d o a l o s programadores a conocer los detalles internos sobre los bloques de control utilizados en la implementación del sistema. El API contaba con más de 90 comandos con 300 opciones aproximadamente y fue originalmente dividido en diferentes grupos de comandos. Tiempo después se decidió usar estos grupos para estructurar la especificación formal dentro de 15 módulos CICS. Los módulos son: 1. Iniciación automática de transacciones. 2. Soporte a cartografía básica. 3. Control de descargas. 4. Manipulación de condiciones excepcionales. 5. Control de archivos. 6. Control de intervalos 7. Control periódico. 8. Programa de control. 9. Control de almacenamiento 10. Control de tareas. 11. Control de almacenamiento temporal. 12. Control de terminales. 13. Control de trazos. 14. Transacciones y servicios principales. 15. Transitoria de control de datos. De acuerdo a estos módulos se generaron también quince tablas de control asociadas a la funcionalidad de cada módulo. Una descripción completa de estas tablas se puede encontrar también en el sitio oficial de CICS. Posteriormente IBM decidió incorporar la especificación formal usando el lenguaje formal Z en una nueva versión de IBM CICS, y de igual forma hacer la especificación formal del API de CICS basado en módulos. Esta estrategia surgió por la necesidad de: 1. Proporcionar una interfaz de comandos básicos para todas las versiones del CICS. 2. Descubrir cualquier comportamiento accidental que no fuera parte de la intención original del diseñador. 3. Hacer explícito qué comportamientos fueron efectivamente garantizados. Una evaluación reportó que el resultado de esta estrategia se tradujo en una mejora en la calidad y la fiabilidad del código entregado. En junio de 1989 se desarrolló el primer producto utilizando la notación Z llamado CICS / ESA versión 3. Con el desarrollo de los primeros proyectos se pudo observar que la especificación formal con el mecanismo de la notación Z brindó una provechosa experiencia la cual trajo a la luz no sólo errores cometidos en el pasado, sino también a las nuevas orientaciones del lenguaje Z en sí La combinación de UML y métodos formales en la seguridad de un aeropuerto La seguridad en la aviación civil se rige por normas internacionales y prácticas recomendadas. Un elemento clave en la seguridad de la aviación es la seguridad del aeropuerto, que impide que puedan llevarse a bordo de un avión armas y otros objetos peligrosos. La calidad de la seguridad de los aeropuertos depende de: 1. La calidad de estas normas, y 2. La conformidad de un aeropuerto dado a estas normas El proyecto EDEMOI 2 fue patrocinado desde por ACI Sécurité Informatique. El objetivo de EDEMOI es la aplicación de técnicas de modelado de la comunidad de Ciencias de la Computación para abordar estos dos problemas. El enfoque EDEMOI se basa en dos tipos de modelos como se muestra en la Figura 1: 1. Modelos gráficos, tales como diagramas de clases UML. 2. Modelos formales, es decir, B y lenguaje Focal. En el enfoque EDEMOI se presentaba como principal problema la validación del modelo formal por parte de las autoridades de certificación en aviación civil, las cuales no tuvieron ningún problema al validar Métodos formales aplicados en la industria del software. Temas de Ciencia y Tecnología enero - abril\n4 FIG. 1: STAKEHOLDERS DE EDEMOI FIG. 2: EL PROCESO EDEMOI los diagramas de clases y escenarios que se generaron durante el proyecto. EDEMOI se centra en el modelado de las normas de todos los aeropuertos internacionales de la aviación comercial. Se propuso un proceso que se muestra en la Figura 2, para la identificación de las propiedades de seguridad, la producción de gráficas (UML) y los modelos formales (B y Focal), y se inició una actividad de generación de pruebas desde el modelo formal. Se dedicaron esfuerzos especiales en los dos primeros pasos, con el fin de mejorar la validación del modelo gráfico. Lo cual condujo a la definición de un enfoque de ingeniería de requerimientos dedicado a la seguridad de la aviación. 1. El enfoque de modelado que conduce a la identificación de objetivos y la producción de los modelos gráficos; 2. los modelos formales de las normas para aeropuertos internacionales; y 3. la generación de pruebas de conformidad a las normas. Los productos derivados de este proyecto incluyen el desarrollo de herramientas que permiten volver de especificaciones B a los diagramas UML y la experimentación del lenguaje Focal como un lenguaje de modelado formal. Resultados Estas actividades se dirigieron a los dos objetivos mencionados anteriormente: el modelado de las normas para aeropuertos internacionales llevó al descubrimiento de ambigüedades del lenguaje natural e hipótesis ocultas. El análisis más detallado de los modelos formales ayudó a evaluar la calidad de la norma mientras que la generación de pruebas abordó el problema de conformidad. Los principales resultados científicos de EDEMOI fueron: FIG. 3: DIAGRAMA DE MOBILE FELICA SYSTEM KURITA ET AL. (2008) FIG. 4: DIAGRAMA OBTENIDO DE LA ESPECIFICACIÓN DEL SISTEMA UTILIZANDO VDMTOOLS 6 Temas de Ciencia y Tecnología enero - abril 2011 Ensayos\n5 El proyecto EDEMOI ha demostrado que las técnicas dedicadas al modelado, análisis y pruebas de la seguridad, podrían utilizarse provechosamente en otras áreas. Este proyecto es un caso de éxito de la conjunción de UML con métodos formales para modelar estándares que regulan la seguridad de un aeropuerto. Utiliza la producción de un modelo UML, para soportar la actividad de validación y un modelo formal para su verificación. Para este proyecto, se utilizó la herramienta Rational Rose RoZ Martínez, Christian A. (2007) Chip de firmware para la incrustación en teléfonos móviles Mobile FeliCa FeliCa es una tecnología de tarjetas sin contacto IC ampliamente utilizado en Japón, desarrollado y promovido por Sony Corporation3. FeliCa es utilizado por IC Mobile, que está integrado en un teléfono móvil conocido como Osaifu Keitai (medio de monedero electrónico) por NTT DoCoMo, Inc., y hoy en día estos teléfonos móviles pueden utilizarse como monedero electrónico, tickets para el tren, identificación, llaves, etc. El sistema móvil FeliCa que se muestra en la Figura 3 tiene un sistema de archivos de seguridad, un protocolo de comunicaciones y un firewall que controla los múltiples servicios antes mencionados. Uno de los aspectos más importantes es asegurar la máxima calidad del software con el fin de evitar graves problemas sociales relacionados con la infraestructura y el servicio que reciben los clientes no se vería afectado. Lenguaje Utilizado Debido a la exigencia del proyecto se determinó utilizar un método formal para el proyecto, bajo los siguientes objetivos: 1. Describir rigurosamente las especificaciones y definición de funciones. 2. Desarrollar y aplicar un sistema y los procesos de desarrollo de la especificación, la aplicación y pruebas del firmware. 3. Verificar detalladamente las especificaciones formales para el conjunto de procesos de desarrollo de software. 4. Mejorar la comunicación entre los ingenieros y desarrolladores. Una vez definido los objetivos, se decidió utilizar el lenguaje de especificación formal VDM++ Dürr e van Katwijk (1992) y VDMTools4, debido a que el apoyo sobre la descripción y la ejecución de los modelos era demasiada. FIG. 5: ETAPAS DEL MODELO V LEÓN-CARRILLO, LUIS VINICIO (2005A) Métodos formales aplicados en la industria del software. Temas de Ciencia y Tecnología enero - abril\n6 Resultados Obtenidos Los resultados obtenidos durante el proceso se muestran en la Figura 4. Se generó el desarrollo y las especificaciones externas usando VDM++. El proceso de la especificación del proyecto es la siguiente: 1. Discutir los requerimientos con los stakeholders y escribir las especificaciones generales en un lenguaje natural con varios diagramas basándose en notación UML, diagramas de transición de estado y diagramas de secuencia. 2. Modelar el sistema de archivos de FeliCa y diseñar e implementar un firmware en VDM Describir comandos y especificaciones de seguridad usando el firmware. 4. Hacer especificaciones de pruebas usando un firmware de pruebas unitarias. Los resultados relacionados con las especificaciones son los siguientes: páginas de un protocolo manual escritas en un lenguaje natural páginas de un pliego de condiciones externas escritas en un lenguaje de especificación formal Las especificaciones formales tienen alrededor de 100,000 pasos, que incluyen casos de prueba y comentarios escritos en un lenguaje natural. La aplicación del método formal fue un éxito para los sucesos y esquemas del proyecto. El método formal contribuyó en la calidad de los procesos y en la implementación de seguridad de la comunicación. Además sirvió para identificar la necesidad de establecer una buena especificación de requisitos para obtener una buena calidad en el software Uso de métodos formales para dispositivos de firma digital de seguros En 1997, el Gobierno de la República Federal de Alemania estableció la Ley de Información y Servicios de Comunicación. Ésta contiene la Ley de Firma Digital. El objetivo es la definición de requerimientos que permitan la equivalencia de la firma manual y digital vinculada a cuestiones jurídicas, autenticidad e integridad de documentos electrónicos en el futuro. Las SmartCards son los dispositivos adecuados para la generación de firmas digitales. La organización alemana de estandarización (DIN) desarrolló una especificación de interfaz para SmartCards con aplicación/función de firma. El objetivo de esta norma es garantizar la interoperabilidad. Se basa en la norma ISO/IEC y la define los objetos de los datos dentro de una estructura de archivos, así como una colección de comandos de la interfaz que se utilizará para la generación y validación de firmas digitales. Seguridad de la SmartCard En preparación del desarrollo del modelo formal de política de seguridad se realizó un análisis de amenazas el cual no tomó en cuenta al hardware o el sistema operativo de la SmartCard. El examen se limitó a la aplicación de software embebido y de datos del procesador de operaciones de firma de datos (SigCard), se revelaron las siguientes amenazas Langenstein et al. (2000): 1. Extracción de la clave secreta de la firma de la SigCard por la lectura de los datos o el resultado de análisis computacional. 2. Uso de la aplicación de firma digital de la SigCard sin tener el permiso del titular de la tarjeta. 3. Imperceptible modificación de los datos firmados. 4. Presentación de una SigCard forjada a un dispositivo de interfaz pública sin que el dispositivo de interfaz pública pueda darse cuenta de eso. 5. Presentación de la SigCard a un dispositivo de infertaz pública forjado sin que el titular pueda darse cuenta de eso. Se recurrió a la especificación formal para definir las políticas de seguridad de la SigCard. Esta especificación formaliza la importancia de los principios de seguridad y los relaciona con los objetivos de seguridad descritos en el objetivo general de seguridad. El modelo formal fue desarrollado usando Verification Support Environment (VSE) Baur et al. (1992), la cual es una herramienta de apoyo a los métodos formales en el ciclo de vida completo del software. Resultados y Beneficios El objetivo general de seguridad y el acompañamiento de un modelo formal de política de seguridad para SigCards fue desarrollado en forma paralela. El proceso de formalización de la política de seguridad empezó con un primer borrador del objetivo de seguridad genérico (GST) describiendo sólo algunas 8 Temas de Ciencia y Tecnología enero - abril 2011 Ensayos\n7 partes de las características de seguridad de SigCard Langenstein et al. (2000). Cada extensión del objetivo de seguridad genérico causó un nuevo análisis tratando de incluir las características adicionales en un estilo formal en el modelo. Algunas inconsistencias y contradicciones en el borrador GST fueron descubiertos durante el análisis y proceso de formalización como vulnerabilidades en la política de seguridad de la SmartCard El modelo formal de la política de seguridad define lo esencial del comportamiento de seguridad de la SigCard y suposiciones necesarias en el medio ambiente en una descripción abstracta. El beneficio para la tarea de evaluación es que el evaluador puede verificar el verdadero producto de TI de manera muy eficaz contra el comportamiento de seguridad de la especificación formal. Normalmente el trabajo de evaluación completo se realiza después del desarrollo del producto, éste también incluye la construcción del modelo. El uso de métodos formales en fases tempranas del desarrollo del producto dió una buena asistencia al diseñador del sistema. Como sabemos, pequeñas modificaciones pueden causar serios errores si no se detectan a tiempo. Estos errores pueden no ser fácilmente reconocidos si se especifican en lenguaje natural. FIG. 6: FORMATO DEL LENGUAJE DE ESPECIFICACIÓN DE PRUEBAS DE E-QUALLITY LEÓN-CARRILLO, LUIS VINICIO (2005A) 4. Métodos Formales en México La situación en nuestro país es aún precaria en cuanto a información sobre la adopción de Métodos Formales. Esto se debe principalmente a la poca disponibilidad de casos de éxito documentados que permitan establecer con exactitud el panorama actual. Sin embargo, esto no significa que en México no se apliquen métodos formales en los procesos de desarrollo de software. Ejemplo de esto es el caso de estudio documentado en León-Carrillo, Luis Vinicio (2008) que menciona la aplicación de enfoques formales para realizar pruebas de software para la empresa SIAC Software6 realizadas por una empresa especializada en pruebas de software y firmware 7 enfocado en definir jerarquías de procesos. El método utilizado para realizar las pruebas se basa en aplicar el modelo V-Model (ver Figura 5) con el objetivo de realizar un diseño de pruebas en etapas tempranas del ciclo de desarrollo, utilizando para dichas pruebas lenguajes formales en su definición y aplicación. El método utilizado es una variante de un Lenguaje de Definición de Procesos (PDL por sus siglas en inglés) desarrollado por la misma compañía León-Carrillo, Luis Vinicio (2005b) (ver Figura 6). El caso de estudio compara los resultados obtenidos de un proyecto que realiza pruebas solamente en la etapa final del desarrollo y uno que realiza pruebas desde etapas tempranas del proceso. Entre las conclusiones obtenidas el autor enfatiza los beneficios de aplicar el lenguaje de especificación ya que ayuda a simplificar los procesos de prueba, y para ello enfatiza la importancia de mantener un lenguaje simple y pequeño para la definición de las pruebas. Como se mencionó anteriormente, existen pocos casos documentados en nuestro país, similar al expuesto lo que dificulta establecer con exactitud la situación actual. En el área de pruebas de software, esto se justifica debido a la situación de nuestro país. De acuerdo con León-Carrillo, Luis Vinicio (2006), se debe a lo siguiente: 1. En México, se ve una industria poco estructurada, con muy pocos servicios de alto valor agregado (muy concentrados en la renta de testers), sin fuerte respaldo teórico. 2. Las pocas empresas que ofrecen esos servicios no son especializadas, por lo que suelen ser poco efectivas y poco productivas; lo que es peor: suelen ofrecer también el Métodos formales aplicados en la industria del software. Temas de Ciencia y Tecnología enero - abril\n8 servicio de desarrollo de software, lo que les hace perder credibilidad, pues se colocan como juez y parte. Adicionalmente, de los casos de estudio internacionales analizados, se puede decir que en el uso más conocido de los métodos formales son en proyectos para grandes aplicaciones, como en el caso del proyecto EDEMOI, llevados a cabo por empresas grandes como el caso de CICS e IBM, o para modelos de hardware o software empotrado como los casos de FeliCa y las SmartCards. Sin embargo, en general las empresas que se dedican a actividades relacionadas con Tecnologías de la Información en nuestro país son las llamadas Pequeñas y Medianas Empresas PYMES (ver Tabla 1), que se dedican mayormente a la elaboración de software a la medida, de software empaquetado e implementación de sistemas. Esto implica que pocas empresas tienen los recursos para capacitar a sus empleados en su utilización, adicionalmente, las PYMES esperan que las herramientas adoptadas cumplan ciertas características, Scott et al. (2001): 1. Los métodos utilizados deben ser efectivas y producir buenos resultados (ciclos de vida más cortos, detección temprana de errores, menor cantidad de errores después de liberados los productos). 2. Los métodos utilizados deben ser incrementados de forma que puedan ser implementados con una inversión relativamente corta, y ser extendidos de manera continua. 3. Los métodos utilizados deben dar resultados rápidos y tangibles de manera que pueda justificarse su continuación. 4. Los métodos utilizados deben hacer uso de tecnologías existentes para obtener el máximo beneficio del trabajo ya hecho en la empresa. Las investigaciones realizadas por Hall (1990) y Bowen e Hinchey (1995) sobre la aplicación de métodos formales en la industria muestran que los métodos formales son ideales para cumplir con los requisitos antes mencionados, dando como conclusión que los métodos formales pueden ser aplicados de manera exitosa, especialmente por los casos que muestran las ventajas de su aplicación y la posibilidad de aplicarlos en etapas específicas del desarrollo, lo que permitiría a las empresas adaptarlos de manera gradual y aprovechando las herramientas ya existentes. 5. Conclusiones Analizando la situación actual de las empresas de nuestro país y sus exigencias con respecto a la aplicación de nuevos métodos y procedimientos, se puede concluir que los métodos formales pueden ser aplicados en las empresas para mejorar sus procedimientos y productos. Desafortunadamente, el personal de las empresas cuenta con pocos fundamentos teóricos, esto agregado a la poca difusión de casos de éxito de métodos formales aplicados en nuestro país, origina que pocas empresas tengan conocimiento de su existencia y aún menos se atrevan a implementarlos en sus empresas. Por esta razón, los primeros pasos a dar para lograr su adopción en nuestro país serían los siguientes: 1. Se debe dedicar más tiempo y recursos a la investigación y difusión de la existencia de métodos formales, de manera que casos de éxito documentados e información sobre los métodos sean accesibles a las empresas y de esta manera puedan aplicarlos de acuerdo a sus necesidades. 2. Es necesario que el personal formado cuente con el suficiente respaldo teórico en el área, de tal forma que tenga la capacidad suficiente para aplicar los métodos en sus empresas de manera exitosa. Este respaldo TAB. 1: CLASIFICACIÓN TOTAL POR TAMAÑO DE EMPRESA SECRETARÍA DE ECONOMÍA (2004) 10 Temas de Ciencia y Tecnología enero - abril 2011 Ensayos\n9 debe darse desde la etapa de formación, lo que significa que debe fortalecerse la enseñanza de los métodos formales en las carreras afines a Tecnologías de la Información impartidas en nuestro país. Esto también propiciará su difusión no solamente en la industria, sino también en el ámbito académico fomentando la investigación sobre los métodos y su aplicación en el contexto de empresas como las PYMES que predominan en nuestro país. Asimismo es importante recordar que, como en el caso de cualquier método de desarrollo que se desee aplicar en las empresas, es importante contar con el respaldo de la alta dirección si se quiere que la implementación de los métodos se lleve a cabo de manera exitosa. Así mismo, se debe contar con el apoyo de las instituciones encargadas en nuestro país que den respaldo y fomenten a las empresas a la investigación y aplicación de métodos que permitan mejorar su situación en el contexto de la economía nacional y también en el contexto de la competencia global a la que se enfrentan las empresas de nuestro país hoy en día. 6. Anexo: Cuál es el costo de añadir el uso de métodos formales a los prácticas tradicionales? Enrique Vázquez y Miguel Pérez Cer viño e Tumbeiro (2008) aplican dos métodos de desarrollo: el convencional y utilizando métodos formales en un caso práctico con el objetivo de hacer una comparación en el esfuerzo requerido y muestran también la calidad del software desarrollado con las dos metodologías. El software utilizado es un Sistema de Seguridad Compilable y tiene como funcionalidad: grabación de video digital, control automático de puertas, detección de intrusos, supervisión de guardias. Para este caso práctico, se utiliza VDM-SL Plat e Larsen (1992) para el desarrollo de un módulo del sistema y se hace partiendo de los mismos requisitos que en el desarrollo convencional. Se utiliza también IFDA con soporte de VDM-SL y C++. Entre los principales beneficios se encuentra la reducción del código de líneas del código original a 5500 líneas. La especificación fue introducida a IFDA, un generador de código C++ sobre la plataforma Solaris. Al probar la calidad del software, se hicieron de una a siete pruebas para cada requisito. La calidad fue medida en función de qué tanto se cumplen los requisitos. El software desarrollado con el método formal cumplió en un 82% los requisitos, mientras que con el método convencional, se cumplió sólo el 62%. El esfuerzo se midió en función del tiempo que se llevó para el desarrollo de ese módulo. Con el método convencional se ocuparon 8 semanas para la obtención de los requisitos y 20 semanas para el diseño e implementación, haciendo un total de 28 semanas. En cambio, con el método formal se llevaron 18 semanas para la especificación abstracta, 5 semanas para la especificación ejecutable, 5 semanas para la validación y media semana para la generación de código en C++, haciendo un total de 28 semanas y media. La conclusión de la investigación fue que el incremento en esfuerzo para realizar el módulo resultó poco significativa, en comparación con el incremento en la calidad, el cual, si fue considerable. T Referencias Baur, Plasa, Kejwal, Drexler, Reif, Stephan, Wolpers, Hutter, Sengler E Canver 1992 «The Verification Support Environment VSE», in IFA Symposium on Safety, Security and Reliability of Computers. Bowen, J. P. E Hinchey, M. G Seven More Myths of Formal Methods, IEEE Software, vol. 12 (4), p Cerviño, E. V. E Tumbeiro, M. F. P Métodos formales VS Métodos convencionales. Dürr, E. E Van Katwijk, J «VDM++: a formal specification language for object-oriented designs», in TOOLS 7: Proceedings of the seventh international conference on Technology of object-oriented languages and systems, p , Prentice Hall International (UK) Ltd., Hertfordshire, UK, UK. Freitas, L., Woodcock, J. E Zhang, Y Verifying the CICS File Control API with Z/ Hall, A. Eves: An experiment in the verified software repository, Sci. Comput. Program., vol. 74 (4), p Seven Myths of Formal Methods, IEEE Software, vol. 7, p Métodos formales aplicados en la industria del software. Temas de Ciencia y Tecnología enero - abril\n10 Hall, A Using Formal Methods to Develop an ATC Information System, IEEE Softw., vol. 13 (2), p Kurita, T., Chiba, M. E Nakatsugawa, Y «Application of a Formal Specification Language in the Development of the Mobile FeliCaÏC Chip Firmware for Embedding in Mobile Phone», in FM 08: Proceedings of the 15th international symposium on Formal Methods, p , Springer-Verlag, Berlin, Heidelberg. Langenstein, B., Vogt, R. E Ullmann, M The Use of Formal Methods for Trusted Digital Signature Devices, in Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference», p , AAAI Press. León-Carrillo, Luis Vinicio 2005a El Proceso de la Prueba de Software. Lenguajes de Definición de Procesos, Software Gurú, p León-Carrillo, Luis Vinicio 2005b La especificación de un Process Definition Language (Reporte Interno), E-Quallity. León-Carrillo, Luis Vinicio 2006 «La Industria de Prueba de Software en México», Software Gurú. León-Carrillo, Luis Vinicio 2008 «The Impact of Software Testing in Small and Medium Settings», in OKTABA, H. e PIATTINI, M., curatori, «Software Process Improvement for Small and Medium Enterprises: techniques and case studies», cap. 4, p , Information Science Reference. Martínez, Christian A «Combinación de UML y Métodos Formales para el Éxito de los Sistemas», Journal de Investigación. Escuela de Graduados e Innovación, ITESM Campus Puebla, p Plat, N. E Larsen, P. G «An overview of the ISO/VDM-SL standard», SIGPLAN Not., vol. 27 (8), p Scott, L., Jeffery, R., Carvalho, L., D ambra, J. E Rutherford, P «Practical software process improvement - the IMPACT project», in «Software Engineering Conference, 2001.», p Secretaría De Economía 2004 Estudio del nivel de madurez y capacidad de procesos de la industria de tecnologías de información. Wing, Jeannette M A Specifier s Introduction to Formal Methods, Computer, vol. 23 (9), p Woodcock, Jim And Davies, Jim 1996 Using Z: specification, refinement, and proof, Prentice-Hall, Inc., Upper Saddle River, NJ, USA = Temas de Ciencia y Tecnología enero - abril 2011 Ensayos


¡¡GRACIAS A TOD@S!! – Blade Runners Calasparra\nHome Blog Rutas, Senderismo ¡¡GRACIAS A TOD@S!!\nUn día después de terminar la Vuelta Nocturna a la Sierra del Puerto solo tenemos palabras de agradecimiento para todos.\nGracias sobretodo a vosotr@s, los senderistas, que disteis todo vuestro esfuerzo y constancia en realizar el recorrido, que a parte de largo no era fácil. Un noche de bastante calor que se reflejó en los datos: casi 350 litros de agua consumida, muuuucha cerveza, toda la cocacola…\nGracias por no desfallecer en ningún momento, en ser constantes en vuestro avance facilitándonos las cosas sobremanera.\nGracias por vuestras palabras de aliento hacia nuestro esfuerzo porque todo estuviera en condiciones para que os encontrarais a gusto. Con gente como vosotros es muy fácil organizar un evento así. Gracias por vuestra confianza y por vuestra amabilidad.\nGracias también a todo el equipazo de Blades que estuvieron allí pendientes de todo el mundo y a la vez realizando la ruta con gran esfuerzo.\nGracias a los miembros de Protección Civil, quienes, como siempre, estuvieron en todo momento con nosotros, siguiendo en sus vehículos al pelotón y participando también a pie de la ruta. Sin su trabajo todo esto sería imposible.\nGracias a Cruz Roja, que llevó incluso a uno de sus miembros durante los 42 kilómetros andando con nosotros y que tuvo que intervenir en dos o tres ocasiones para trasladar a algunos participantes que sufrieron algún problema sin mayor importancia.\nGracias a nuestro Ayuntamiento, representado por su concejal de Deportes, Jordi, que desde el primer momento en el que se le expuso la idea de esta ruta estuvo apoyándonos en todo lo necesario.\nGracias a nuestros patrocinadores, Banco de Santander y Qalat, por su colaboración, y a Hero y a José de la Cooperativa Virgen de la Esperanza por su aportación de barritas y arroz de Calasparra respectivamente.\nAl igual que os dijimos a los que participasteis en la ruta a Caravaca, os esperamos en la siguiente. Y ya tenemos fecha: el 5 de Noviembre os queremos a todos aquí corriendo o andando en la 3ª Vuelta al Santuario. Son 14 kilómetros preciosos por nuestros arrozales con el aliciente de un plato de arroz de Calasparra que os estará esperando en la meta.\nOs dejamos la transcripción del manifiesto que Maria José, (nuestra locutora favorita), leyó antes de comenzar la ruta, en el que mostramos nuestro rechazo como Club a lo acontecido en nuestros montes con los incendios provocados.\nEso es todo amig@s…que sois todos geniales y que contamos con vosotros para la siguiente. Seguidnos en las redes o en nuestra web…un abrazo!.\n“Antes de comenzar esta ruta queremos expresar nuestra indignación y tristeza por los hechos acontecidos en los últimos días.\nSomos casi 100 socios en el Club Blade Runners, practicantes del deporte al aire libre, que amamos la naturaleza y nuestros montes.\nEn las últimas semanas hemos perdido parte de nuestra Sierra de San Miguel, lugar de entrenamiento y paseo de muchos de nosotros y de tantísimos calasparreños, por un incendio provocado.\nQueremos, como Club, dejar constancia de nuestra más absoluta repulsa por estos atentados contra parte de nuestras vidas, porque en esos montes no solo se queman los pinos, también se queman nuestros recuerdos, nuestras vivencias y el futuro de nuestros hijos.\nHemos disfrutado de esos parajes muchos años pero el fuego, como bien dice un mensaje del infoca, hace cenizas los sueños de nuestros niños, que queremos que, como nosotros, puedan practicar el deporte y disfrutar de esos mismos montes.\nNos resulta muy difícil entender como puede haber personas capaces de realizar actos semejantes, y deseamos que cuanto antes sean localizadas y reciban el peso de la ley. Confiamos en las entidades pertinentes para que eso ocurra y brindamos toda nuestra humilde colaboración en la medida de lo posible.\nHoy vamos a rodear la Sierra del Puerto, que ya se vio fuertemente castigada en el incendio del 94. Estamos seguros de que vosotros compartís el mismo sentimiento de pena y rabia al vivir acontecimientos parecidos en vuestros montes.\nConvirtamos esta ruta en un acto de reivindicación de nuestros espacios naturales y como compromiso firme de mantenerlos intactos y defenderlos de agresiones de personas indeseables amantes de la naturaleza muerta.\nEl pasado domingo se disputó la II Máximum Revolcadores, trail de montaña que transcurre por…\n7 agosto, 2017 a las 9:17 pm


1Nicaragua: fuertes vientos tras accidente aéreo\nLos fuertes vientos que soplaban en las afueras de la capital habrían sido la causa del desplome del helicóptero en el cual tenía previsto viajar el candidato liberal disidente Eduardo Montealegre, informaron las autoridades.\nEl jefe de seguridad de la Aeronáutica Civil, Hugo Mendieta, dijo a AP el martes que los informes preliminares indican que la zona montañosa donde despegó el aparato y luego cayó era azotada por "turbulencias orográficas" al momento del accidente.\n"Los vientos hicieron que el rotor principal de la nave se volteara hasta golpear el suelo, y probablemente los gases del escape y chispas del motor hicieron contacto con uno de los tanques de combustible roto, y todo estalló en llamas", añadió Mendieta.\nJosé Antonio Baltodano, dueño del helicóptero que se precipitó a tierra el domingo, descartó un atentado o desperfecto mecánico.\n"El viento estaba bastante fuerte, entonces al despegar, diría que a una altura de 25 pies, vino una ráfaga fortísima y se sintió como si el helicóptero diera vuelta y se desplomó", dijo a la prensa el empresario Baltodano, quien sobrevivió junto al piloto Jairo Balmaceda.\nEl helicóptero se incendió tras desplomarse al mediodía del domingo en una finca del municipio de El Crucero, ubicada a 20 kilómetros al sur de la capital y propiedad de Baltodano.\nLa aeronave iba a ser utilizada más tarde para trasladar a Montealegre a una fiesta hípica tradicional en la ciudad de Nandaime, 50 kilómetros al sur de Managua.\nMontealegre dijo esperará que concluyan las investigaciones que realiza la Aeronáutica Civil para pronunciarse.\nLas elecciones presidenciales están programadas para el 5 de noviembre próximo.


El lago Waikaremoana | Godwana >\nEl remoto y accidentado parque nacional Te Urewera es una auténtica joya natural de la cosa este/ región de la bahía de Hawke de la isla Norte. Preserva algunos de los paisajes más espléndidos del país . En el rincón suroeste del parque, el camino del lago Wakaremoana , una de las grandes rutas designadas nacionalmente y gestionada por el Departamento de Conservación , es uno de los mejores senderos excursionistas de Nueva Zelanda. Durante 46 kilómetros sigue aproximadamente la orilla del lago al que debe su nombre . Ofrece espléndidas vistas cuando se aleja de la orilla. La ida es relativamente sencilla y el camino no es muy largo , pero es preferible tomárselo con calma, parando a pasar una noche y a disfrutar de las oportunidades recreativas que ofrece el lago, como el baño y la pesca . Hay cinco cabañas y lugares de acampada. Debes reservarlos con antelación en cualquier época del año, pues esta excursión es popular incluso en invierno, aunque el sendero a veces está cerrado como consecuencia de las fuertes nevadas, capaces de derribar parte de algunos árboles y bloquear el paso.\nLa mayoría de los excursionistas conducen hasta Aniwaniwa por la carretera estatal 38 ( de gravilla) , que conecta la costa este con el centro de la isla Norte. Desde allí hay carreteras bien señalizadas que conducen a las dos entradas del camino, aunque la mayor parte de los visitantes prefieren aparcar con seguridad en Aniwaniwa y tomar uno de los autobuses regulares o taxis acuáticos que van a cada extremo de la ruta. Éstos también llevan a los excursionistas de vuelta hasta sus vehículos, después de completar el camino.\nSe puede viajar en ambos sentidos desde el puente colgante de Hopuruahine (al norte) hasta Onepoto (al sur) . La ruta pasa por diversos terrenos con una vegetación variada, desde bosques de hayas de Panekire Bluff a los de árboles de hojas anchas , además de espesas selvas tropicales y pastizales. En todos abundan las aves , lo que le da una dimensión colorida a esta caminata inolvidable por paisajes tan variados como impresionantes.\nlago, nueva zelanda, oceania, Viajes Exclusivos, waikaremoana


Banco de Alimentos de New Braunfels invita a distribución de comestibles – Telemundo San Antonio (60)\nBanco de Alimentos de New Braunfels invita a distribución de comestibles\nEn una fecha próxima también entregarán comida para mascotas.\nPor TELEMUNDO SAN ANTONIO\t• Publicado el 25 de julio del 2021 • Actualizado a las 8:06 pm del 25 de julio del 2021\nSAN ANTONIO - El Banco de Alimentos de New Braunfels (NBFB, por sus siglas en inglés) realizará la primera semana de agosto una distribución masiva de comestibles y otra con comida para mascotas.\nSegún se informó, el próximo jueves 5 de agosto se repartirán alimentos en los predios de la Universidad Luterana de Texas, que está ubicada en el 1000 W Court St de Seguin. El evento se extenderá de 9:00 a.m. a 11:00 a.m.\nPor otro lado, las comida para mascotas se entregará el sábado 7 de agosto en las instalaciones de la Iglesia Árbol de Vida, que está ubicada en el 5513 IH-35 South, en New Braunfels. La distribución se llevará a cabo de 9:00 a.m. a 11:30 a.m.\nPara ambos eventos se requiere una inscripción por adelantado que puedes completar aquí.\nAyuda para las familiasSan AntonioBanco de Alimentosdistribucion de comida


▷▷Agresividad | ¿Qué es la Agresividad? | Definición y Significado\nEs un conjunto de actitudes manifestadas por los seres humanos que en términos de la psicología, denota violencia y actitud contra una persona o un conjunto de personas.\nExisten muchas contradicciones en cuanto a la agresividad pues se dice que todos los seres humanos tenemos esta cualidad en mayor o menor medida, pero se acentúa más en unas personas que en otras según sean sus experiencias de vida.\nDe manera entonces que todos somos producto de conductas aprendidas que van despertando en nuestro ser cierto instinto compulsivo que puede ser expresado a través de palabras, gestos, movimientos y tono de voz.\nLa intensidad con la que se expresa la agresividad es muy personal y se relaciona con las experiencias anteriores y su aprendizaje, de manera que ciertas circunstancias pueden desencadenar mayores conductas de agresividad en algunas personas en relación a otras.\nSe ha determinado que los trastornos de personalidad e incluso algunos de tipo psiquiátricos, se expresan con conductas agresivas inicialmente y pudieran ser el primer signo manifestado por una enfermedad psiquiátrica en desarrollo.\nDesde el punto de vista científico la agresividad también se ha relacionado con el instinto sexual y la territorialidad que eventualmente es adoptado de la misma forma por la psicología.\n2 ¿Cómo reconocer a una persona Agresiva?\n3 La Agresividad en la Actualidad\nExisten diversas maneras en las que la agresividad se manifiesta, pero en resumidas cuentas la actitud de la persona agresiva viene dada por conductas que resultan ser ofensivas, provocativas y faltan el respeto a la persona afectada.\nDentro de los tipos de agresividad tenemos:\n1. Agresividad facial\nEs aquella expresada a través de gestos que transmiten ira, descontento y desprecio hacia las personas.\nEs el tipo de agresividad que implica el uso de la fuerza física a través de golpes, empujones, patadas e incluso el uso de armas que pueden atentar contra la vida de la persona afectada.\n3. Agresividad Verbal\nEs la agresividad que se expresa a través de palabras, bien sea ofensivas hacia el afectado o mediante un lenguaje que implica malas palabras, ira, frustración e incluso insultos. Suele ser una de las más evidentes.\n4. Agresividad sexual\nEs la más temida en mujeres y niños y se relaciona con actos de violación de tipo sexual en donde generalmente suele haber un trastorno psiquiátrico de base por parte del agresor con severas secuelas psicológicas en la persona afectada.\n5. Agresividad indirecta\nSe refiere a actos de violencia generalmente a objetos de personas con la que se pretende tener conductas agresivas sin necesidad de que haya daño directo sobre la víctima.\n¿Cómo reconocer a una persona Agresiva?\nUsualmente este tipo de personas tiene un lenguaje corporal que transmite violencia, por lo tanto ante el más mínimo evento que les haga tener una reacción, su conducta será elevar el tono de voz, malestar, incomodidad e ira.\nAdemás son personas irritables, intolerantes, rebeldes y déspotas que muestran rechazo a las opiniones ajenas, lo que provoca incomodidad total y sensación de desprecio hacia la victima de la agresión.\nCon facilidad una persona agresiva suele amenazar, insultar, intimidar a cualquier otra sin la más mínima consideración y en especial mostrar poco respeto a las necesidades de los demás.\nDe manera que ciertas situaciones cotidianas como intentar pagar el estacionamiento, resulta ser un evento frustrante para el agresivo que termina por mostrar desprecio y elevar el tono de voz frente al trabajador en cuestión.\nLa Agresividad en la Actualidad\nHemos visto que los adolescentes de nuestra época cada vez muestran ser más agresivos, con alto grado de rebeldía que pudiera estar en relación con la libertad tan exagerada que hoy en día se ha impuesto por los padres.\nEl alcance que nuestros adolescentes tienen a las redes sociales, los hace tener mayor acceso a diversas circunstancias tanto como un adulto, permitiéndoles ser más críticos y objetivos y sentir que están en capacidad de tomar sus propias decisiones.\nLos múltiples videojuegos relacionados con armas, hace que se envuelvan tanto en ellos que son capaces de sentir la necesidad de forma temprana, de portar armas y de estar muy de cerca con la muerte incluso pudiendo llegar a retarla.\nEsto lo podemos notar evaluando los atentados que a nivel mundial se han realizado y que han ocurrido a manos de adolescentes y jóvenes, lo cual debe hacernos reflexionar en cuanto al tipo de educación que impartimos a nuestros hijos.\nTambién se ha incrementado el número de familias que se ven afectadas por violencia bien sea por parte de los padres o por alguno de sus hijos en etapas vulnerables.\nLa violencia intrafamiliar termina siendo una conducta cotidiana que será tomada por los más pequeños de la familia y será manifestada en las aulas escolares o peor aún, en los hogares que a largo plazo estos jóvenes formarán.


EL ZARATEÑO DANIEL VICO RECIBIÓ “EL GORRIÓN DE LA PAZ” - MiraZarate.com.ar\nEL ZARATEÑO DANIEL VICO RECIBIÓ “EL GORRIÓN DE LA PAZ”\non 25 Abril, 2017 at 15:40\nEn el salón “Delia Parodi” de la Honorable Cámara de Diputados de la Nación se llevo a cabo la ceremonia de condecoración de la organización internacional “El Gorrión de la Paz”; entre los condecorados estuvo el dirigente zarateño, Daniel Vico.\nJunto a Vico recibieron el galardón la Presidenta de Abuelas de Plaza de Mayo, Estela de Carlotto, Magdalena Ruiz Guiñazu, Malena Galmarini, el Dr. Abel Albino, el Padre “Pepe” Di Paola, Margarita Barriento, Juan Carr, el Diuptado Alberto Asseff, el Juez Ricardo Basilico, José Luis Bichara y la Fundación Mil Milenios de Paz.\nEl dirigente de UNIR en Zárate fue reconocido por su compromiso en la lucha contra la violencia de género, recordando que fue autor de varios artículos sobre violencia, expositor, asesor y autor de varios proyectos para prevenir y sancionar la violencia de género.\nVico en nuestra ciudad presento el proyecto en el Honorable Concejo Deliberante para la creación de la Comisaria de la Mujer y la creación del Concejo Municipal de la Mujer en 2011, también realizo una conferencia internacional sobre violencia de género que se desarrollo en el Centro del Comercio e Industrias.\nEl momento emotivo del acto fue cuando la Presidenta de Abuelas de Plaza de Mayo recibió el galardón recordó Vico “todo el auditorio se fundió en un prolongado aplauso, ya que el día lunes se había dado la noticia de la recuperación del nieto 122, que había sido apropiado por la última dictadura cívico-militar”.\n“Es la abuela de todos los argentinos y una justa y digna embajadora de la paz en nuestro país y merecedora de este reconocimiento” afirmo el zarateño.\n¿Qué es “El Gorrión de la Paz”?\nEs una condecoración internacional “En mérito a las altas cualidades humanas y aporte profesional que contribuye en paz al desarrollo de los pueblos”. La prestigiosa medalla ha sido otorgada a gobernantes, diplomáticos, empresarios, científicos e intelectuales de los cinco continentes, incluyendo a premios Nobel.\nLA OBRA DE CALLE PIVIDAL EN SU ETAPA FINAL


LA UNISON SE INTEGRA AL FESTIVAL NACIONAL MINIBASKET NAVOJOA 2018\n(www.navojoasports.com) 5 Mayo 2018\nLa Unidad Regional Sur (URS) de la Universidad de Sonora se integró al Comité Organizador del Festival Nacional Minibasket Navojoa 2018, que se realizará en la Perla del Mayo, del 14 al 17 de junio y el cual servirá como pase al Mundial Infantil a celebrarse en Hermosillo este mismo año.\nEn la reunión estuvo presente la vicerrectora de la URS, Adriana Leticia Navarro Verdugo; el presidente de la Asociación Deportiva Mexicana de Basquetbol (Ademeba) en Navojoa, Ricardo Alberto Pastrana Corral; el presidente del comité organizador, Jorge Luis García de León Morales, y el coordinador operativo del evento, José Orneas Gómez.\nA su vez, Jorge Luis García de León resaltó su reconocimiento y agradecimiento a la vicerrectora Adriana Leticia Navarro Verdugo, quién desde el primer momento en que se planteó la posibilidad de integrar a la Universidad de Sonora en el Festival Nacional Minibasket Navojoa 2018 dejo saber su interés y compromiso porque la URS fuera parte de esta gran fiesta deportiva.


#NoticiasElClavo ¡Se abre el telón¡ Cali está lista para la vuelta de los teatros - El Clavo\n#NoticiasElClavo ¡Se abre el telón¡ Cali está lista para la vuelta de los teatros\nArtículos, Destacado, En Línea, Noticias, Recomendados, Teatro\n6:07 pm septiembre 8, 2020\n6 teatros de los 14 que existen actualmente en la ciudad, abrirán sus puertas para deleite de los caleños.\nCortesía de: Secretaría de Cultura de Cali\nEn la tarde de ayer, se firmó el pacto de bioseguridad entre directivos de las salas de teatro y secretarios de la Alcaldía de Santiago de Cali. Con esto, 6 sitios artísticos, de los 14 que hay en la ciudad, ofrecerán sus instalaciones para que los caleños tengan la posibilidad de ver las artes escénicas.\n“El teatro es parte de nuestra cultura caleña, y detrás del telón están las historias de vida y la pasión de cientos de personas amantes de este arte. Estamos felices de volver a nuestras actividades, cumpliendo con todas las medidas de bioseguridad”.\nÁlvaro Arcos, director de Cali Teatro\nPor el momento, Cali Teatro es uno de los 5 establecimientos que manifestaron su deseo de reabrir al público, los otros son: La Máscara,\nLa Concha, Pequeño Teatro de Muñecos – Casa Títeres, Teatro Experimental de Cali y Teatro Presagio. Los demás continuarán las actividades de forma virtual.\nRecordemos que de acuerdo a cifras de la Alcaldía de Cali: “El sector cultural de las artes escénicas beneficia a más de 500 actores y actrices de la ciudad. Además, impacta a más de 6.000 espectadores, amantes de la dramaturgia”\n"Se Abre el Telón"\narte de cali\npacto de bioseguridad\n#Podcast El Clavo en Radio: Política exterior y entretenimiento\nEn el Valle del Cauca Tenemos la Palabra\nNewer PostCon el apoyo de Smurfit Kappa, se abre la tercera versión del Premio Cívico Mejor Yumbo 2020\nOlder Post #Columna Incomoda


Jennifer Moya mantiene activo "su otro yo musical" durante la pandemia\nLa talentosa cantante margariteña tiene una amplia lista de proyectos artísticos: canciones, producciones, nuevos discos, renovación de repertorio, entre otros , y se prepara para montar una academia de canto.\n"Ya tengo listas dos producciones musicales inéditas". / Foto: Judith Sanabria\n10 May, 2020 | Jennifer Moya vive para la música y el canto y paralelamente le encanta estudiar y dar clases en su alma mater la Universidad de Oriente.\nDurante la pandemia del coronavirus y en este tiempo de confinamiento la hemos visto muy activa en las redes sociales, tambien compartiendo via online con músicos locales.\nEn un contacto telefónico le pedimos que nos diera noticias felices sobre su carrera porfesional. Y sin mucho misterio nos reveló sus proyectos.\n-Este año 2020 empezó lleno de muchas cosas positivas, shows en el Oriente del país, específicamente en la Elección de la Reina del Carnaval de Carúpano. Estuve bastante atareada en conciertos alusivos al Carnaval acá en la Isla y esperaba que todo el año se moviera en la misma sincronía -revela Jennifer.\n-Además, ya tengo listas dos producciones musicales inéditas hechas en el mismo estilo Folk que vengo manejando con El Bote, New York, el Feat con Sol y Sereno, entre otros temas. Estas nuevas producciones son una fusión Urbano/Margariteña, de canciones compuestas para mí, con letras frescas y en un Neoconcepto juvenil que enmarca el estilo que me caracteriza -adelanta la cantante.\nCon un toquecito de nostalgia, la artista nativa de la población de Tacarigua en el municipio Gómez, cuenta que "se iban a lanzar las nuevas canciones en Semana Santa, pero la crisis por la pandemia por el Covid-19, nos obligó a postponer todo el plan de promoción de estos mis temas inéditos. ¡Todo queda en manos de Dios!\nJennifer Moya. / Foto: CORTESÍA\n-¿Que has hecho en esta cuarentena a favor de tu carrera artística?\n-La creatividad se eleva y afloran las ideas como por arte de magia. En esta cuarentena me he dedicado a producir mis propios conceptos musicales desde el seno de mi hogar. Haciendo videos para las redes sociales, estudiando repertorio nuevo, probando estilos nuevos, haciendo colaboraciones y dúos a distancia con grandes músicos, fieles compañeros de trabajo y de mis shows. Hacer conciertos en vivo a través de Instagram, postear canciones que jamás hago en mis shows, pero que han sido clásicos que la gente ama y que solo hacerlos con mi voz les encanta sobremanera. En fin, me ha servido para conectarme con mi otro yo musical, el “Yo musical del espíritu", el que canta lo que le gusta y le apasiona, dejando descansar quizás al yo musical comercial.\n-Quiero en principio retomar el lanzamiento de mis producciones, montarme en la culminación de los videoClips en ese respecto. Planificar mi gira nacional con esta nueva propuesta musical de Jennifer Moya que seguro sorprenderá a muchos y como siempre, no me extraña, no gustará a otros, jajajaja, pero en fin, así es este asunto de la música y sus transformaciones, se trata de romper límites de lo posible, crear, mostrar y que sean, tu talento y tus producciones, que den testimonio de tu Ser musical y de tu huella por la senda de la vida.\n-Otro plan por desarrollar: quiero iniciar una Academia de Canto acá en la Isla, que vaya en función de la formación respecto al conocimiento técnico y funcional de la voz. Lo hago porque, bueno, yo soy docente universitaria y cuento con las bases pedagógicas para ello, aunado a que tengo una Tesis Doctoral en Pedagogía Musical y de allí, emerge una serie de conocimientos que quisiera emprender como validación de mi Teoría. Y finalmente, la razón de mayor peso, son cientos de peticiones que madres, infantes, adolescentes y demás, de manera privada me hacen a través de mis redes sociales, me preguntan que por qué no doy clases de canto y quiero permitirme compartir lo que sé, con aquellos que deseen trascender en este medio.\n-¿Qué ha cambiado en tu vida con esta experiencia de la cuarentena?\n-Creo que lo más importante ha sido la introspección, Mirar dentro de mí misma, comprender lo fuerte soy ante las vicisitudes de la vida. Aprender a vivir con tan poco, a apreciar cada gota de agua y cada gramo de comida, a entender que una partícula microscópica, por insignificante que parezca, puede llegar a paralizar las más grandes potencias del mundo, esto nos invita a no subestimar, apreciar y valorar más lo que tenemos. ¿Qué me deja esta experiencia? Introspección, aprecio, valoración y no subestimar el poder de nada en el mundo.\nCapturan a implicados en robo de otro taxista\nDenuncian la detención del alcalde Luis Cabeza en Sucre


Lo que es la comunión con Dios\nperson Autor: Sin mención del autor\nflag Tema: La comunión\nHijo mío, no es necesario saber muchas cosas para complacerme; basta con amar mucho. Háblame como le hablarías a una madre que te tiende los brazos.\n¿Hay alguien por quien te gustaría orar? Dime los nombres de tus padres, de tus amigos, y después de cada nombre, pídeme qué te gustaría que hiciera por ellos. Pídeme mucho, mucho; amo las almas generosas que se olvidan de sí mismas para pensar en los demás.\nHáblame de los pobres que quieres ayudar, de los enfermos que has visto sufrir, de los pecadores cuya conversión deseas, de los que te han retirado su afecto y a los que quieres volver a traer a mí. Por todos ellos, ofréceme una ferviente oración. Recuerda que he prometido responder a todas las oraciones que vienen del corazón; ¿y no vienen esas oraciones del corazón, las cuales se ofrecen por aquellos que amamos y que nos aman?\n¿Hay alguna gracia que quieras pedir para ti mismo? Escribe, si quieres, una larga lista de lo que deseas, de todas las necesidades de tu alma, y luego ven y léemela.\nDime con toda sencillez que reconoces tu orgullo, tu susceptibilidad, tu egoísmo, tu mezquindad, tu indolencia, y pídeme que te ayude en todos los esfuerzos que hagas para combatirlos. Pobre niño, no te ruborices: hay santos en el cielo que han tenido tus faltas, me han dirigido sus oraciones y poco a poco han sido corregidas.\nNo dudes en pedirme bendiciones para el cuerpo y el espíritu: la salud, la memoria y el éxito. Puedo darlo todo, y siempre doy lo que contribuye a la santidad del alma.\n¿Qué quieres para hoy, hijo mío? ¡Si supieras todo lo bueno que quiero para ti! ¿Tienes algún plan? Dime cuál es. ¿Los planes se refieren a tu vocación? ¿Qué es lo que deseas? ¿Te gustaría complacer a tu madre, a tu familia, a la gente de la que dependes? ¿Qué te gustaría hacer por ellos?\n¿Y para mí?... ¿No te gustaría poner algo de celo en mi servicio? ¿No te gustaría hacer un poco de bien por las almas de aquellos que amas y que, tal vez, me han olvidado?\nHáblame de todos los que te interesan; dime los motivos que te mueven, los medios que quieres emplear. ¿A quién te gustaría ver interesado en tu trabajo? Soy el Amo de los corazones, hijo mío, y los dirijo como me place. Traeré a tu alrededor a todos los que te sean necesarios. Quédate tranquilo.\nPon ante mí todas tus faltas, y te mostraré la causa de ellas. ¿Estás desconcertado? Oh, hijo mío, dímelo sin reservas. ¿Quién te ha molestado? Cuéntame todo, pero ten cuidado, cuando termines, de decir que perdonas, que quieres olvidar, y con esta condición te bendeciré.\n¿Temes alguna desgracia? ¿Hay algún temor infundado en tu corazón que no es menos preocupante? Ponte completamente a mi cuidado. Estoy aquí, lo veo todo, no te abandonaré.\n¿Hay personas a tu alrededor que te parecen más frías que antes, sin que hayas hecho nada para molestarlas? Órame con fervor y yo te los devolveré si son útiles para la santificación de tu vida.\n¿No tienes ninguna alegría que puedas compartir conmigo? ¿Por qué no me dejarías compartir tu felicidad? Dime qué te ha pasado desde ayer para hacerte feliz o consolarte? ¿Es una visita inesperada que te ha hecho bien? ¿Un miedo que se ha desvanecido? ¿Un éxito inesperado? ¿Una muestra de afecto, una carta, un don que has recibido? ¿Una prueba que te ha dejado más fuerte de lo que podías haber previsto? Preparé todo esto para ti. Muéstrame tu gratitud y dame las gracias.\n¿Tienes alguna promesa para mí? Puedo leer tu corazón. Si puedes engañar a los hombres, no puedes engañar a Dios, lo sabes. Sé sincero.\n¿Has decidido no exponerte a tal tentación otra vez? ¿Renunciar a algo que te conduce al mal? ¿Cerrar ese libro que excita tu imaginación? ¿No dar más tu amistad a una persona que, por no ser piadosa, perturba la paz de tu alma con su presencia? Aquí está uno de tus compañeros que te ha hecho daño; ¿estás dispuesto a devolverle el bien por el mal?\nEntonces, hijo mío, ve; ponte a la obra, en silencio, en humildad, en sumisión, en bondad, y luego vuelve mañana y tráeme un corazón aún más fiel y amoroso.\nMañana tendré nuevas bendiciones para ti.\nExtracto del «DISCÍPULO DE LA PALABRA» (agosto de 1902)\nLa comunión con el Padre y con su Hijo Jesucristo (H. L. Heijkoop) Diagrama sinóptico del tema de la comunión (Biblicom) La comunión (Biblicom) La comunión (La Bonne Nouvelle) Permaneced en mí (H. Smith)


¿Se abre otra puerta a los retiros?: expertos previsionales en alerta por cambio en la nueva Constitución que permitirá al Congreso ingresar proyectos de seguridad social\nAdvierten que hay que evitar que tales sistemas cambien constantemente, por lo que habrían preferido que esta materia esté entre las “leyes de concurrencia presidencial necesaria”. Además, se podrían aprobar retiros con un quórum más bajo en el Congreso. Entre los abogados constitucionalistas hay distintas visiones.\n—La iniciativa exclusiva que tiene hoy el Presidente de la República para tramitar proyectosen el Congreso en materia fiscal y de seguridad social, entre otros temas, ya no seguirá tal cualen caso de aprobarsela nueva Constitución.\nAhora lo que propone el borrador de la nueva Carta Magna, según lo aprobado por el pleno de la Convención Constitucional, es que se reemplaza lo anterior por “leyes de concurrencia presidencial necesaria”. Esdecir, hay un listado de materias en que tanto los parlamentarioscomo el Presidente tienen permitido ingresar proyectos, pero para que puedan terminar su tramitación, el mandatario los tiene que patrocinar. En este el listado de “leyes de concurrencia presidencial necesaria”, a diferencia de lo que existe hoy con exclusiva presidencial, los convencionales no incorporaron la seguridad social. Estoimplicaquelos parlamentarios a futuro podrán aprobar proyectos de este tipo si así lo desean, sin el patrocinio del Ejecutivo, siempre y cuando no irroguen directamente gasto fiscal, tema quesí se el listado.\nAsíporejemplo, con este cambio constitucional, podrán ingresar proyectos deretiro de AFP sin la necesidad de quesean presentados bajo la fórmula de una reforma constitucional, por lo que se podrían aprobar en el Congreso con un quórum menor que el requerido actualmente. Entre los expertos en seguridad social no cayó nada bien esta decisión, independiente del color político. En cambio, entre los abogados constitucionalistas, hay diferentes visiones.\nLa economista Paula Benavides, exasesora del Ministerio de Hacienda cuando el gobierno de la expresidenta Michelle Bachelet impulsó su reforma previsional, comenta que “aunque entre de concurrencia presidencial necesaria no seincluyó explícitamente la seguridad social, sí se incorporó las que irroguen directamente gastos al Estado, lo que aplicará en muchos casos. Pero en seguridad social también hay hartas materias con impactos significativos y de largo plazo que no irrogan gasto fiscal directo. En pensiones, modificacionesal pilar contributivo pueden producir grandes transferencias intra o intergeneracionales y afectar el desempeño del sistema, sin gasto fiscal directo.\nEl informe financiero del retiro de fondos alternativo, por ejemplo, señalaba que no irrogaba gasto fiscal”. Benavides agrega que “el Ejecutivo debe poder orientar estos sistemas para lograr sus objetivos y hay que evitar que los diseños cambien según intereses de corto plazo de las mayorías de turno. Hubiese sido mejor explicitar la necesidad de patrocinio, evitar un debatecaso a caso complejo y resultados que pueden ser perjudiciales en sistemas querequieren coherencia y visión de largo plazo para funcionar bien.\nAdemás, esta materia tampoco fueincluida explícitamente como ley de acuerdo regional para ser vista por la Cámara de las Regiones”. Para Alejandro Charme, abogado y exasesor legal del Ministerio del Trabajo durante el gobierno del expresidente Sebastián Piñera, dice que una de las principales razones para que exista actualmente iniciativa exclusiva del Presidente en seguridad social, es el control del gasto público, pero “también existe una razón de dar certeza jurídica a las personas, en término de que tanto los derechos sociales que se protegen y las obligaciones que se asumen en esta materia tengan una cierta permanencia en el tiempo y no se estén modificando continuamente”. Charme cree que “no deja de ser importante, relacionado con lo anterior, una razón detécnica legislativa, esto es, que no se estén presentando constantemente proyectos de ley que modifiquen la seguridad social, dado quees una materia que a la ciudadanía le interesa y puedeserutilizada para campañas políticas delos parlamentarios.\nEjemplo más claro: los constantes retiros de fondos previsionales; como los proyectos se deben tramitar, se expone el trabajo del Congreso a tramitar proyectos que puedan tener un objetivo distinto a las mejoras propias de la seguridad social”. El exsuperintendente de Pensiones, Alejandro Ferreiro, recuerda que acá los parlamentariospodrán iniciar seguridad social siempre que no haya un gasto fiscal directo, cuestión que será una barrera en muchos casos.\nPero agrega que “la historia de Chile muestra que la intervención del Parlamento en seguridad social hace imposible finalmente la “seguridad “En general, el Parlamento busca darle noticias favorables ala gente, beneficios concretos de corto plazo, y no tiene muy ala vista losefectos de largo plazo. En cambio, la seguridad social, o la previsión social, supone mirar el largo plazo. Por lo tanto, enla lógica de la previsión social hay que sacrificarse hoy, ahorrar hoy día, para poder tener mañana. En el Parlamento más bien esa la inversa: losincentivos electorales de corto plazo suponen beneficios presentes, a cambio de eventuales costos futuros.\nLos incentivos son completamente contrarios, por eso uno debiera blindar la seguridad social de la iniciativa parlamentaria”. La académica de la Universidad delos Andes, Cecilia Cifuentes, considera que “los constituyentes muestran una gran ignorancia de la historia de Chile. Fue el expresidente Frei Montalva el que introdujo una modificación constitucional a la Constitución del 25 para impedir la iniciativa del Parlamento en materias de seguridad social.\nSi bien algunas materias de seguridad social, como por ejemplo han sido los retiros de fondos de pensiones, podrían no tenerun impacto directo en gasto público, elimpacto indirecto puede ser muy significativo (en este caso tuvieron un impacto directo, aunque distribuido en el tiempo, en el Pilar Solidario). Los temas de seguridad social en manos del Parlamento llevaron en el pasado a entregar numerosos beneficios a grupos de presión, y además generaron un sistema kafkiano de seguridad social (reconocido por el propio Frei Montalva). Es nefasto volver a eso”. El abogado constitucionalista, académico UDP y de la Universidad de Utrecht, Javier Couso, explica que es excepcional lo que ocurre hoy en Chile, ya que las materias donde hay iniciativa exclusiva presidencial son muchas en comparación a otros países. Es más, en EEUU no hay ninguna materia que sea de iniciativa exclusiva del Presidente, y el Congreso puede iniciar cualquier tipo de proyecto irrogueo no gasto fiscal. Es por esto que Couso afirma: “No me parece el fin del mundo que en este caso la seguridad social quede fuera de las materias deconcurrencia presidencial necesaria.\nDicho eso, mi preferencia personal es que quede incluido, y ojalá eso se corrigiera, pero no me parece que sea algo tan anómalo si es que no se llegara a corregir”. Cree que una de las razones para incluir la seguridad social en el listado, es justamente por proyectos como los retiros de AFP, entre otras razones.\nPor su parte, el abogado constitucionalista Tomás Jordán (DC), que trabajó en la redacción del proyecto constitucional del segundo gobierno de Michelle Bachelet, detalla que hace tiempose estaba discutiendo qué iniciativas debían o no ser de iniciativa exclusiva del Presidente, oen este caso, deconcurrencia presidencial necesaria, “y así por ejemplo loindicaba el proyecto de la expresidenta Bachelet, en que seguridad social no requería ser de aquellas materias de iniciativa exclusiva del Presidente, a menos que eventualmente puedan irrogar gasto público (... ) No se justificaba, porque el modelo de seguridad social puede ser pensado también desde la perspectiva del Congreso”. Q\nEl Ejecutivo debe poder orientar estos sistemas para lograr sus objetivos y hay que evitar que los diseños cambien según intereses de corto plazo de las mayorías de tumo”. PAULA BENAVIDES, economista, exasesoradel M. De Hacienda de Bachelet.\nNo deja de serimportante una razón de técnica legislativa, esto es, que no se estén presentando constantemente proyectos de ley que modifiquen la seguridad social”. ALEJANDRO CHARME, abogado y exasesor del M. Del Trabajo en gobierno de Sebastián Pera\nDe Chile muestra que la intervención del Parlamento en seguridad social hace imposible finalmente la social”. ALEJANDRO FERREIRO, exsuperintendente de Pensiones.\nPágina: 3 Área: 73,50%\nPágina: 4 Área: 19,18%\n24/06/2022 Académicos advierten sobre materias mal resueltas en el texto de la Convención (El Mercurio)\n22/06/2022 Endeudamiento subnacional (La Segunda)\n19/06/2022 EXPERTOS ADVIERTEN QUE HUELGA CHILENA sería la más liberal del mundo, de aprobarse la nueva Constitución (El Mercurio)\n16/06/2022 ¿Qué significa que seamos un país Plurinacional? (El Heraldo)\n15/06/2022 Los alcances de la huelga y sus consecuencias: el tema que aviva el debate entre expertos (Diario Financiero)


Política de Privacidad | Hostal Sans\nHOSTAL SANS, es la marca comercial de la empresa CAREPO SA con CIF A 59934117. En relación a esto, HOSTAL SANS actúa como titular, dinamizador y gestor de contenidos de la presente Web. HOSTAL SANS informa a los Usuarios que cumple con la vigente normativa de protección de datos, y con carácter especial, , con el Reglamento (UE) 2016/679 del Parlamento Europeo y del Consejo de 27 de abril de 2016 (GDPR), con la Ley Orgánica 3/2018 de 5 de diciembre y con la Ley de la Sociedad de Servicios de la Información y Comercio Electrónico, Ley 34/2002, de 11 de julio.\nCualquier otra actividad comercial, mercantil, administrativa o de contratación de bienes y/o servicios es responsabilidad de la empresa mencionada anteriormente, propietaria de este dominio, y que opera con la marca HOSTAL SANS, para la gestión de actividades de hospedaje en un Hotel.\nDe acuerdo con lo dispuesto en la normativa vigente, HOSTAL SANS sólo recoge los datos estrictamente necesarios para ofrecer los servicios derivados de su actividad y demás prestaciones, servicios y actividades atribuidas por la Ley.\nLa presente política de protección de datos podrá variar con el tiempo debido a los posibles cambios legislativos, jurisprudenciales o de los criterios seguidos por la Agencia Española de Protección de Datos y/o la autoridad competente en cada momento. Es por ello que HOSTAL SANS se reserva el derecho a modificar el presente aviso legal para adaptarlo a novedades legislativas o jurisprudenciales que se encuentran vigentes en el momento preciso en que se acceda a los websites, así como a prácticas del sector.\nEn los anteriores supuestos, HOSTAL SANS anunciará en esta página Web, los cambios introducidos con la suficiente antelación a su puesta en práctica.\nTodos los datos que puedan proporcionarse mediante correo electrónico o formularios electrónicos serán tratados según la normativa vigente sobre protección de datos personales, y en todo caso tendrán el carácter de confidencial para el personal de HOSTAL SANS que gestione dicha información.\nMediante la implementación de los formularios incluidos en los diferentes websites, relativos a la dinamización y gestión de contenidos realizados por HOSTAL SANS y/o por el titular de la Web los Usuarios aceptan la inclusión y tratamiento de los datos que proporcionen en un fichero de datos de carácter personal, del cual es titular HOSTAL SANS, pudiéndose ejercer los derechos pertinentes según la cláusula siguiente.\nLos Usuarios podrán ejercitar, respecto de los datos recabados en la forma descrita en el punto anterior, los derechos reconocidos en la Ley Orgánica 3/2018, y en particular los derechos de acceso, rectificación, oposición y/o cancelación de datos. Los derechos referidos en el párrafo precedente, podrán ejercitarse por cada Usuario mediante solicitud escrita y firmada, acompañada de fotocopia de DNI o Pasaporte, dirigida a la siguiente dirección:\nAsimismo, si un Usuario no desea recibir información vía correo electrónico o cualquier otro medio, podrá comunicarlo por cualquier medio que quede constancia de su recepción a HOSTAL SANS en la dirección indicada.\nExclusivamente datos de contacto (carácter básico), como son el nombre, apellido y e-mail. Esta información es recibida por HOSTAL SANS y no serán cedidos, vendidos, o arrendados a otras empresas externas vinculadas a la gestión de actividades de hospedaje en hoteles.\nHOSTAL SANS es responsable de dichos ficheros de datos de carácter personal, creados por y para HOSTAL SANS con las finalidades de realizar el mantenimiento y gestión de la relación con los Usuarios, información y distribución de los servicios de la organización, así como la realización de actividades diversas.\nEn su caso, se solicitará a los Usuarios su consentimiento para que HOSTAL SANS pueda hacer uso de sus datos a fin de remitirle información relativa a la entidad, a las actividades que desarrolla o a otros temas relacionados.\nEl introducir los datos en alguna o algunas de las hojas de captación de datos implica el aceptar las presentes condiciones de uso y política de privacidad, dando por entendido que ha sido informado de las condiciones de uso y aviso legal de las mismas y que se compromete a su entero cumplimiento durante la navegación y participación en la Web www.hostalsans.com.\nAsimismo, y salvo que se haya informado al Usuario de la posible existencia de cesiones de sus datos a terceros, en ningún supuesto, salvo los casos amparados por la legislación vigente y las autorizaciones de los párrafos siguientes, ningún tercero ajeno a HOSTAL SANS tendrá acceso, sin el consentimiento expreso de los Usuarios, a sus datos personales y/o de navegación. En el resto de los casos HOSTAL SANS colaborará para que los terceros cumplan con la legislación vigente, si bien la responsabilidad será exigible a los citados terceros.\nHOSTAL SANS no venderá, alquilará o cederá los datos personales de los usuarios de esta Web, a empresas externas a HOSTAL SANS vinculadas al sector de la gestión de hospedaje en hoteles.\nHOSTAL SANS, no venderá, alquilará o cederá los e-mails de sus usuarios a otras empresas, externas a HOSTAL SANS vinculadas al de la gestión de hoteles, según lo expuesto en los formularios informativos de captación de datos de carácter personal.\nOcasionalmente, HOSTAL SANS puede enviar un email notificando mejoras, novedades u ofertas, que se produzcan en esta página Web. En cualquier momento pueden darse de baja enviando un email a info@hostalsans.com .\nTanto el acceso a la website como el uso que pueda realizarse de la información y contenidos incluidos en los mismos, será de exclusiva responsabilidad de quien lo realice. Por tanto, el uso que pueda hacerse de la información, imágenes, contenidos y/o productos reseñados y accesibles a través del mismo, estará supeditada a la legalidad, sea nacional o internacional, aplicable, así como a los principios de buena fe y uso lícito por parte de los Usuarios, quienes serán enteramente responsables de dicho acceso y correcto uso. Los Usuarios estarán obligados a hacer un uso razonable de los servicios o contenidos, bajo el principio de buena fe y con respeto a la legalidad vigente, a la moral, al orden público, a las buenas costumbres, a los derechos de terceros o de la propia empresa, todo ello según las posibilidades y fines para los que están concebidos. HOSTAL SANS no asume responsabilidades, ya sean directas o indirectas, por daño emergente o lucro cesante, derivadas del mal uso de los servicios o contenidos realizado por los Usuarios o terceros.\nEn cumplimiento del deber de información contemplado en el artículo 10 de la vigente Ley 34/2002, de 11 de julio, de Servicios de la Sociedad de la Información y de Comercio Electrónico, le comunicamos que la dinamizadora y gestora de contenidos de la Web es CAREPO SA con domicilio en Carrer Antoni Capmany, 82, 080414 Barcelona, y con la gestión del dominio de Internet https://www.hostalsans.com/, inscrito en el registro correspondiente, atendiendo a comunicaciones de los usuarios y/o interesados a través del e-mail info@hostalsans.com .\nCualquier otra actividad comercial, mercantil, administrativa o de contratación de bienes y/o servicios es responsabilidad de la empresa mencionada anteriormente, propietaria de este dominio, que opera con la marca HOSTAL SANS.\nHOSTAL SANS, colabora de forma ordinaria con diferentes aplicaciones y entornos Web, y siempre recomienda a todos los usuarios que antes de acceder a dichos entornos web lean atentamente los correspondientes avisos legales y políticas de privacidad, y que sólo accedan a los mismos una vez hayan comprendido y aceptado en su totalidad dicho texto legal. HOSTAL SANS se compromete a controlar los contenidos que se expongan en dichas redes sociales y expulsará aquellos usuarios que hagan un uso incorrecto en ellas.\nHOSTAL SANS, recomienda, siguiendo instrucciones del Instituto Nacional de Tecnologías de la Comunicación (INTECO) y de la Agencia Española de Protección de Datos (AEPD), para el uso de redes sociales o navegación en entornos Web, la ejecución de las siguientes acciones:


José Gabriel Eduardo Octavio López de Romaña y Alvizuri (Arequipa, 19 de marzo de 1847-Yura, 26 de mayo de 1912) fue un ingeniero, empresario y político peruano, que ocupó la Presidencia Constitucional del Perú de 1899 a 1903. Fue el primer presidente peruano con profesión de ingeniero civil. Con él se inició la etapa llamada la República Aristocrática, que duraría hasta 1919.\nCuando durante la Guerra del Pacífico, se produjo el avance chileno a su territorio, se enroló en la defensa con el grado de coronel y como comandante general de las Milicias Cívicas del valle de Tambo (donde tenía sus haciendas). Tres batallones de 1500 hombres estuvieron bajo su mando, de los que sólo doscientos estaban armados convenientemente. Romaña impidió el ingreso de los invasores chilenos en 1880, obligándoles a su retiro por Mollendo, no sin antes incendiar el puerto. Luego en 1882 los chilenos trataron de ingresar por Mejía al valle, pero fueron repelidos nuevamente por Romaña, esta vez con el apoyo de los húsares de Junín. Finalmente Arequipa fue tomada por el enemigo y la familia Romaña se refugió en Tacna, donde falleció la esposa de Eduardo.\nElecciones presidenciales de 1899[editar]\nPresidencia de la República (1899-1903)[editar]\n2. Juan Manuel López de Romaña y Fernández de Pascua\n7. María del Carmen Bustamante Gamio\nObtenido de «https://es.wikipedia.org/w/index.php?title=Eduardo_López_de_Romaña&oldid=143307251»\nAlcaldes de la provincia de Arequipa