Reasoning about Requirements Evolution Using Clustered Belief Revision

During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple conflicting viewpoints are embodied in the specification, or when the specification itself is at a transient stage of evolution. These inconsistencies cannot always be resolved immediately. As a result, we argue that a formal framework for the analysis of evolving specifications should be able to tolerate inconsistency by allowing reasoning in the presence of inconsistency without trivialisation, and circumvent inconsistency by enabling impact analyses of potential changes to be carried out. This paper shows how clustered belief revision can help in this process. Clustered belief revision allows for the grouping of requirements with similar functionality into clusters and the assignment of priorities between them. By analysing the result of a cluster, an engineer can either choose to rectify problems in the specification or to postpone the changes until more information becomes available.

Estudos taxonômicos em Solanaceae lenhosas no Rio Grande do Sul, Brasil

Nas últimas décadas o conhecimento florístico e taxonômico sobre a família Solanaceae no Rio Grande do Sul tem recebido incremento significativo de informações. Dos gêneros com espécies nativas, Bouchetia, Calibrachoa, Nicotiana, Nierembergia, Petunia e Solanum já foram alvo de revisões. Visando complementar o estudo desta família no Estado, foram estudados os gêneros Acnistus, Athenaea, Aureliana, Brunfelsia, Capsicum, Cestrum, Dyssochroma, Grabowskia, Lycianthes, Solandra e Vassobia, além das espécies do gênero Solanum seção Pachyphylla (Cyphomandra sensu lato). Foram catalogadas 22 espécies nativas, sendo três destas, novas citações de ocorrência. Para os onze primeiros gêneros foram identificados 19 espécies, dos quais cinco são de ocorrência restrita (Athenaea picta, Dyssochroma longipes, Grabowskia duplicata, Lycianthes rantonnei e Solandra grandiflora). A seção Pachyphylla do gênero Solanum está representada por três espécies. Dessa forma, foram atualizados os dados quali e quantitativos sobre a participação da família Solanaceae na flora sul-riograndense. Para cada gênero e para cada táxon específico foram elaboradas descrições, e acrescentados dados sobre fenologia, hábitat, comentários pertinentes e mapas de ocorrência. Chaves analíticas para identificação das espécies, quando mais de uma, também foram elaboradas. A revisão de doze herbários regionais possibilitou a elaboração de uma sinopse taxonômica e de uma chave analítica para identificação dos gêneros presentes no Estado. Dos 27 gêneros confirmados, 22 têm espécies nativas. O número de espécies nativas é de 114 e o de introduzidas, cultivadas ou assilvestradas, é até o momento 26.

O Gênero Eleocharis R.Br. (Cyperaceae) no Rio Grande do Sul, Brasil

O estudo taxonômico do gênero Eleocharis R. Br. para o Rio Grande do Sul foi desenvolvido através dos métodos tradicionais em taxonomia. Os dados foram obtidos através da bibliografia, revisão de herbários regionais e coleta de exemplares a campo. O gênero está representado no Rio Grande do Sul por 27 espécies: Eleocharis acutangula (Roxb.) Schult., E. bonariensis Nees, E. contracta Maury, E. dunensis Kük., E. elegans (Kunth) Roem. & Schult., E. filiculmis Kunth, E. flavescens (Poir.) Urb., E. geniculata (L.) Roem. & Schult., E. interstincta (Vahl) Roem. & Schult., E. loefgreniana Boeck., E. maculosa (Vahl) Roem. & Schult., E. minima Kunth var. minima, E. montana (Kunth) Roem. & Schult., E. montevidensis Kunth, E. nudipes (Kunth) Palla, E. obtusetrigona (Lindl. & Nees) Steud., E. ochrostachys Steud., E. parodii Barros, E. aff. quinquangularis, E. quinquangularis Boeck., E. rabenii Boeck., E. radicans (Poir.) Kunth, E. sellowiana Kunth, E. squamigera Svenson, E. subarticulata (Nees) Boeck., E. viridans Kük. e Eleocharis sp. O trabalho apresenta descrições, ilustrações, dados sobre distribuição geográfica, habitat e períodos de floração e frutificação das espécies, além de uma chave dicotômica para diferenciá-las.

Biosystematics of the Genus Andryala L. (Asteraceae)

Andryala (Asteraceae: Cichorieae) is a little-known Mediterranean-Macaronesian genus whose taxonomy is much in need of revision. The aim of the present biosystematic study was to elucidate species relationships within this genus based on morphological and molecular data. In this study several taxa are recognised: 17 species, 14 subspecies, and 3 hybrids. Among these, 5 species are Macaronesian endemics (A. glandulosa, A. sparsiflora, A. crithmifolia Aiton, A. pinnatifida, and A. perezii), 4 species are Northwest African endemics (A. mogadorensis, A. maroccana, A. chevallieri, and A. nigricans) and one species is endemic to Romania (A. laevitomentosa). Historical background regarding taxonomic delimitation in the genus is addressed from Linnaean to present day concepts, as well as the origin of the name Andryala. The origin of Asteraceae and the systematic position of Andryala is shortly summarised. The morphological study was based on a bibliographic review and the revision of 1066 specimens of 13 herbaria as well as additional material collected during fieldwork. The variability of the morphological characters of the genus, including both vegetative taxonomic characters (root, stem, leaf and indumentum characters) and reproductive ones (inflorescence, floret, fruit and pappus characters), is assessed. Numerical analysis of the morphological data was performed using different similarity or dissimilarity measures and coefficients, as well as ordination and clustering methods. Results support the segregation of the recognised taxa and the congruence of the several analyses in the separation of the recognised taxa (using quantitative, binary or multi-state characters). The proposed taxonomy for Andryala includes a new infra-generic classification, new taxa and new combinations and ranks, typifications and diagnostic keys (one for the species and several for subspecies). For each taxon a list of synonyms, typification comments and a detailed description are provided, just as comments on taxonomy and nomenclature, and a brief discussion on karyology. Additionally, information on ecology and conservation status as well as on distribution and a list of studied material are also presented. Phylogenetic analyses based on different nuclear and chloroplast DNA markers, using Bayesian and maximum parsimony methods of inference, were performed. Results support three main lineages: separate ones for the relict species A. agardhii and A. laevitomentosa and a third including the majority of the Andryala species that underwent a relatively rapid and recent speciation. They also suggest a single colonization event of Madeira and the Canary Islands from the Mediterranean region, followed by insular speciation. Biogeography and speciation within the genus are briefly discussed, including a proposal for the centre of origin of the genus and possible dispersal routes.

Taxonomic redescription and biological notes on Diaugia angusta (Diptera,Tachinidae): parasitoid of the palm boring weevils Metamasius ensirostris and M. hemipterus (Coleoptera, Dryophthoridae)

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