El hombre metrosexual como Narciso contemporáneo: el papel del discurso publicitario actual en la construcción de la masculinidad

Existen diferentes definiciones del concepto de masculinidad. Por un lado están las normativas, que la entienden como lo que los hombres deberían ser y, por otro, los enfoques semióticos, que la definen como no-feminidad. Partiendo de este último enfoque y teniendo en cuenta que la feminidad ha evolucionado en los últimos años junto con la sociedad desdibujando la frontera entre lo que forma parte del rol femenino y lo que no, se puede afirmar que han surgido a partir de los renovados modelos de feminidad, diferentes y nuevas masculinidades entre las que se encuentra la del hombre metrosexual. Es en este tipo de masculinidad en concreto en la que se centra la presente investigación y en cómo se construye la narración de dicha masculinidad en el discurso publicitario actual recurriendo a la figura mítica de Narciso. Así, a partir de una revisión bibliográfica y de un análisis de contenido, se pretende analizar la influencia de la publicidad en la aparición del hombre metrosexual como nueva masculinidad en respuesta a la transformación de la feminidad, a la par que confirmar la presencia de la figura de Narciso como recurso en la construcción de la masculinidad en la publicidad actual.

La influencia del género sobre la responsabilidad social empresarial en las entidades de economía social

Puesto que las Entidades de la Economía Social (EES) basan su funcionamiento en valores como la democracia, la igualdad, la equidad, la solidaridad y, por tanto, contrarios a toda clase de discriminación, cabria esperar que prevaleciera en todos sus ámbitos la igualdad de género y, en especial, en lo relativo a la toma de decisiones. Sin embargo, al igual que sucede en el conjunto de las empresas, los escasos estudios que existen ponen de manifiesto que en las EES la participación de hombres y mujeres en la toma de decisiones no es igualitaria. Parece que estas organizaciones no son ajenas a los efectos de la segregación vertical, fundamentados en diversas teorías explicativas. No obstante, el estilo directivo femenino es bien diferente al desarrollado por sus colegas masculinos, aunque la cultura empresarial y los estereotipos de género impiden su diferenciación efectiva. Por otra parte, la sociedad exige cada vez más a las empresas compromisos sociales y medioambientales que superan el ámbito estrictamente económico. Por ello, a las empresas en general, y a las de la Economía Social en particular, se les pide que adopten prácticas de Responsabilidad Social Empresarial (RSE). En este contexto, y ante el paralelismo que existe entre los valores y principios de la Economía Social y de la Responsabilidad Social Empresarial (RSE), este trabajo tiene como objetivo analizar la incidencia del género en la RSE de las EES. Para ello, se cuenta con la información proporcionada de una muestra formada por 134 cooperativas y sociedades laborales. Los resultados obtenidos muestran que la mayor participación de las mujeres en la toma de decisiones de las empresas de Economía Social no afecta ni a la RSE, medida en su conjunto, ni a cada una de sus dimensiones (económica, social y medioambiental).

Verificación de algoritmos y estructuras de datos en Dafny

La verificación formal de un programa es la demostración de que este funciona de acuerdo a una descripción del comportamiento esperado en toda posible ejecución. La especificación de lo deseado puede utilizar técnicas diversas y entrar en mayor o menor detalle, pero para ganarse el título de formal esta ha de ser matemáticamente rigurosa. El estudio y ejercicio manual de alguna de esas técnicas forma parte del currículo común a los estudios de grado de la Facultad de Informática y del itinerario de Ciencias de la Computación de la Facultad de Ciencias Matemáticas de la Universidad Complutense de Madrid, como es el caso de la verificación con pre- y postcondiciones o lógica de Hoare. En el presente trabajo se explora la automatización de estos métodos mediante el lenguaje y verificador Dafny, con el que se especifican y verifican algoritmos y estructuras de datos de diversa complejidad. Dafny es un lenguaje de programación diseñado para integrar la especificación y permitir la verificación automática de sus programas, con la ayuda del programador y de un demostrador de teoremas en la sombra. Dafny es un proyecto en desarrollo activo aunque suficientemente maduro, que genera programas ejecutables.

Egalitarian state-transition systems (extended version)

We argue that considering transitions at the same level as states, as first-class citizens, is advantageous in many cases. Namely, the use of atomic propositions on transitions, as well as on states, allows temporal formulas and strategies to be more powerful, general, and meaningful. We define egalitarian structures and logics, and show how they generalize well-known state-based, event-based, and mixed ones. We present translations from egalitarian to non-egalitarian settings that, in particular, allow the model checking of LTLR formulas using Maude’s LTL model checker. We have implemented these translations as a prototype in Maude itself.

Synchronous products of rewrite systems (extended version)

We present and formalize a concept of synchronous product for rewrite systems, and also a corresponding concept for general transition systems, used as semantics for the former. A series of examples shows their practical usefulness: for the strategic control of systems, and for modular specification and verification.