Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

Redescription of Amblyomma varium Koch, 1844 (Acari : Ixodidae) based on light and scanning electron microscopy

Amblyomma varium Koch, 1844 is a Neotropical tick, known as the `sloth`s giant tick`, with records from southern Central America to Argentina. It is found almost exclusively on mammals of the families Bradypodidae and Magalonychidae (Xenarthra). Differences exist in discussions with regard to the dentition of the female hypostome being either 3/3 or 4/4. The male was also originally described as having a short spur on coxa IV, but some specimens recently collected from different Brazilian localities have this spur three times longer. These differences beg the question of whether there is more than one species included under this taxon. In order to answer this question and to clarify the taxonomic characters of this species, 258 adult specimens were examined, and a redescription of male and female based on light and scanning electron microscopy is provided. In addition, DNA was extracted from males with either a long or a short spur on coxa IV to help settle this question for future investigations on their taxonomy. The morphological study showed that the dental formula pattern for males and females is 3/3 and 4/4, respectively. When sequenced, the 12 S rDNA genes of both A. varium males with long and short spurs on coxa IV were found to be identical, indicating that the length of the spurs on coxa IV is likely to be an intraspecifically polymorphic character of this species.

Phylogeny of the filamentous bacterium 'Nostocoida limicola' III from activated sludge

Five strains of the filamentous bacterium 'Nostocoida limicola' III were successfully isolated into pure culture from samples of activated sludge biomass from five plants in Australia. 16S rRNA gene sequence analyses showed that all isolates were members of the Planctomycetales, most closely related to Isosphaera pallida, but they differed phenotypically from this species in that they did not glide and were not thermotolerant. The ultrastructure of these 'N. limicola' III isolates was also consistent with them being Planctomycetales, in that they possessed complex intracellular membrane systems compartmentalizing the cells. However, the arrangements of these intracellular membranes differed between isolates. These data confirm that 'N. limicola' III is phylogenetically unrelated to both 'N. limicola' I and 'N. limicola' II, activated sludge filamentous bacteria which share morphological features in common with 'N. limicola' III and which have been presumed historically to be the same or very similar bacteria.

Memory awareness and schematization: Learning in the university context

Following the application of the remember/know paradigm to student learning by Conway et al. (1997), this study examined changes in learning and memory awareness of university students in a lecture course and a research methods course. The proposed shift from a dominance of 'remember' awareness in early learning to a dominance of 'know' awareness as learning progresses and schematization occurs was evident for the methods course but not for the lecture course. The patterns of remember and know awareness and proposed associated levels of schematization were supported by a separate measure of the quality of student learning using the SOLO (Structure of Observed Learning Outcomes) Taxonomy. As found by previous research, the remember-to-know shift and schematization of knowledge is dependent upon type of course and level of achievement. Findings are discussed in terms of the utility of the methodology used, the theoretical implications and the applications to educational practice. Copyright (C) 2001 John Wiley & Sons, Ltd.