Effects of structure on the comprehensibility of formal specifications

Use of structuring mechanisms (such as modularisation) is widely believed to be one of the key ways to improve software quality. Structuring is considered to be at least as important for specification documents as for source code, since it is assumed to improve comprehensibility. Yet, as with most widely held assumptions in software engineering, there is little empirical evidence to support this hypothesis. Also, even if structuring can be shown to he a good thing, we do not know how much structuring is somehow optimal. One of the more popular formal specification languages, Z, encourages structuring through its schema calculus. A controlled experiment is described in which two hypotheses about the effects of structure on the comprehensibility of Z specifications are tested. Evidence was found that structuring a specification into schemas of about 20 lines long significantly improved comprehensibility over a monolithic specification. However, there seems to be no perceived advantage in breaking down the schemas into much smaller components. The experiment can he fully replicated.

Effects Of Preservation On Wet Weight Dry-Weight Nitrogen And Carbon Contents Of Calanus-Helgolandicus (Crustacea Copepoda)

The lengths, wet and dry weights, nitrogen and carbon contents of fresh, frozen and formaldehyde-fixed specimens of Calanus helgolandicus (Claus) were determined. Samples were collected during May 1980 in the Celtic Sea. Individual Copepodite Stages 3, 4, 5, and Adult Male and Female Stage 6 were measured and analysed, and 36 linear regression equations derived for these variables together with mean values, standard deviations and 95% confidence limits. The range of nitrogen values in the fresh material, expressed as a percentage of dry weight, ranged from 8.08%±0.80 (Copepodite Stage 3) to 10.89%±0.27 (adult female); carbon values changed from 41.6%±3.05 (mean ±95% confidence limits) for Copepodite Stage 3 to 50.97%±2.63 in Copepodite Stage 5. The adult females had a high nitrogen and relatively low carbon content, while the converse was true for Stage 5 copepodites. There was a loss of dry weight from the frozen samples (57%) and the fixed samples (38%) compared with the mean of the fresh dry weight of all stages. The material lost from the copepods was rich in nitrogen, thus, artificially high percentage carbon values were determined from the frozen and fixed samples (52.0 to 60.3% and 44.7 to 58.5%, respectively).

Effects Of Oil On Digestive Cells In Mussels - Quantitative Alterations In Cellular And Lysosomal Structure

Structural changes were observed in the digestive tubule epithelial cells of Mytilus edulis following long-term exposure to the water accommodated fraction (WAF) of North Sea crude oil (30 μg · l−1 total oil derived aromatic hydrocarbons). The changes observed involved a reduction in the height of the digestive cells beyond that demonstrated in a normal feeding cycle. In addition there was a loss of the normal synchrony of the digestive cells to a point where nearly all the tubules exhibited an appearance similar to that which is usually termed ‘reconstituting’. These alterations were quantified using an image analysis technique and the mean height of the digestive cells used as an index of digestive function or state. Long-term exposure also induced a radical alteration of the structure of secondary lysosomes within the digestive cells, resulting in the formation of large lysosomes, believed to be autolysosomes. Stereological analyses showed that these lysosomes are reduced in numbers and greatly increased in volume in comparison with controls. There is a concomitant increase in surface area of lysosomes per unit volume of digestive cell compared with control conditions. These alterations are indicative of fundamental changes in secondary lysosomal function involving an autophagic response to oil derived hydrocarbons. which would contribute to the reduction of digestive cell cytoplasm. These cellular alterations are discussed in terms of their use as indices of cell injury, in response to oil.

Bottom-up effects of climate on fish populations: data from the Continuous Plankton Recorder

The Continuous Plankton Recorder (CPR) dataset on fish larvae has an extensive spatio-temporal coverage that allows the responses of fish populations to past changes in climate variability, including abrupt changes such as regime shifts, to be investigated. The newly available dataset offers a unique opportunity to investigate long-term changes over decadal scales in the abundance and distribution of fish larvae in relation to physical and biological factors. A principal component analysis (PCA) using 7 biotic and abiotic parameters is applied to investigate the impact of environmental changes in the North Sea on 5 selected taxa of fish larvae during the period 1960 to 2004. The analysis revealed 4 periods of time (1960–1976; 1977–1982; 1983–1996; 1997–2004) reflecting 3 different ecosystem states. The larvae of clupeids, sandeels, dab and gadoids seemed to be affected mainly by changes in the plankton ecosystem, while the larvae of migratory species such as Atlantic mackerel responded more to hydrographic changes. Climate variability seems more likely to influence fish populations through bottom-up control via a cascading effect from changes in the North Atlantic Oscillation (NAO) impacting on the hydro dynamic features of the North Sea, in turn impacting on the plankton available as prey for fish larvae. The responses and adaptability of fish larvae to changing environmental conditions, parti cularly to changes in prey availability, are complex and species-specific. This complexity is enhanced with fishing effects interacting with climate effects and this study supports furthering our under - standing of such interactions before attempting to predict how fish populations respond to climate variability