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.

A volume of fluid numerical model for wave impacts at coastal structures

The first stages in the development of a new design tool, to be used by coastal engineers to improve the efficiency, analysis, design, management and operation of a wide range of coastal and harbour structures, are described. The tool is based on a two-dimensional numerical model, NEWMOTICS-2D, using the volume of fluid (VOF) method, which permits the rapid calculation of wave hydrodynamics at impermeable natural and man-made structures. The critical hydrodynamic flow processes and forces are identified together with the equations that describe these key processes. The different possible numerical approaches for the solution of these equations, and the types of numerical models currently available, are examined and assessed. Preliminary tests of the model, using comparisons with results from a series of hydraulic model test cases, are described. The results of these tests demonstrate that the VOF approach is particularly appropriate for the simulation of the dynamics of waves at coastal structures because of its flexibility in representing the complex free surfaces encountered during wave impact and breaking. The further programme of work, required to develop the existing model into a tool for use in routine engineering design, is outlined.

Development and mechanical characterization of solvent-cast polymeric films as potential drug delivery systems to mucosal surfaces

Solvent-cast films from three polymers, carboxymethylcellulose (CMC), sodium alginate (SA), and xanthan gum, were prepared by drying the polymeric gels in air. Three methods, (a) passive hydration, (b) vortex hydration with heating, and (c) cold hydration, were investigated to determine the most effective means of preparing gels for each of the three polymers. Different drying conditions [relative humidity - RH (6-52%) and temperature (3-45 degrees C)] were investigated to determine the effect of drying rate on the films prepared by drying the polymeric gels. The tensile properties of the CMC films were determined by stretching dumbbell-shaped films to breaking point, using a Texture Analyser. Glycerol was used as a plasticizer, and its effects on the drying rate, physical appearance, and tensile properties of the resulting films were investigated. Vortex hydration with heating was the method of choice for preparing gels of SA and CMC, and cold hydration for xanthan gels. Drying rates increased with low glycerol content, high temperature, and low relative humidity. The residual water content of the films increased with increasing glycerol content and high relative humidity and decreased at higher temperatures. Generally, temperature affected the drying rate to a greater extent than relative humidity. Glycerol significantly affected the toughness (increased) and rigidity (decreased) of CMC films. CMC films prepared at 45 degrees C and 6% RH produced suitable films at the fastest rate while films containing equal quantities of glycerol and CMC possessed an ideal balance between flexibility and rigidity.