Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

GT4CCI: uma abordagem baseada em grounded theory para a identificação de interesses transversais em documentos de requisitos

When crosscutting concerns identification is performed from the beginning of development, on the activities involved in requirements engineering, there are many gains in terms of quality, cost and efficiency throughout the lifecycle of software development. This early identification supports the evolution of requirements, detects possible flaws in the requirements specification, improves traceability among requirements, provides better software modularity and prevents possible rework. However, despite these several advantages, the crosscutting concerns identification over requirements engineering faces several difficulties such as the lack of systematization and tools that support it. Furthermore, it is difficult to justify why some concerns are identified as crosscutting or not, since this identification is, most often, made without any methodology that systematizes and bases it. In this context, this paper proposes an approach based on Grounded Theory, called GT4CCI, for systematizing and basing the process of identifying crosscutting concerns in the initial stages of the software development process in the requirements document. Grounded Theory is a renowned methodology for qualitative analysis of data. Through the use of GT4CCI it is possible to better understand, track and document concerns, adding gains in terms of quality, reliability and modularity of the entire lifecycle of software

Diretrizes para diagnóstico morfológico em síndromes mielodisplásicas

As síndromes mielodisplásicas são reconhecidas como doenças que se originam nas células-tronco da medula óssea e que requerem avaliação sistemática e criteriosa de sangue periférico e medula óssea para seu correto diagnóstico. O objetivo deste relato é estabelecer os critérios morfológicos (cito-histológicos) como parâmetros para o diagnóstico de SMD em amostras de sangue periférico e medula óssea, com especial direcionamento aos hematologistas e patologistas clínicos que exercem a hematologia laboratorial na sua rotina de trabalho. Os principais achados morfológicos são listados no final deste relato, na forma de check-list, objetivando a sistematização sobre estes achados.

A questão urbana e a produção acadêmica do Serviço Social brasileiro em foco

O artigo aborda a questão urbana como objeto de pesquisa do Serviço Social. Resulta de pesquisa teórica e de análise das produções sobre esta temática, tendo por base artigos dos anais dos Encontros Nacionais de Pesquisadores em Serviço Social (ENPESS), no período 2000-2010. A ampliação e diversidade de espaços sócio-ocupacionais não correspondem necessariamente ao desenvolvimento de pesquisas, com aprofundamento teórico-metodológico exigido pela complexidade da questão urbana na contemporaneidade. Há crescente interesse pela temática de pesquisadores, profissionais e estudantes e esforços de sistematização e pesquisa evidenciados no número de trabalhos e na busca de qualidade dos mesmos. Mas há também necessidade de aprofundamento teórico-metodológico para uma produção do conhecimento em consonância com o Projeto Ético-Politico, o que supõe construção de vias de superação da sociabilidade capitalista

Saberes necessários para a docência na educação de jovens e adultos

The present thesis, entitled Knowledge for teaching: reflecting over the Youth and Adult Education, mainly considered common aspects concerning teachers knowledge and youth and adult education. It aimed to analyze, in partnership with its participants, the knowledge which is requested for teaching youth and adults. It focused on the following question: What teaching knowledge is necessary for the professionals who work during the first grades of elementary school with the youth and adults? The research took place in a school named Escola Municipal São Lucas, located in the city of Vitória da Conquista, state of Bahia, having as reference the discourses of four participants involved in the experience of research-formation. The collaborative approach, based on qualitative principles, was the adopted theoricalmethodological way, considering four actions: describing, informing, confronting and reconstructing. Collective interviews, study and reflection sessions, literacy practice observations, documental analysis and notes regarding field work were procedures adopted throughout the research. In order to analyze and organize data, we were supported by the discourse analysis, by Bakhtin (1997), specifically about the discussions around the ideas of theme and signification, which are concepts related to processual and dialectical analysis. The results and conclusions of the research make it possible to affirm that pedagogical practices, professional experiences, dialogues with other individuals and knowledge acquired at the university and at other learning environments are the participants main knowledge sources. When it comes to the local educational politics, it is observed contradiction between the participants desires regarding the school pedagogical routines and the proposals of the local government in relation to education. From our point of view, the knowledge identified and analyzed in this thesis demands the development of a diligent, technical, scientific and politically planned formative process (initial and continued), which requires fundamental public investments to recreate the educational politics and, consequently, the pedagogical experiences within the schools, contributing to the Youth and Adult Education professionalization process

Percepção de mães adolescentes acerca da participação paterna na gravidez, nascimento e criação do filho

A participação paterna na gravidez de adolescentes ainda é pouco discutida, embora a ausência do companheiro seja apontada como um dos problemas sociais dela decorrente. Esta investigação, de cunho qualitativo, teve por objetivo descrever como se dá a participação do pai do bebê durante a gestação, nacimento e criação do filho nos primeiros meses de vida, na perspectiva de adolescentes que passaram pela experiência de engravidar e ter um filho. Na sistematização dos dados, os mesmos foram agrupados em duas categorias: vivenciando a gravidez e valorizando a presença e participação do companheiro/pai.

