On the impact of rigorous approaches on the quality of development

Software systems are expanding and becoming increasingly present in everyday activities. The constantly evolving society demands that they deliver more functionality, are easy to use and work as expected. All these challenges increase the size and complexity of a system. People may not be aware of a presence of a software system, until it malfunctions or even fails to perform. The concept of being able to depend on the software is particularly significant when it comes to the critical systems. At this point quality of a system is regarded as an essential issue, since any deficiencies may lead to considerable money loss or life endangerment. Traditional development methods may not ensure a sufficiently high level of quality. Formal methods, on the other hand, allow us to achieve a high level of rigour and can be applied to develop a complete system or only a critical part of it. Such techniques, applied during system development starting at early design stages, increase the likelihood of obtaining a system that works as required. However, formal methods are sometimes considered difficult to utilise in traditional developments. Therefore, it is important to make them more accessible and reduce the gap between the formal and traditional development methods. This thesis explores the usability of rigorous approaches by giving an insight into formal designs with the use of graphical notation. The understandability of formal modelling is increased due to a compact representation of the development and related design decisions. The central objective of the thesis is to investigate the impact that rigorous approaches have on quality of developments. This means that it is necessary to establish certain techniques for evaluation of rigorous developments. Since we are studying various development settings and methods, specific measurement plans and a set of metrics need to be created for each setting. Our goal is to provide methods for collecting data and record evidence of the applicability of rigorous approaches. This would support the organisations in making decisions about integration of formal methods into their development processes. It is important to control the software development, especially in its initial stages. Therefore, we focus on the specification and modelling phases, as well as related artefacts, e.g. models. These have significant influence on the quality of a final system. Since application of formal methods may increase the complexity of a system, it may impact its maintainability, and thus quality. Our goal is to leverage quality of a system via metrics and measurements, as well as generic refinement patterns, which are applied to a model and a specification. We argue that they can facilitate the process of creating software systems, by e.g. controlling complexity and providing the modelling guidelines. Moreover, we find them as additional mechanisms for quality control and improvement, also for rigorous approaches. The main contribution of this thesis is to provide the metrics and measurements that help in assessing the impact of rigorous approaches on developments. We establish the techniques for the evaluation of certain aspects of quality, which are based on structural, syntactical and process related characteristics of an early-stage development artefacts, i.e. specifications and models. The presented approaches are applied to various case studies. The results of the investigation are juxtaposed with the perception of domain experts. It is our aspiration to promote measurements as an indispensable part of quality control process and a strategy towards the quality improvement.

Control of CD4 gene expression: connecting signals to outcomes in T cell development

The control of CD4 gene expression is essential for proper T lymphocyte development. Signals transmitted from the T-cell antigen receptor (TCR) during the thymic selection processes are believed to be linked to the regulation of CD4 gene expression during specific stages of T cell development. Thus, a study of the factors that control CD4 gene expression may lead to further insight into the molecular mechanisms that drive thymic selection. In this review, we discuss the work conducted to date to identify and characterize the cis-acting transcriptional control elements in the CD4 locus and the DNA-binding factors that mediate their function. From these studies, it is becoming clear that the molecular mechanisms controlling CD4 gene expression are very complex and differ at each stage of development. Thus, the control of CD4 expression is subject to many different influences as the thymocyte develops.

Effects of lead and/or zinc exposure during the second stage of rapid postnatal brain growth on delta-aminolevulinate dehydratase and negative geotaxis of suckling rats

Lead has been shown to produce cognitive and motor deficits in young rats that could be mediated, at least in part, by inhibition of the zinc-containing heme biosynthetic enzyme delta-aminolevulinate dehydratase (ALA-D). In the present study we investigated the effects of lead and/or zinc treatment during the second stage of rapid postnatal brain development on brain, kidney and blood ALA-D specific activity, as well as the negative geotaxis behavior of rats. Eight-day-old Wistar rats were injected intraperitoneally with saline, lead acetate (8 mg/kg) and/or zinc chloride (2 mg/kg) daily for five consecutive days. Twenty-four hours after treatment, ALA-D activity was determined in the absence and presence of DL-dithiothreitol (DTT). The negative geotaxis behavior was assessed in 9- to 13-day-old rats. Treatment with lead and/or zinc did not affect body, brain or kidney weights or brain- or kidney-to-body weight ratios of the animals. In spite of the absence of effect of any treatment on ALA-D specific activity in brain, kidney and blood, the reactivation index with DTT was higher in the groups treated with lead or lead + zinc than in the control group, in brain, kidney and blood (mean ± SEM; brain: 33.33 ± 4.34, 38.90 ± 8.24, 13.67 ± 3.41; kidney: 33.50 ± 2.97, 37.60 ± 2.67, 15.80 ± 2.66; blood: 63.95 ± 3.73, 56.43 ± 5.93, 31.07 ± 4.61, respectively, N = 9-11). The negative geotaxis response behavior was not affected by lead and/or zinc treatment. The results indicate that lead and/or zinc treatment during the second stage of rapid postnatal brain growth affected ALA-D, but zinc was not sufficient to protect the enzyme from the effects of lead in brain, kidney and blood.

