A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

Os desafios da educação hospitalar para além da escola formal: um estudo das práticas desses educadores

Orientador: Robson Luiz de França

Erros linguísticos em textos formais de professores e de alunos: um estudo de caso

Esta é uma investigação sobre os erros linguísticos mais frequentes praticados por professores e alunos em textos formais. Trata-se de um estudo de caso, realizado numa escola pública com ensino básico e secundário da Região Autónoma da Madeira. Os testes dos alunos e as atas que os professores redigem das várias reuniões em que participam na escola constituem os corpora dos textos formais. Os informantes foram trinta e dois alunos, todos do 12º ano de cursos científico-humanísticos, e oitenta professores de diversos grupos disciplinares. Dado que não foi possível abranger todos os tipos de erros observados, optou-se por analisar as três áreas gramaticais em que a sua ocorrência foi mais problemática, a saber, ortografia, pontuação e coesão sintática, em detrimento de outras como a semântica, a lexicologia e a coerência textual. Este é um trabalho eminentemente prático que tem como objetivos primordiais enumerar os principais erros observados e comparar as diferenças de desempenho entre os dois grupos de informantes. Para isso, dividiu-se a análise em duas partes: a primeira é, essencialmente, descritiva e interpretativa; enquanto a segunda se baseia nos dados quantitativos para chegar a conclusões que, de outra forma, não seriam percetíveis. No final, sugerem-se algumas estratégias que poderão ajudar a diminuir a incidência do erro no meio escolar.

Identificando práticas musicais e processos de aprendizagem musical no contexto urbano de Montes Claros-MG

MENDES,Jean Joubert Freitas; BRITO,Leila de Jesus Ferreira de;CARMO, Raiana Alves Maciel Leal do. Identificando práticas musicais e processos de aprendizagem musical no contexto urbano de Montes Claros-MG. In: ENCONTRO DA ASSOCIAÇAO NACIONAL DE PESQUISA E POS-GRADUAÇAO EM MUSICA (ANPPOM), 17.,2007, Sao Paulo. Anais... Sao Paulo: ANPPOM, 2007.

Vacinação: o fazer da enfermagem e o saber das mães e/ou cuidadores

Observa-se na prática das unidades de saúde, ainda hoje, o pouco conhecimento das mães sobre o processo de vacinação e pouco envolvimento do enfermeiro nesse processo, principalmente na área de educação em saúde. O objetivo é identificar as ações de enfermagem na sala de vacina e descrever o conhecimento das mães/cuidadores acerca da vacinação infantil. Estudo exploratório-descritivo com abordagem quantitativa. A população foi composta por 43 mães e/ou cuidadores e 10 profissionais de enfermagem. Ocorreu em duas Unidades de Saúde da Família, na Zona Oeste de Natal/RN, em novembro e dezembro/2008. A maioria das mães (88,4%) conhece a importância de vacinar a crianças, embora não saibam quais as vacinas estão sendo dadas e para quais doenças são destinadas. A maioria dos profissionais prioriza mais a técnica do que a atividade educativa. Percebe-se, portanto, que há lacunas no saber das mães/cuidadores e nas ações de enfermagem que visem um trabalho promocional na sala de vacinação

Análise do processo de aprendizagem e alfabetização científica sobre a evolução dos veterbrados em um museu de ciências

