Lucas R. C. Lima

Espécies de Baetidae (Ephemeroptera) do Sul da Bahia, com descrição de uma nova espécie de Paracloeodes day

Based on collections in five municipalities from southern Bahia, a new species, Paracloeodes quadridentatus sp. n., is described from Brazil. It can be distinguished, among other characteristics, by the presence of three, often four, well developed denticles on the tarsal claws, a characteristic that has never been found in other species of the genus. Besides the description of the new species, the following 14 taxa of Baetidae are recorded for the first time from the State of Bahia: Americabaetis alphus Lugo-Ortiz & McCafferty, Americabaetis labiosus Lugo-Ortiz & McCafferty, Aturbina georgei Lugo-Ortiz & McCafferty, Baetodes sp., Callibaetis sp., Camelobaetidius francischettii Salles Andrade & Da-Silva, Camelobaetidius lassance Salles & Serrão, Camelobaetidius sp. 1, Camelobaetidius sp. 2, Cloeodes cf. opacus Nieto & Richard, Cryptonympha dasilvai Salles & Francischetti, Spiritiops silvudus Lugo-Ortiz & McCafferty, Waltzoyphius fasciatus McCafferty & Lugo-Ortiz e Zelusia principalis Lugo-Ortiz & McCafferty. As this is the first survey of Baetidae from Bahia, and it was restricted to the southern part of the state, sampling efforts in other areas are extremely required and should increase considerably the number of species, or even genera, reported from the state.

Test case prioritization based on data reuse an experimental study

The order in which tests are executed can significantly impact the total test execution time. In this paper, we evaluate two test prioritization techniques (manual and automatic) in the context of mobile phone testing. The manual technique produces test sequences created by test experts, while the automatic one generates sequences mechanically based on the permutation of the tests. Both techniques take into account a data reuse: the more the data is reused among tests, the faster the sequence is executed. In order to evaluate the benefits of these two techniques, we carried out an experiment with 8 testers and 2 test suites arranged in a 2×2 Latin square design replicated four times. The automatic technique reduced approximately 25% of the data generation time and 13.5% of the execution time. The automatic technique is clearly better than the manual one with respect to the generation of sequences. Our experiment showed that the automatic technique also generates sequences whose execution is faster than those created manually by test experts.

Formal Models of SysML Blocks

In this paper, we propose a formalisation of SysML blocks based on a state-rich process algebra that supports refinement, namely, CML. We first establish a set of guidelines of usage of SysML block definition and internal block diagrams. Next, we propose a formal semantics of SysML blocks described by diagrams that conform to our guidelines. The semantics is specified by inductive functions over the structure of SysML models. These functions can be mechanised to support automatic generation of the CML models.

Trichoptera (Insecta) from Pernambuco State, northeastern Brazil

We present here the first list of species of Trichoptera (Insecta) from Pernambuco State, northeastern Brazil, as well as new records of caddisfly species for the country. This study is based on collections of adults, from rivers and streams in 10 counties. A total of six families, 14 genera, and 22 species were recorded, increasing the number of species in the northeastern region from 15 to 37. Moreover, Mortoniella asymmetris Blahnik and Holzenthal, 2011 is recorded for the first time from Brazil.

Two-Winged Cloeodes in Brazil: New Species, Stage Description, and Key to South American Species

Abstract The present work, based on material from northern, central-western, and northeastern Brazil, contributes to the knowledge of the two-winged Cloeodes Traver (Ephemeroptera: Baetidae) in South America. Two new species, C. maracatu, sp. nov. and C. spaceki, sp. nov., are described, the former based on nymphs and reared adults and the latter only on nymphs; the male and female imago of C. auwe and the female imago of C. redactus are described. Based on these findings, an updated key for South American nymphs and male adults of the two-winged Cloeodes is provided.

Ephemeroptera (Insecta) from Pernambuco State, northeastern Brazil

The first list of the species of Ephemeroptera from Pernambuco State, Northeastern Brazil, is presented. The survey was based on collections from numerous rivers and streams of 17 counties. A total of five families, 28 genera, and 38 species were recorded, including 22 genera and 31 species newly recorded from Pernambuco State. Moreover, Farrodes tepui Dominguez, Molineri & Peters, 1996, Lisetta ernsti Thomas & Dominique, 2005, and Simothraulopsis (Maculognathus) sabalo Kluge, 2007 are recorded for the first time to Brazil.

Stage description, new combination and new records of Neotropical Brachycercinae (Ephemeroptera: Caenidae).

We present taxonomic contributions and new records for Neotropical Brachycercinae based on material from Brazil. We performed a phylogenetic analysis in order to test the relationship between Alloretochus Sun & McCafferty, 2008 and Latineosus Sun & Mc- Cafferty, 2008, and Alloretochus sigillatus was recovered in the Latineosus clade. Therefore, we propose a new combination, Latineosus sigillatus comb. n. The nymph of Latineosus sigillatus is described and is associated with imago through molecular tools. Moreover, Alloretochus peruanicus (Soldán, 1986) is reported for the first time from Brazil.

A formal semantics for Sequence Diagrams and a strategy for system analysis

We propose a semantics for Sequence Diagrams based on the COMPASS Modelling Language (CML): a formal specification language to model systems of systems. A distinguishing feature of our semantics is that it is defined as part of a larger effort to define the semantics of several diagrams of SysML, a UML profile for systems engineering. We have defined a fairly comprehensive semantics for Sequence Diagrams, which comprises sequential and parallel constructors, loops, breaks, alternatives, synchronous and asynchronous messages. We illustrate our semantics with a scenario of a case study of a system of systems. We also discuss an analysis strategy which involves an integrated view of several diagrams.

A Formal Semantics for SysML Activity Diagrams

In this work, we propose a semantics for Activity Diagrams based on the COMPASS Modelling Language (CML): a formal specification language to model systems which is based on the CSP and VDM specification languages. A distinguishing feature of our semantics is that it is defined as part of a larger effort to define the semantics of several diagrams of SysML, a UML profile for systems engineering. We have defined a fairly comprehensive semantics for Activity Diagrams, which comprises action, object and control nodes constructors, control and object flow, interruptible regions among other features. We illustrate our semantics with diagrams of an emergency response system. We also discuss an analysis strategy which involves an integrated view of diagrams like block definition and state machines.

A new species of Amanahyphes Salles & Molineri, 2006 (Ephemeroptera: Leptohyphidae) from Bahia, Brazil

A new species of the previously monotypic genus Amanahyphes Salles & Molineri, 2006 is described based on the male imago, egg and nymph from the state of Bahia, Brazil. Characters and illustrations to distinguish Amanahyphes bahiensis sp. nov. from A. saguassu and all other species in Leptohyphidae are provided. Amanahyphes bahiensis sp. nov. is diagnosed as follows: in the male imago, forewing shaded slightly with brownish at basal third and penes basally fused, distally with diverging lobes, and with a short spine-like projection at midlength on lateral margin; in the nymph, femoral spines long, slender and acuminate, tarsal claws with 10-11 marginal denticles and 2+3 subapical submarginal denticles, gill formula 3/2/2/2. Geographic records of both species are amended and indicated on a map.