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.

A revision of the genus Pulaeus Den Heyer, with descriptions of a new genus and four new Brazilian species (Acari: Prostigmata: Cunaxidae)

A new genus, Lupaeus gen. nov., is created to contain part of the described species in the genus Pulaeus Den Heyer. A key to the genera of the tribe Pulaeini, to which these two genera belong, and one auxiliary key to the species of Brazil and South Africa, are provided. Four new species, viz. Pulaeus myrtaceus sp. nov., P. quadrisolenidius sp. nov., Lupaeus lectus sp. nov. and L. lobidorsalis sp. nov. are described and figured. P. martini Den Heyer, 1981 is designated as type species for the new genus. New nomenclatural combinations are reported.

Revision of the Neotropical subfamily Eurychoromyiinae (Diptera: Lauxaniidae)

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

Actinic keratosis: a clinical and epidemiological revision

Queratoses actínicas são neoplasias benignas intraepiteliais formadas por proliferações atípicas de queratinócitos com potencial de transformação em carcinoma espinocelular. Desenvolvem-se em áreas fotoexpostas da pele, são induzidas principalmente pela radiação ultravioleta e constituem marcadores de exposição solar crônica. Acometem indivíduos adultos e idosos, de fototipos claros, representando o quarto diagnóstico dermatológico mais comum no Brasil. Danos nas vias de apoptose do epitélio fotoexposto favorecem a proliferação celular e manutenção das lesões. Nesta revisão os autores reúnem os principais dados epidemiológicos sobre a doença e defendem que estratégias de identificação de fenótipos de risco, diagnóstico precoce, tratamento adequado, seguimento clínico, incentivo ao autoexame da pele, fotoeducação e fotoproteção devem ser promovidas, a fim de evitar a evolução das lesões, e também prevenir e diagnosticar neoplasias concomitantes também induzidas pela radiação solar.

Revision of the Neotropical ant subfamily Leptanilloidinae

The rare Neotropical ant subfamily Leptanilloidinae is revised and its internal phylogeny and biogeography discussed. A new genus, Asphinctanilloides gen.n., including three new species, A, amazona, A. anae and A. manauara, and three new species of Leptanilloides, L. improvisa, L. legionaria and L. sculpturata are described. The only previously known species of the subfamily, L. biconstricta Mann (1923), is redescribed, and the larva of L, legionaria sp.n, is described. Keys to the genera and the species, and a phylogeny of the group are provided. Emphasis has been placed on the study of abdominal and sting characters.

A new Sphagesaurus (Mesoeucrocodylia: Notosuchia) from the Upper Cretaceous of Monte Alto City (Bauru Group, Brazil), and a revision of the Sphagesauridae

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

Biomimetic synthesis of xuxuarines E alpha and E beta: Structure revision of Rzedowskia bistriterpenoids

Reaction of pristimerin with 2,3-dichloro-5,6-dicyano-1,4-benzoquinone (DDQ) resulted in a biomimetic-type coupling leading to xuxuarines E alpha and E beta and not the previously reported Rzedowskia bistriterpenoids I and II suggesting that the structures proposed for these natural products need revision. A product obtained in this reaction by an unusual Diels-Alder addition followed by retro-Diels-Alder-type elimination was characterized as pristimerin dicyanophenalenedione. Complete H-1, and C-13 NMR spectral assignments of xuxuarines Ea and Eb have been made by the application of 1D and 2D NMR techniques. (c) 2007 Elsevier Ltd. All rights reserved.