Chemical characterization of leaves of organically grown carrot Dacus carota L.) in various stages of development for use as food

In Brazil, street markets and vegetable distributors discard vegetable leaves and stems, including those of carrot (Dacus carota L.). Seeking to reduce the waste of vegetable parts, this study characterized chemically the leaves of organically grown carrot in three stages of development to determine the best time for their removal and consumption as food. The leaves were dehydrated in an oven at 70 °C for 43 hours and analyzed for chemical composition, antioxidant activity, chlorophyll content, fatty acid composition, and also calcium (Ca), sodium (Na), potassium (K), magnesium (Mg), manganese (Mn), iron (Fe), zinc (Zn), and copper (Cu) contents. The analyses indicated 100 days of development as the ideal stage for the removal and consumption of carrot leaves with good antioxidant activity requiring only 63.78 ± 0.5 mg.L-1 methanol leaf extract to inhibit 50% of the concentration of the free radical DPPH (2,2-diphenyl-1picrilidrazil), and total protein and alpha-linolenic acid (18:3 n-3/LNA) contents of 18.23% ± 2.8 and 876.55 ± 20.62 mg.100 g-1 of dry matter, respectively.

Lost in time : a key stage 3 development study.

Estudia la historia social de Gran Bretaña en los últimos mil años, a través de un viaje en el tiempo en una nave espacial averiada. Cumple con los requisitos del currículo nacional inglés para la etapa de 3 de secundaria (key stage 3).Este texto esta preparado para el Schools History Project creado en 1972 para mejorar el estudio de la historia entre estudiantes de trece a dieciséis años. Reconsidera las formas en que la historia contribuye a las necesidades educativas de los jóvenes, y por ello idea nuevos objetivos, nuevos criterios para la planificación y desarrollo del curso, así como de nuevos materiales de apoyo. Requiere nuevos criterios de evaluación y, por tanto nuevos exámenes y, adquirió mayor expansión con la introducción del General Certificate of Secondary Education (GCSE) en 1987.

Horses for courses: Relating innovation diffusion concepts to the stage of the diffusion process

The research uses a sociological perspective to build an improved, context specific understanding of innovation diffusion within the UK construction industry. It is argued there is an iterative interplay between actors and the social system they occupy that directly influences the diffusion process as well as the methodology adopted. The research builds upon previous findings that argued a level of best fit for the three innovation diffusion concepts of cohesion, structural equivalence and thresholds. That level of best fit is analysed here using empirical data from the UK construction industry. This analysis allows an understanding of how the relative importance of these concepts' actually varies within the stages of the innovation diffusion process. The conclusion that the level of relevance fluctuates in relation to the stages of the diffusion process is a new development in the field.

The influence of lodgepole pine (Pinus contorta) provenance on the development and survival of larvae of the pine beauty moth Panolis flammea (Lepidoptera: Noctuidae)

Larvae of the pine beauty moth Panolis flammae (Denis & Schiffermuller) were reared in sleeve cages on five different seed origins (provenances) of pole stage Pinus contorta in the field in each of four years from 1985 to 1988. Survival varied significantly between the years. In those years when survival was high, significant differences between tree provenance were not found. However, between provenance significant differences were found in larval weight and stage of development. In the years when survival was low, the results seen in good years were reversed. Significant differences attributable to provenance were found but these were not reflected in significant differences between larval weight or development. In addition, there was a significant correlation between the proportion surviving and larval weight, which was not the case in those years where larval survival was high. The results are discussed in light of the pest status of P, flammea in Britain and in view of current silvicultural policies. The use of trees resistant to insect attack as part of an integrated pest management programme is highlighted and the need to coordinate laboratory and field studies so as to control for environmental variation discussed.

Audouinella macrospora (Acrochaetiaceae, Rhodophyta) is the Chantransia stage of Batrachospermum (Batrachospermaceae)

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Cooling of pacu (Piaractus mesopotamicus) embryos at various stages of development for 6 or 10 hours

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Dominance hierarchy in different stages of development in colonies of the primitively eusocial wasp Mischocyttarus cerberus styx (Hymenoptera, Vespidae)

In primitively eusocial insect societies, reproductive division of labor is established by dominance-submission interactions which determine a linear dominance hierarchy. As previously observed for other species, in Mischocyttarus cerberus styx (Hymenoptera, Vespidae), the dominant female is the main egg layer. Most of her attacks were to the females directly beneath in the rank establishing a hierarchy. During the pre-emergence stage, the hierarchy was already defined and in the post-emergence stage, pre-male substage, the frequency of dominance interactions were strong but the hierarchy was still maintained by the first-ranked female. In the decline stage there were many neutral individuals which could be the reproductives of a new colony.

First zoeal stage of the partner shrimp Periclimenes paivai Chace, with remarks on the genus Periclimenes OG Costa (Caridea, Palaemonidae)

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

Relationship between chronological and bone ages and pubertal stage of breasts with bone biomarkers and bone mineral density in adolescents

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

Morphology of the first larval stage of Macrobrachium brasiliense (Heller, 1868) (Caridea: Palaemonidae)

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