Semántica de simulación para relaciones de conformidad

Esta tesis trata de las llamadas relaciones de conformidad que pueden darse entre dos sistemas cualesquiera, especificación e implementación. Como novedad introduce el uso de técnicas coinductivas para la definición de iocos, una relación de conformidad capaz de distinguir el contexto local de ejecución de un proceso. Al constituir iocos la parte central de una nueva teoría de Model Based Testing (MBT), se precisa de una descripción formal de los sistemas en juego; esto se lleva a cabo en primera instancia mediante sistemas de transiciones etiquetadas y posteriormente mediante un enfoque más abstracto, un álgebra de procesos. Las teorías de testing tienen por objeto confirmar las relaciones de conformidad mediante la ejecución de un conjunto de tests sobre un sistema –la implementación– cuya estructura interna se desconoce. Particularmente los beneficios de un enfoque MBT son inmediatos, ya que la generación de los tests puede abordarse de manera sistemática una vez se disponga de un modelo formal de la especificación, lo que contribuye a eliminar el error imputable al factor humano; esto se logra dando un algoritmo generador de tests que toma cono entrada una especificación y produce un conjunto de tests, posiblemente infinito, suficientemente representativo para asegurar la relación de conformidad. Este enfoque inicial, conocido como testing offline o testing estático, es mejorado para ganar en eficiencia evitando un alto consumo en recursos tanto de tiempo como de memoria mediante la técnica de testing online o testing dinámico, donde ambos pasos de generación y ejecución se ejecutan de manera alternada...

Cultura y desarrollo. América Latina : de la década perdida a la globalización

Este estudio pretende dilucidar si las fórmulas arbitradas por la élites rectoras latinoamericanas para resolver las problemáticas anexas a la coyuntura crítica que la región experimentó en los años ochenta, -la \D écada Perdida"-, corresponden en lo esencial a réplicas del patrón o imaginario fundante, matriz de símbolos, es decir al hecho de la colonización original. Es una investigación académica enfocada a la generación de conocimientos a partir de la producción teórico-crítica y del análisis institucional en correlato con el desenvolvimiento histórico, emprendimiento que habilita comparaciones culturales cruzadas proclives a facilitar ponderaciones sobre el desarrollo, tema central. Como planteamiento o estrategia metodológica se asume la postura caracterizada por Clifford Geertz, del autor como co-investigador, siendo contraparte, en tanto actores-agentes: académicos, intelectuales, políticos, expertos, cientistas sociales, periodistas. Se hace acopio de información estadística proveniente de macro-encuestas regionales, públicas y privadas, aparte de la facilitada por los organismos internacionales, a través de lo gráfico-relacional. Tras dar cuenta de los efectos de la nueva constelación tecnológica, concomitante con la transnacionalización de la economía y la globalización imperante, se analiza, en conformidad con el estudio histórico-social de las subjetividades subalternas, el surgimiento de sujetos o agentes sociales transformadores, o en camino de serlo, que emergen de la economía informal, de la proliferación del culto evangélico, nuevos movimientos sociales, la reivindicación indígena, los outsiders políticos. Después de constatar que las \reformas estructurales" no desarmaron el raciocinio que esta en el origen de los círculos viciosos que las justificaron, se concluye que las circunstancias requieren un \ajuste estructural de mentalidades".

Parlamento, norma jurídica y jurisdicción constitucional en el pensamiento de Kelsen desde el punto de vista de la neutralidad

El presente trabajo estudia la obra de Kelsen respecto al parlamento, la norma jurídica y, la jurisdicción constitucional. El análisis del objeto de investigación se realiza destacando la neutralidad en el pensamiento de Kelsen, lo cual es propio de una teoría científica del derecho, que no de la moral, la política o, la ética. Se sostiene que Kelsen asume la defensa de la democracia en base a los valores de libertad e igualdad, aunque no con el objeto de instaurar un modelo político o, desde la defensa de un poder político. Del mismo modo, la teoría normativa de Kelsen ha sido desarrollada desde una perspectiva general, no busca adecuarse a un sistema legal, ni dice lo que es el derecho o, cuál debe ser el contenido material del derecho. No prescribe, sólo describe. En igual sentido, la doctrina del Tribunal Constitucional como legislador negativo se sintetiza en verificar la conformidad de la norma con la Constitución, y no en evaluar el contenido material de la norma general. Antes de abordar los postulados antes mencionados se ha considerado conveniente estudiar de modo preliminar la valoración y la neutralidad en Kelsen para entender en qué grado la teoría pura del derecho es neutral destacando dicho componente en los apartados propuestos con el objeto de responder a otra pregunta mayor referida a la utilidad de una teoría neutral y relativista en una sociedad diversa y cambiante. Kelsen admite la inevitabilidad de la valoración en el derecho y en la política en contraposición al valor neutro desarrollado en la teoría pura del derecho y en toda su doctrina. Ciertamente, la teoría pura del derecho prescinde de toda ideología; es decir, de aprobar o desaprobar su objeto de estudio o, de evaluar o justificar por medio de la ciencia del derecho una determinada idea de justicia, moral, política, etc. Sin embargo, considero que a través de toda su doctrina persigue valores comunes como la paz, la libertad, la igualdad, la justicia y la felicidad colectiva.

El ámbito de la mediación, como mecanismo de autocomposición de las partes en la resolución de conflictos, en la Universidad Complutense de Madrid

En este artículo, el autor sostiene que la actuación disciplinaria de las universidades, siempre sometida al principio de legalidad, es incompatible con la mediación u con otros alternativos de resolución de conflictos (ADR). Esta labor sancionadora, que suele ser coordinada por los Servicios de Inspección, e irrenunciable para cualquier universidad pública, no puede amparar, ni mucho menos potenciar, la solución negociada de una infracción punible. En concreto, la mediación, como forma de solución de controversias, solo puede tener una función preventiva en el ámbito universitario, y debe ser gestionada, con mucha prudencia, por otros órganos o unidades administrativas, en ámbitos en los que previsiblemente no debe aplicarse, ex lege, ninguna actuación sancionadora. La institución de la mediación (o de otros ADR, como la conformidad o la conciliación) cohonesta muy mal con el principio de legalidad, característico del Derecho sancionador, tanto en su vertiente sustantiva como procesal. Si toda conducta infractora debe ser castigada, tras la prosecución del correspondiente procedimiento administrativo, pero resulta que, por una negociación más o menos disimulada, se soslaya la aplicación del texto sancionador (total o parcialmente) –en función de que la Inspección de Servicios decida «acusar» de una u otra forma sobre la base de la previsible, o segura, actitud posterior del infractor–, se está haciendo saltar por los aires dicho principio de legalidad, que se ve desplazado por el «principio de oportunidad; siendo el de «legalidad» el único principio que debe regir la actuación de la Administración, tal y como establecen los artículos 25.1 y 103 de nuestra Carta Magna. Muchas veces olvidamos que el interés público constituye la razón de ser del procedimiento administrativo disciplinario, verdadero instrumento para el ejercicio del ius puniendi delegado por el Estado, donde no debiera tener cabida sustancial el principio dispositivo, ya que las partes no tienen ningún margen de negociación.