Os museus como centros de ciências, enquanto espaços de educação não formal podem, por meio da participação ativa do público, promover a compreensão da ciência ao aguçar a curiosidade do indivíduo e estimular o prazer pela descoberta. Ação desenvolvida como intervenção acadêmica, social e cultural associada ao PIBID/UFRN/Biologia, tem como objetivo avaliar o uso de espaço de ensino não formal, na aprendizagem de conceitos, promovendo a alfabetização científica através de uma exposição em um museu de ciências e morfológicas. A visitação foi realizada no Museu de Ciências Morfológicas da UFRN, com alunos do 1º ano do ensino médio da escola Estadual Lourdes Guilherme, sendo aplicados questionários de pré e pós-visita sobre a Evolução dos Vertebrados, com intuito de analisar a contribuição do museu na aprendizagem destes conteúdos. A porcentagem de acertos no questionário pré-visita variou entre 8 e 68% em relação ao conhecimento geral dos alunos quanto à evolução dos vertebrados, enquanto no pós-visita essa variação foi de 16 a 90%. Com base nesses primeiros resultados verificamos o quanto os museus interativos de ciência se apresentam como um espaço educativo complementar à educação formal, possibilitando a ampliação e a melhoria do conhecimento científico de estudantes. Isso demonstra que o uso de espaços não formais contribui para a aprendizagem significativa, além de promover a alfabetização científica destes alunos ao gerar a compreensão da ciência e aguçar a curiosidade dos mesmos para o prazer da descoberta.

Atração e retenção de talentos em empresas de engenharia consultiva no setor de petróleo e gás natural da cidade de Natal

This study addresses the question of attraction and retention of talent in companies that produce engineering projects in the area of oil and natural gas in the city of Natal. The objectives were to identify the mechanisms that these companies use to attract and retain talented professionals and what the relationship between these practices and performance of these organizations in the market. This is a case study of a qualitative nature which were included in the fullness of companies that work in that class in the capital Potiguar. Have been applied to the managers of these companies structured questionnaires with eleven issues orientativas based on theoretical reference adopted. The research finds that managers understand the word "talent", recognize the importance of the appreciation of its employees and the development of their innate abilities to better organizational performance, much due to the fact they are acting in a market of fierce competition. His companies - though not submit the formal procedures related to the subject in question - have mechanisms that can be characterized as the attraction and retention of talent. The relationships identified in this study are consistent with the results found in other studies and put the information here can serve as the basis for that other managers, including other areas, to reach excellence in their respective industries

Cerâmica de Santo Antônio do Potengi: entre tradição e modernidade

In the Rio Grande do Norte, the craftsmanship is generating of economy, it involves a significant number of people and is diversified in its raw materials and particular type. As reference of the craft local, the ceramics supplied the primary necessities in the utilitarian domestic servants, acquired piety in the religious figures, were toy in infantile amusements and, finally, gained status of pure ornament. By its historical representation, the district of Santo Antônio do Potengi is considered the most important center of manufacture of craftpottery in the State. The work of the potters continues in that locality anchored between the familiar inheritance and the participation each more influential time of the public politics destined to the sector situation verified for visible alterations in the shape of the pottery from the decade of 1990 with the implantation of a cooperative destined to the collective production. We observe in this passage, that such actions in the measure where they objectify to structuralize conditions ideal to support the artisan making, do not benefit in significant way the social development them craftsmen. It is important not to lose of sight that exists some involved dimensions in this process and that these surpass the common interest for the object and the consequent economic connotation of its commercialization. They are knowledge that imply in the access to raw materials, in the peculiar of the formal aspects and productive methods, in the contextual relations organized to defend the survival of the activity

Sociabilidades e hedonismos: etnografia entre jovens usuários de substâncias psicoativas sintéticas Fortaleza Ceará

This dissertation shows a comparison between practices related to the body, to identities and to the health of young drug takers of synthetic and manipulated psychoactive substances living in Fortaleza. Through ethnographic accompaniment of parties and two social nets of young people I was able to verify the differences and similarities that make these addicted singular and plural in their notion of ethos and world vision. Notions of being hippie/alternative and being punk are present between these nets. Because their use and circulation are developed in environments usually distinct, it is possible to trace singular aspects between the nets and its actions. In parallel, on the attempt to build a triangulated data, I had information related to youth and drugs in local media and in governmental institutions bound to health mental and city security policies. With this junction of data I present a perspective to questions evolving formal and informal important controls to the conduction of their lives and identities. I present this as a sequel to well developed studies in Brasil about youth in interface to drug use, although still not very explored in the state of Ceará.