A paisagem em foco: leituras fotográficas de jardim do Seridó-RN

Landscape one of the main concepts in Geography can be understood as social practice and also as a form of spatial representation. In any case, it is necessary to understand it not only by it s visual instance though its visual instance is an important part of its own identity , but also as a signifying system that produces meaning through many forms of representation. Within this framework, the photographic image is an alternative field for the building, elaboration, re-elaboration and perception of the landscape. Within this context, the main objective of this work is to produce an understanding of Jardim do Seridó s landscape through the reading of its simbolic text built through the photographs taken by José Modesto de Azevedo, a photographer well known as Zé Boinho , in the period from 1950 to 1980. The way in which a specific representation of a particular geography works within the photographic paradigm, considering the narrative construction of urban space and landscape, constitutes the framework from which the concept of landscape is built. So, this work has taken into consideration the writings of authors such as Aumont (1993), Dondis (1997), Cosgrove (1998), Duncan (2004) e Shama (1996), Castoriadis (1982), etc. Thus, this work aimed to highlight that the urban space photographs narrative built by Zé Boinho is an important alternative field for the understanding of how Jardim do Seridó s landscape became a symbolic representation for the collective imaginary of the city

Parque Estadual da Pedra da Boca (Araruna/PB): uma avaliação sobre as atividades turísticas e as ações de gestão territorial

The Conservation Units, specially the National and State parks are among the major destinations for adventure tourism and ecotourism, so that the National System of Unit Conservation (Sistema Nacional de Unidades de Conservação) SNUC (Law 9.985/2000) covers the practice of touristic activities, specially the ecotourism in these territorial unities. Despite these are areas for environmental conservation, practice of environmental education, scientific research and contemplation of the nature in its primary or in a similar condition, the practice of touristic activity does not often meet these aims. The main aim of this research was to evaluate the touristic activities and the actions of territorial management in the State Park of Pedra da Boca (PEPB), situated in the city of Araruna/PB. According to the results, the PEPB has in its territorial area a porphyritic granite rock set, whose geological and geomorphologic settings are unique and have scenic value. It is also home of flora and fauna endemic species and representative of the savanna biome. The data and information achieved show that the Park has a remarkable potential for tourism, especially ecotourism, however, there is a need for development of territorial management actions, in order to subsidize the use of spatial tourism site

Síndromes hipertensivas da gestação: identificação de casos graves

A hipertensão arterial está entre as causas mais freqüentes de morte materna. Entre os tipos presentes na gravidez destacam-se as manifestações específicas, isto é, a pré-eclâmpsia e a hipertensão gestacional, definidas clinicamente por aumento dos níveis da pressão arterial após a 20ª semana de gestação, associado (pré-eclâmpsia) ou não (hipertensão gestacional) à proteinúria. Na fase inicial a doença é assintomática, porém, quando não tratada ou não se interrompe a gestação, sua evolução natural é desenvolver as formas graves, como a eclâmpsia e a síndrome HELLP. Eclâmpsia é definida pela manifestação de uma ou mais crises convulsivas tônico-clônicas generalizadas e/ou coma, em gestante com hipertensão gestacional ou pré-eclâmpsia, na ausência de doenças neurológicas. Pode ocorrer durante a gestação, durante o trabalho de parto e no puerpério imediato. É comumente precedida pelos sinais e sintomas de eclâmpsia iminente (distúrbios do sistema nervoso central, visuais e gástricos). A associação de hemólise, plaquetopenia e disfunção hepática já era relatada na literatura na década de cinqüenta. em 1982, Weinstein reuniu estas alterações sob o acrônimo de HELLP, significando hemólise (H), aumento de enzimas hepáticas (EL) e plaquetopenia (LP), e denominou-as de síndrome HELLP. A literatura diverge em relação aos valores dos parâmetros que definem a síndrome. Sibai et al. (1986) propuseram sistematização dos padrões laboratoriais e bioquímicos para o diagnóstico da mesma, que foi adotada pelo Ministério da Saúde do Brasil. As manifestações clínicas podem ser imprecisas, sendo comuns queixas como dor epigástrica, mal-estar geral, inapetência, náuseas e vômitos. O diagnóstico precoce é, eminentemente, laboratorial e deve ser pesquisado de maneira sistemática nas mulheres com pré-eclâmpsia grave/eclâmpsia e/ou dor no quadrante superior direito do abdome. Diferenciar a síndrome HELLP de outras ocorrências, com manifestações clínicas e/ou laboratoriais semelhantes, não é tarefa fácil. O diagnóstico diferencial é particularmente difícil para doenças como púrpura trombocitopênica trombótica, síndrome hemolítico-urêmica e fígado gorduroso agudo da gravidez, devido à insuficiente história clínica e à semelhança dos aspectos fisiopatológicos. O conhecimento da fisiopatologia da pré-eclâmpsia, o diagnóstico precoce e a atuação precisa no momento adequado nas situações complicadas pela eclâmpsia e/ou síndrome HELLP permitem melhorar o prognóstico materno e perinatal.

