Object-oriented Programming Laws for Annotated Java Programs

Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL). The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming programs. In this paper we introduce a set of programming laws for object-oriented languages like Java combined with the Java Modeling Language (JML). The set of laws deals with object-oriented features taking into account their specifications. Some laws deal only with features of the specification language. These laws constitute a set of small transformations for the development of more elaborate ones like refactorings

Metodologias não paramétricas na inferência da estabilidade de genótipos de arroz irrigado.

Objetivou-se com esse estudo avaliar a estabilidade de genótipos de arroz irrigado. Para isso, foram usados os dados de ensaios de competição de cultivares e linhagens conduzidos em três locais de Minas Gerais nas safras de 2007/08 a 2009/10, perfazendo seis ambientes

Evolução da maturação em frutos de Oleae europaea L. (Cvs. “Cobrançosa, Madural e Verdeal Transmontana”), na região de Trás-os-Montes.

A oliveira é uma cultura com grande significado económico, social e paisagístico em Trás-os-Montes, sendo as Cv. 'Cobrançosa', 'Madural' e 'Verdeal’ Transmontana' as de maior expressão na Terra Quente. Com o presente trabalho pretendeu-se estudar a evolução da maturação dos frutos destas cultivares e analisar a influência da data de colheita no tear em gordura e nos parâmetros qualitativos dos azeites obtidos

Avaliação, seleção e recomendação de cutlivares de arroz de várzeas em Minas Gerais de 1997 a 2002.

A fim de tornar a orizicultura irrigada uma atividade mais atrativa, a EPAMIG desenvolve, em parceria com a EMBRAPA Arroz e Feijão, pesquisas de melhoramento genético de arroz de várzeas com o objetivo de obter cultivares superiores às já recomendadas, tanto em produtividade como em aceitação comercial

Desempenho genotípico de linhagens de arroz de terras altas utilizando metodologia de modelos mistos.

Avaliou-se o desempenho de genótipos de arroz de terras altas utilizando metodologia de modelos mistos. Foram utilizados dados de produtividade de grãos dos ensaios de valor de cultivo e uso (VCU) do programa cooperativo de melhoramento de arroz de terras altas, desenvolvido em Minas Gerais, no período de 1997/1998 a 2007/2008. Realizou-se análise de deviance para verificar a significância dos efeitos de genótipos e suas interações com locais e anos, obtendo-se a estabilidade e a adaptabilidade genotípicas, com os métodos da média harmônica dos valores genotípicos. Os efeitos de genótipos, genótipos x locais e genótipos x anos foram estatisticamente significativos (p?0,05). As linhagens e cultivares mais estáveis foram: Curinga-3, CNA 8983, Guarani, BRSMG Caravera e CNA 8824. Com maior adaptabilidade, estabilidade e produtividade de grãos, simultaneamente, destacaram-se a BRSMG Caravera, Curinga-3, MG 1089, MG 1097 e CNA 8436. A BRSMG Caravera, entre todas as cultivares e linhagens avaliadas de 1997 a 2008, foi a de melhor desempenho pela MHPRVG, ou seja, maior estabilidade, adaptabilidade e produtividade de grãos, simultaneamente, proporcionando aos orizicultores de Minas Gerais alta segurança no seu cultiv

Estimativa da estabilidade de produção em cultivares de milho para o Estado de Minas Gerais.

Foi estudada estabilidade da produtividade de grãos de 28 hibridos de linhagens, quatro híbridos intervarietais e quatro variedades de milho (Zea mays L.), em doze regiões do Estado de Afinas Gerais. As cultivares Cargill 115, Dekalb 678, Cargill 525, Germinal ISC, Cargill 111 S e Cargill 5 11 A, apresentaram boa produtividade. De acordo com o parâmetro de estabilidade (6) as cultivares Germinal 491, Germinal 493, CMS 12, Cargill 203, Pioneer 3218, Pioneer 3216, Pioneer 6875 e Agroceres 352 F, apresentaram alta estabilidade. As cultivares Germinal 493, Cargfll 5 11 A, Pioneer 3216 e Agroceres 302 apresentaram os menores valores para os desvios da regressão (S2d). As, cultivares Cargill 511 A, Pioncer XCH 36 e Agroceres 303 apresentaram ampla estabilidade de produção de acordo com os parâmetros de estabilidade estudados. As variedades de polinização aberta CPI VI e CMS 12, CAIS 06 e IAC Maya XXI foram mais e menos estáveis na resposta ao ambiente, respectivamente

Avaliação in vitro de extratos de cinamomo (melia azedarach) contra fêmeas ingurgitadas e larvas de rhipicephalus (boophilus)microplus.

O objetivo deste estudo foi avaliar os efeitos de extratos etanólicos de galhos e sementes de Cinamomo (Melia azedarach) sobre fêmeas ingurgitadas e larvas de R. (B.) microplus in vitro. Fêmeas ingurgitadas do carrapato foram colhidas em animais naturalmente infestados, na Embrapa Pecuária Sudeste, São Carlos, SP. O extrato bruto dos galhos e sementes foram preparados no Departamento de Química de Produtos naturais da UFSCar. Cada extrato contendo 10g foi diluído em água e em etanol 30% (V/V), 0,6% de Tween 80®, para um volume final de 15 mL. A partir daí, foram feitas diluições utilizando água destilada estéril e etanol a 30% para as seguintes concentrações de extrato

Study of the interaction genotypes x environments in the selection process of upland rice.

The objectives of this study were the investigation of the interactions between upland rice lines/cultivars x planting system, years and locations. The experiments were conducted in the agricultural years of 2001/02 and 2002/03 in Lavras, Uberlandia and Patrocinio in the state of Minas Gerais (MG), Brazil, in two planting systems: conventional and no-tillage. The treatments were 20 lines/cultivars and the evaluated traits were: plant height, flowering date, grain yield and disease incidence. The absence genotype x system interaction of grain yield indicated that cultivars recommended for sowing traditional can be utilized in the no-tillage system. The interactions genotypes x locations and genotypes x years were significant. The Cruz methodology indicated that cultivar Caiapo presented adaptation in unfavourable environments and the line CNAs 8983 showed response in the environment improvement. The Annicchiarico methodology showed that Guarani and CNAs 8989 were the most stable