Outorga onerosa do direito de construir e dinâmica do mercado imobiliário formal: planejamento e descaminhos na expansão urbana de Parnamirim RN (2008-2010)

The `Outorga Onerosa do Direito de Construir - OODC` (Public Concession of Building Rights), instrument instituted by The City Statute in 2001, has as main objective the recovery of urban property, seeking for a fair distribution the urbanization benefits. The possibility of usage of the OODC instrument is linked to the maximum utilization coefficient, determined to specific areas in accordance to existing infrastructure conditions, further taking into account the formal real estate market, expansion axis and crowding. Being an instrument which establishes values to be paid for a better use of land, it maintains a narrow relation to the real estate, incentivizing or discouraging the crowding in specific areas. The present study investigates the relationship between the criteria for the making of the Public Concession of Building Rights instrument and the dynamics of the formal real estate market. It takes as empiric universe Parnamirim (RN), part of the Natal Metropolitan Area (RN), focusing on the application of the OODC in the period of 2008-2010. It seeks to better understand the necessary basis for the formulation of the instrument, about how it works and its relation to the formal real estate market. It aims to depict the formal real estate market by presenting the production of urban space in Parnamirim in terms of intensity and nature of the real estate, furthermore identifying the licensed properties through the application of the municipality instrument. For the conclusion, it is discussed the criteria for the formation of OODC, its relationship to the dynamics of the formal real estate market and its influencing possibilities in the processes of usage and occupation of land in the context of urban planning

Yes, nós temos arquitetura moderna! Reconstituição e análise da arquitetura residencial moderna em Natal das décadas de 50 e 60

Brazilian architecture was recognized because of the consecration of the icons of the Carioca and Paulista schools which are represented nationally and internationally by names like Niemeyer, Lucio Costa and Vilanova Artigas, among others. Because of this, classic studies dedicated to the Brazilian case look to present the Southeastern region with the title of father of modern Brazil, at the cost of subjugating various other modern movements and peripheral sayings, whether their values are known or forgotten. On the other hand, there has been an effort, in the sense of registering and analyzing these regional productions of modern Brazilian architecture, an assignment that DOCOMOMO Brasil participates firmly through initiatives like the creation of a Library to aid in the documentation and registration of modernity in Brazil. Inside this context of insertions of the National-Modern scheme, this work has as its objective to present modern potiguar (northern Brazil) architecture through its contemporary residential examples, investigating specifically its constructive, formal aspects, that together that together demonstrate one more architectural emphasis of modern Brazilian architecture: the potiguar. This way, by contributing to the work of the register and the documentation of the Modern Movement and attributing to the modern architecture of Natal it s real worth, we can say: Yes, we have modern architecture

A forma no edifício residencial vertical em Natal : 1969 a 2000 :

This essay focuses on issues related to internal problems of the architecture discipline, specially those related to the aesthetics of the buildings. The universe analyzed in this research is constituted of some of the vertical housing built in Natal from the period of 1969 to 2000. As we could observe there are many different aspects in these apartment buildings external appearance, denoting increasing preoccupations in their formal elaboration in the battlefield for diversity against monotony of the simple prismatic volumetric forms.

UBS RN-7: proposta arquitetônica para um padrão flexível de unidade básica de saúde para a zona bioclimática 7 do RN, com ênfase na sustentabilidade ambiental

