Modelling and verifying smell-free architectures with the Archery language

Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.

A carnival of sports, an entertainment representing such popular sports as tennis, archery, base-ball, boxing, football, etc. ...

Mode of access: Internet.

Ballads of archery, sonnets, etc.

Mode of access: Internet.

The Sporting repository : containing horse racing, hunting, coursing, shooting, archery, trotting and tandem matches, cocking pedestrianism, pugilism, anecdotes on sporting subjects, interspersed with essays, tales, and a great variety of miscellaneous articles.

"This edition is limited to 500 copies".

Corpo, movimento e cultura : um estudo fotoetnográfico da imagem do arqueiro nos X e XI Jogos dos Povos Indígenas

Universidade Estadual de Campinas . Faculdade de Educação Física

Impacto da desidratação na geração de força de atletas de arco e flecha durante competição Indoor e Outdoor

INTRODUÇÃO: O arco e flecha é um esporte estático que requer força e resistência da parte superior do corpo, sendo que a habilidade do arqueiro é definida pela capacidade de atirar a flecha no alvo em um intervalo de tempo com precisão. A contração muscular gerada durante a execução do gesto esportivo propicia o aumento da temperatura corporal, da oxidação de glicose e da sudorese, podendo esta ser potencializada pelas condições climáticas às quais o atleta é exposto. Todos estes fatores alteram a percepção de esforço e a própria geração de força, impondo um estresse negativo à performance. OBJETIVOS: Avaliar e relacionar o estado de hidratação de atletas de arco e flecha com alterações fisiológicas e de força intervenientes no rendimento competitivo. MÉTODOS: Participaram 11 arqueiros em duas competições distintas (indoor e outdoor). Foram mensurados parâmetros relacionados ao estado de hidratação, glicemia, percepção de esforço subjetivo e alteração na força de preensão palmar. RESULTADOS: Os atletas analisados apresentaram alterações significativas nos parâmetros relacionados ao estado hídrico em diferentes dias, provavelmente relacionadas às condições climáticas adversas na competição outdoor (34ºC e 60% URA) em relação à competição indoor (22ºC e 90% URA). O mesmo não foi observado para a glicemia. CONCLUSÃO: Este trabalho é o primeiro a comprovar a relação direta entre fatores climáticos e de rendimento em arqueiros de alto nível durante evento competitivo, assim como a evidenciar quais métodos não invasivos seriam os mais indicados para a avaliação do impacto destas alterações.

On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

1970 Iowa Hunting and Trapping Laws Synopsis (effective until June 30, 1971, 1970

This pamphlet reviews hunting and trapping laws and regulations in Iowa from 1970 to June 30, 1971. Also contains information on hunting licenses and seasons.

La educación virtual antidoping como estrategia para desarrollar la cultura del juego limpio en el deporte mexicano : Un estudio de género

El propósito del estudio fue analizar el nivel de conocimiento y dominio sobre el doping que tienen las deportistas élite en México, para emprender acciones que permitan educar a los deportistas y su equipo de entrenamiento en el juego limpio, a través de acciones psicopedagógicas que faciliten un aprendizaje significativo, evitando que las deportistas usen de manera voluntaria o involuntaria sustancias y métodos prohibidos. Las pregunta principal que orientó la investigación fue la siguiente: ¿Qué nivel de conocimiento y dominio sobre el doping tienen las deportistas élite en México?. Para la investigación de campo, se elaboró un cuestionario de 22 preguntas para explorar el nivel de conocimiento y dominio que tenían los deportistas considerados élite por pertenecer a la selección estatal o nacional de los deportes de gimnasia olímpica, tiro con arco y hockey sobre pasto. Las respuestas encontradas demuestran que en algunos aspectos existe desconocimiento en materia de dopaje, y se devela la necesidad de profundizar en el programa de educación antidoping. Se manifiesta que la ignorancia que existe en diferentes aspectos, pone en riesgo a los deportistas en el uso inconsciente de sustancias y métodos prohibidos en el deporte