Refletindo sobre a tematização do futebol na Educação Física escolar

A Educação Física deve propiciar ao aluno o exercício da cidadania, possibilitando a conquista da autonomia, por meio da reflexão-crítica sobre os conhecimentos da cultura corporal de movimento. Contudo, a área carece de subsídios para uma melhor organização de seus conteúdos dentro do currículo escolar. Neste sentido, o objetivo do presente estudo consiste em apontar um conjunto de temas relevantes do conteúdo futebol que possam servir de subsídios para propostas de sistematização para o componente curricular Educação Física escolar. São apresentados nove temas que discutem aspectos relevantes do futebol, tais como suas relações com a arte, sua história e o contexto do futebol feminino. Por fim, o tema relativo aos jogos da cultura popular relacionados ao futebol foi aprofundado por meio do futebol de tampinhas e do futebol de botão, incluindo aprendizagens como a construção de regras, a interpretação de competições e a valorização da cultura popular.

Contribuições do Seis Sigma: estudos de caso em multinacionais

A literatura sugere que o Seis Sigma trouxe contribuições sob vários aspectos, tanto no âmbito da gestão da qualidade como também da gestão estratégica. No entanto, ainda há certa escassez de informações sobre esse assunto no cenário organizacional brasileiro. Este artigo visa reduzir essa carência da literatura, mostrando uma visão prática sobre as contribuições decorrentes dos investimentos no Seis Sigma para empresas do Brasil. A relevância de requisitos essenciais - como conceito de qualidade; combinação das abordagens estatística e estratégica; sistematização metodológica; formação de especialistas; e gestão de projetos - é discutida tanto em âmbito teórico-conceitual como prático. O método do estudo de caso foi aplicado para obter o embasamento empírico da pesquisa. Os investimentos no Seis Sigma feitos por duas subsidiárias brasileiras de empresas multinacionais norte-americanas (uma de manufatura e uma de serviços) são apresentados e reforçam a relevância dos requisitos supracitados.

Análise qualitativa de dados de entrevista: uma proposta

A abordagem qualitativa em pesquisa nas áreas da Educação e Ciências Sociais tem representado um caminho alternativo à rigidez positivista. Entretanto, vem preocupando os pesquisadores brasileiros pela sua característica de não sistematização. Face a isso, o presente trabalho visa contribuir para uma discussão metodológica sobre análise qualitativa ao relatar um procedimento sequenciado, sistematizado e passível de ser aplicado a dados de entrevista semi-estruturada e livre, que compreende todos os passos, da construção do instrumento para coleta de dados à apreensão do significado das falas dos sujeitos, terminando numa redação precisa, dentro do enfoque teórico do pesquisador.

Caminhando com Dibs: uma trajetória de construção de conceitos em educação especial

O artigo é uma resposta ao trabalho de Piccolo, Moscardini e Costa, publicado no volume 16, número 1 deste periódico, no qual os autores analisaram a minha produção bibliográfica publicada em periódicos científicos. Alguns fatos da minha vida pessoal, intimamente ligados à trajetória acadêmica percorrida, são descritos com o intuito de favorecer a compreensão radical da minha posição teórica. As referências que dão suporte ao artigo foram, em boa parte, publicadas há algumas décadas. Isto se deve ao fato de que grandes contribuições teóricas nas Ciências Humanas ocorreram em meados do século passado. Significa que a preocupação excessiva com a atualidade das referências, avaliada em termos de cronologia, leva os pesquisadores a abrirem mão da vasta e rica sistematização teórica daquele período.

Gestão ambiental empresarial: um levantamento da produção científica brasileira divulgada em periódicos da área de administração entre 1996 e 2005

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Avanços metodológicos na avaliação da qualidade da forragem conservada

A avaliação correta do valor nutricional da forragem passa obrigatoriamente por emprego de metodologias adequadas. A qualidade da forragem depende dos produtos da fermentação, no caso da silagem, ou da magnitude das perdas de compostos solúveis e atuação de microrganismos no caso do feno. A abordagem do tema: Avanços metodológicos na avaliação da qualidade da forragem conservada, na 44ª Reunião Anual da Sociedade Brasileira de Zootecnia, tem como objetivo destacar as principais metodologias empregadas na avaliação específica de forragens conservadas, adicionais às avaliações tradicionais de composição químico-bromatológica desses volumosos, e colocar em discussão a necessidade de padronização de procedimentos analíticos. Assim, a revisão prioriza a descrição e sistematização de métodos físicos e químicos importantes para serem implementados na avaliação de forragens conservadas, na tentativa de homogeneizar tais procedimentos. Os recursos metodológicos disponíveis atualmente permitem não somente quantificar, mas também qualificar perdas ocorridas no processo de conservação, exposição aeróbia e oferta dos volumosos aos animais. Esse fato sugere que a adoção de estratégias de manejo dessas forragens deverá, preferencialmente, ser acompanhada de avaliação de perdas integradas no processo.