2,124 research outputs found
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications
Non-Functional Properties (NFPs) are crucial in the design of software. Specification of systems is used in the very first phases of the software development process for the stakeholders to make decisions on which architecture or platform to use. These specifications may be an- alyzed using different formalisms and techniques, simulation being one of them. During a simulation, the relevant data involved in the anal- ysis of the NFPs of interest can be measured using monitors. In this work, we show how monitors can be parametrically specified so that the instrumentation of specifications to be monitored can be automatically performed. We prove that the original specification and the automati- cally obtained specification with monitors are bisimilar by construction. This means that the changes made on the original system by adding monitors do not affect its behavior. This approach allows us to have a library of possible monitors that can be safely added to analyze different properties, possibly on different objects of our systems, at will.Universidad de Málaga, Campus de Excelencia Internacional AndalucÃa Tech. Spanish MINECO/FEDER project TIN2014-52034-R, NSF Grant CNS 13-19109
La nueva ley de educación inglesa (1944) y el plan de Londres (1947) para su realización
Professor Benito Duran begins his study by pointing out the crisis of the English education which was originated by an incorrect amplification of the complete educational work. In order to study the London County Plan to a great extent in its legal and structural aspects the author carefully examines the principal sections of the English Law of Education of 1944 to present both the previous problems and the very development of the «London School Plan, 1947». He points out some groups of problems to end by enhancing the psycho-pedagogical neutrality of the plan, its social trend and its evident merits and indecisions
Altruismo polÃtico internaciónal
Aunque, a nivel mundial, la lucha por el desarrollo y los esfuerzos por mejorar la situación de las zonas más pobres del mundo han tenido efectos positivos, lo cierto es que todavÃa queda mucho por hacer. A punto de cumplirse el plazo marcado por los Objetivos de Desarrollo del Milenio, es necesario repensar las estrategias. Desde este punto de vista, la ética del cuidado puede enriquecer el debate y redescubrir la importancia social de los lazos afectivos y emocionales y la responsabilidad de cada una por la situación de las sociedades más desfavorecidas
Una aproximación comparada a las acciones positivas. El caso de Italia, Noruega y Argentina
Desde que 1975 fue declarado por las Naciones Unidas Año Internacional de las Mujeres, han sido numerosas las medidas legales y polÃticas para asegurar la participación de las mujeres en todos los ámbitos de acción de la sociedad. Sin embargo, los logros no se sitúan solamente en un incremento cuantitativo de mujeres en sectores como el laboral o los procesos de toma de decisiones. La integración de la igualdad de género en la estructuración de la sociedad abre interrogantes sobre la nueva lectura del poder, de la ciudadanÃa y de las relaciones personales. Y al mismo tiempo, cuestiona si las medidas de apoyo a la participación de las mujeres están teniendo o no un efecto positivo en favor de la igualdad
Género y religión
Este articulo trata de ofrecer un análisis de la situación de las mujeres en el ámbito de la Iglesia católica. Para ello, se propone en primer lugar, un balance de la definición del termino genero; asi como de la evolución del movimiento feminista. En segundo lugar, se lleva a cabo un estudio sobre los documentos publicados en la Iglesia católica relativos a la igualdad de las mujeres; y concluye con una serie de sugerencia
- …