Caracterizando os fluxos excepcionais em linhas de produto de software: um estudo exploratório

The Exception Handling (EH) is a widely used mechanism for building robust systems. In Software Product Line (SPL) context it is not different. As EH mechanisms are embedded in most of mainstream programming languages (like Java, C# and C++), we can find exception signalers and handlers spread over code assets associated to common and variable SPL features. When exception signalers and handlers are added to an SPL in an unplanned way, one of the possible consequences is the generation of faulty family instances (i.e., instances on which common or variable features signal exceptions that are mistakenly caught inside the system). In this context, some questions arise: How exceptions flow between the optional and alternative features an LPS? Aiming at providing answers to these questions, this master thesis conducted an exploratory study, based on code inspection and static analysis code, whose goal was to categorize the main ways which exceptions flow in LPSs. To support the study, we developed an static analysis tool called PLEA (Product Line Exception Analyzer) that calculates the exceptional flows of LPSs, and categorize these flows according to the features associated with handlers and signalers. Preliminary results showed that some types of exceptional flows have more potential to yield failures in exceptional behavior of SLPs

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification

Analgesia for cats after ovariohysterectomy with either buprenorphine or carprofen alone or in combination

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

Incubabilidade e Qualidade de Pintos de Ovos Matrizes de Frangos de Corte Submetidos a Estresse de Temperatura

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

Zoneamento ambiental do Município de Aquiraz-CE

The Metropolitan Region of Fortaleza (RMF) is composed by thirteen cities, where is call the attention of Aquiraz. The city has a excellent resort area and a big importance in socioculture and historics aspects. It was one of the first village of Ceará, and it was founded in 1699, with was also the capital of the state until 1726. The urban local development has been disorganized in the last decades, the fact is, insert of turismon in its coast, and it is unable with alow capacity of the natural suppots, configuring unsustainable and et environment ambience. Considering as a turistic region, it is preoccupy, been necessart to create a better control of the nature of the region by the users. The environmental zoning in this work it is to plan of adequate form the use of the ground based in the management of the interests and the social and economic necessities in accord with the preservation of the environment and the natural characteristics of the city. The same is one great instrument planning where use to be analized in differents ways: social, ambiental, economical and institucional, and promove alternatives of use and occupation of the land to recreate the city. The methodo used to get the real objective, englobed zonal maps in ambiental unities and others themes (geologic/geomorphologic) since than the images from satelities LANDSAT and SPOT and fotografies under position of maps, secundaries listes gets in publics department, bibliographie, informations by the local populations. This prociduries mede easy to create maps, geologic/geomorphologic, of use and occupation the earth and the environmental zoning to analize the dynamic and the working of each ambiental unity of the city Aquiraz wich is located by map of this job. As a result of this job was confectionated the environmental zoning map of Aquiraz wich was divided in five ambiental unities and restrictions areas of occupation: unit I Littoral Plain (zoning with serious restrictions to the occupation); unit II Sub-Littoral Plain (improper zoning to the occupation); unit III between tray zoning Pré-Littoral and Peripheral Depression (improper zoning to the occupation); unit IV Strativism reserve of the plug (zoning used more under control in its occupation) and unit V Fluvial Plain Localities of the Indians Jenipapo-Kaninde/ locality Quilombolas (zoning used more without official regulation). With proposal in the ambient units above one expects that it has a reduction of the ambient degradation and protection of the local biodiversity of the city of Aquiraz in the State of the Ceará

Estrabismo: detecção em uma amostra populacional e fatores demográficos associados

OBJETIVOS: Identificar a frequência de ocorrência de desvios oculares e as características dos portadores em uma amostra populacional. MÉTODOS: Estudo transversal, observacional e probabilístico, entre os anos de 2004 e 2005, envolvendo 11 cidades da região centro-oeste do estado de São Paulo. Foram examinados 10.994 indivíduos, sendo utilizada para este estudo uma subamostra desta população, identificada pelo diagnóstico de estrabismo. A população foi abordada por uma equipe treinada e padronizada para os procedimentos da pesquisa. Os dados foram analisados estatisticamente por meio de análise descritiva, frequência de ocorrência, análise de contingência e testes de associação (p<0,05). RESULTADOS: A frequência de ocorrência de estrabismo na população estudada foi de 1,4% (148 portadores de estrabismo), sem diferença entre sexos. Portadores de esodesvios (ET) eram 46,3%, 38,2% casos de exodesvio (XT) e 15,4% de desvios verticais associados a horizontais ou síndromes. A análise de contingência mostrou que 3 indivíduos (2,3%) estrábicos apresentavam cegueira e 7 (5,43%) apresentavam baixa visão em um dos olhos. Tanto a ET, quanto a XT estiveram presentes em indivíduos com graus variáveis de miopia (até -5,75 para XT e -2,50 para ET) e de hipermetropia (até +9,00 para XT e +8,00 para ET). A associação entre estrabismo e o equivalente esférico obtido na refração estática não mostrou diferença significativa (p>0,05). CONCLUSÃO: A frequência de ocorrência de estrabismo em uma amostra populacional foi de 1,4%, sem diferença entre sexos ou tipo de desvio ocular. A presença de cegueira e de baixa visão associadas aos desvios oculares reforçam a necessidade de tratamento precoce.

Post-operative analgesic effects of butorphanol or firocoxib administered to dogs undergoing elective ovariohysterectomy

ObjectiveTo compare the post-operative analgesic effects of butorphanol or firocoxib in dogs undergoing ovariohysterectomy.Study designProspective, randomized, blinded, clinical trial.AnimalsTwenty-five dogs > 1 year of age.MethodsDogs received acepromazine intramuscularly (IM), 0.05 mg kg-1 and either butorphanol IM, 0.2 mg kg-1 (BG, n = 12) or firocoxib orally (PO), 5 mg kg-1 (FG, n = 13), approximately 30 minutes before induction of anesthesia with propofol. Anesthesia was maintained with isoflurane. Ovariohysterectomy was performed by the same surgeon. Pain scores using the dynamic and interactive visual analog scale (DIVAS) were performed before and at 1, 2, 3, 4, 6, 8 and 20 hours after the end of surgery by one observer, blinded to the treatment. Rescue analgesia was provided with morphine (0.5 mg kg-1) IM and firocoxib, 5 mg kg-1 (BG only) PO if DIVAS > 50. Groups were compared using paired t-tests and Fisher's exact test (p < 0.05). Data are presented as mean +/- SD.ResultsThe BG required significantly less propofol (BG: 2.6 +/- 0.59 mg kg-1; FG: 5.39 +/- 0.7 mg kg-1) (p < 0.05) but the anesthesia time was longer (BG: 14 +/- 6, FG: 10 +/- 4 minutes). There were no differences for body weight (BG: 7.9 +/- 5.0, FG: 11.5 +/- 4.6 kg), sedation scores, and surgery and extubation times (BG: 10 +/- 2, 8 +/- 5 minutes; FG: 9 +/- 3, 8 +/- 4 minutes, respectively) (p > 0.05). The FG had significantly lower pain scores than the BG at 1, 2 and 3 hours following surgery (p < 0.05). Rescue analgesia was administered to 11/12 (92%) and 2/13 (15%) dogs in the BG and FG, respectively (p < 0.05).Conclusion and clinical relevanceFirocoxib produced better post-operative analgesia than butorphanol. Firocoxib may be used as part of a multimodal analgesia protocol but may not be effective as a sole analgesic.

Dinâmica folicular e momento da ovulação em vacas não lactantes das raças Gir e Nelore durante duas estações do ano

Estudou-se o efeito da estação do ano na dinâmica folicular e no momento de ovulação utilizando-se 25 vacas não lactantes da raça Gir (10 no inverno e 15 no verão) e 15 vacas não lactantes da raça Nelore (sete no inverno e oito no verão), todas com ciclo estral normal. Após a detecção do estro, as vacas foram submetidas a exames ultra-sonográficos a cada seis horas com a finalidade de monitorar o momento de ovulação e, posteriormente, uma vez ao dia durante todo o ciclo estral, sendo monitorado um ciclo estral por animal e por estação do ano. As características foliculares não foram afetadas pela estação do ano e não diferiram entre as raças. Houve maior percentagem de ciclos com três (68,0 e 66,7%) e duas ondas foliculares (24,0 e 26,7%) nas raças Gir e Nelore, respectivamente. Os intervalos entre estros e entre ovulações foram menores para ciclos com duas ondas foliculares. A manifestação do estro ocorreu mais nas primeiras horas da manhã (57,3%) e no final da tarde e início da noite (28,0%). O momento de ovulação ocorreu 23,1±5,6 horas após a detecção do estro nas duas raças.

A model for the plankton system of the Broa reservoir, Sao Carlos, Brazil

In this paper a model, called ELLOBO running in STELLA II, was set to describe the plankton system of the Broa reservoir (SP). The three state variables of the model are: phytoplankton, zooplankton, and the fish Astyanax fasciatus. The forcing variables are: temperature, nitrate, phosphorus and solar radiation. The model did not consider the cycling of nutrients inside the reservoir. The results show that: temperature is the principal forcing variable in the phytoplankton dynamic and in the subsequent evolution of the whole system. The zooplankton predation was described by Odum's equation, and there is a strong random component in zooplankton grazing, which was essential for the model, because zooplankton estimates have high variance. One must collect data in a short space of time (maybe daily) to better explain the zooplankton and phytoplankton variation. Validation was performed using simple statistics (arithmetic mean, standard deviation) and the results show concordance between observed and simulated values. Overhead was used to calibrate some parameters and to validate the model. The highest overhead value (5%) imply in the better accordance between estimated and;observed state variables values. We believe this approach in Broa reservoir will provide an useful tool for future research and it could be used comparatively in other continental aquatic ecosystems. (C) 2000 Elsevier B.V. B.V. All rights reserved.

Losing identity: structural diversity of transposable elements belonging to different classes in the genome of Anopheles gambiae

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Evaluation of new red winemaking technologies through consumer liking

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Sucrose Fermentation by Brazilian Ethanol Production Yeasts in Media Containing Structurally Complex Nitrogen Sources

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

Fenologia reprodutiva e produção de sementes em Araucaria angustifolia (Bert.) O. Kuntze

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

Modelo sistêmico de ocorrência de ações coletivas: um estudo multicaso na comercialização de frutas, legumes e verduras

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

Diretrizes para desenvolvimento coletivo de melhoria contínua em arranjos produtivos locais

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)