Standardization and sustainability: these two apparently antagonistic words find the challenge of uniting in a flexible architectonic proposal. This was the idea that motivated the proposal of this assignment, whose appearing is bound up with the necessity of thinking about standardized spaces that attend on functional criterias and environmental sustainability, in reply to an existing real demand. The assignment consists of an architectonic proposal for a flexible standard of a Basic Unit of Health for the bioclimatic zone 7 of RN (UBS RN-7), with emphasis in the environmental sustainability. The project contemplates innumerable involved variables, such as: obedience to the current law of the Health Ministry for the UBSs; formal/aesthetic aspects; criterias of expansiveness of the UBS I for the UBS II; relative aspects to the constructive rationality and, mainly, sustainability aspects. With the intention to unite the variables and, also, glimpsing a proposal that could reach a good functional performance, aesthetic, of environment comfort and energetic efficiency, it was also necessary to consider concepts about the flexibility of the envelopment. The elaboration of the architecture first draft was based on bibliographical research, conceptual studies and references, elaboration of the architectonic program and the draft development for the UBS port I and the UBS port II. To the end, an implantation data sheet for the project is proposed for the UBS standard project, where strategies of thermal isolation, shadowing and thermal inertia are adopted and combined to three possible types of lot, resulting in 24 possibilities of implantation

Qualificação de edifícios residenciais verticais em Natal/RN à luz do regulamento técnico da qualidade para o nível de eficiência energética de edificações residenciais (RTQ-R)

The goal of the research was to investigate the energy performance of residential vertical buildings envelope in the hot and humid climate of Natal, capital of Rio Grande do Norte, based in the Technical Regulation of Quality for Energy Efficiency Level in Residential Buildings (RTQ -R), launched in 2010. The study pretends to contribute to the development of design strategies appropriate to the specific local climate and the increasing of energy efficiency level of the envelope. The methodological procedures included the survey in 22 (twenty two) residential buildings, the formulation of representative prototypes based on typological and constructives characters researched and the classification of the level of energy efficiency in the envelopment of these prototypes, using as a tool the prescriptive method of the RTQ-R and the parametric analyzes from assigning different values of the following variables: shape of the pavement type; distribution of housing compartments; orientation of the building; area and shading of openings; thermal transmittance, and solar absorptance of opaque materials of the frontage in order to evaluate the influence of these on the envelopment performance. The main results accomplished with this work includes the qualification of vertical residential buildings in Natal/RN; the verification of the adequacy of these buildings to local climate based from the diagnosis of the thermal energy of the envelopment performance, the identification of variables with more significant influence on the prescriptive methodology of RTQ-R and design solutions more favorable to obtain higher levels energy efficiency by this method. Finally, it was verified, that some of these solutions proved contradictory in relation to the recommendations contained in the theoretical approaches regarding environmental comfort in hot and humid weather, which indicates the need for improvement of the prescriptive method RTQ-R and further research on efficient design solutions

Aparências da forma e forma do espaço: análise da configuração espacial de residências unifamiliares dos anos 1970 em João Pessoa PB

Assuming that the form of a building shell and its content the spatial form are distinct dimensions of architecture - however indivisible and interdependent -, this study focus, in the light of the Social Logic of Space (HILLIER; HANSON, 1984), on the intrinsic properties through which domestic space was structured in a sample of single-family dwellings built in João Pessoa (PB) during the 1970s - when the vocabulary of modern architecture still prevailed in Brazil though sharing the urban scene with other architectural trends -, in order to investigate regularities or divergences underlying their conception. These dwellings were originally classified (ARAÚJO, 2010a) in five categories defined according to the form of their building shells and to their prevailing construction techniques: (1) Brazilian modern legacy (considered as truly Brazilian modern style); (2) Paulista architecture (that refers to the modern production of São Paulo, Brazil, from the 1950s through the 1970s); (3) experiences of rationalization and prefabrication ; (4) experiences of adaptation to the climate (referring to a design strongly influenced by the hot and humid climate of North-eastern Brazil); and (5) hybrid (to account for a kind of stylistic hybridism that includes formal attributes, which evoke our colonial past). This study aims to determine, through the analyses of nineteen cases that represent each category, whether this taxonomy corresponds to distinct modes of spatial configuration. This research therefore proposes an approach to the classification of domestic architecture based on topological properties. The dwellings spatial organization was represented, quantified and analyzed, their spatial properties explored in consonance with one another and with the literature. Results pointed out that there is no evidence of a reciprocal relationship between the formal look of the built shells and their respective spatial structures