Microbial diversity within the water column of a larval rearing system for the ornate rock lobster (Panulirus ornatus)

The ornate tropical rock lobster, Panulirus ornatus has substantial potential as an aquaculture species though disease outbreaks during the animal's extended larval lifecycle are major constraints for success. In order to effectively address such disease-related issues, an improved understanding of the composition and dynamics of the microbial communities in the larval rearing tanks is required. This study used flow cytometry and molecular microbial techniques (clone libraries and denaturing gradient gel electrophoresis (DGGE)) to quantify and characterise the microbial community of the water column in the early stages (developmental stage I-II) of a P. ornatus larval rearing system. DGGE analysis of a 5000 L larval rearing trial demonstrated a dynamic microbial community with distinct changes in the community structure after initial stocking (day I to day 2) and from day 4 to day 5, after which the structure was relatively stable. Flow cytometry analysis of water samples taken over the duration of the trial demonstrated a major increase in bacterial load leading up to and peaking on the first day of the initial larval moult (day 7), before markedly decreasing prior to when > 50% of larvae moulted (day 9). A clone library of a day 10 water sample taken following a mass larval mortality event reflected high microbial diversity confirmed by statistical analysis indices. Sequences retrieved from both clone library and DGGE analyses were dominated by gamma- and alpha-Proteobacteria affiliated organisms with additional sequences affiliated with beta- and epsilon-Proteobacteria, Bacteroidetes, Cytophagales and Chlamydiales groups. Vibrio affiliated species were commonly retrieved in the clone library, though absent from DGGE analysis.

Product performance and specification in new product development

This paper deals with product performance and specification in new product development. There are many different definitions of performance and specification in the literature. These are reviewed and a new classification scheme for product performance is proposed. The link between performance and specification is discussed in detail using a new model for the new product development process. The new model involves two stages, with each containing three main phases, and is useful for making decisions with regards to product performance and specification.

Integrating formal specification and software verification and validation

It is not surprising that students are unconvinced about the benefits of formal methods if we do not show them how these methods can be integrated with other activities in the software lifecycle. In this paper, we describe an approach to integrating formal specification with more traditional verification and validation techniques in a course that teaches formal specification and specification-based testing. This is accomplished through a series of assignments on a single software component that involves specifying the component in Object-Z, validating that specification using inspection and a specification animation tool, and then testing an implementation of the specification using test cases derived from the formal specification.

The co-evolutionary dynamics of IS engagement

In this paper we consider the co-evolutionary dynamics of IS engagement where episodic change of implementation increasingly occurs within the context of linkages and interdependencies between systems and processes within and across organisations. Although there are many theories that interpret the various motors of change be it lifecycle, teleological, dialectic or evolutionary, our paper attempts to move towards a unifying view of change by studying co-evolutionary dynamics from a complex systems perspective. To understand how systems and organisations co-evolve in practice and how order emerges, or fails to emerge, we adopt complex adaptive systems theory to incorporate evolutionary and teleological motors, and actor-network theory to incorporate dialectic motors. We illustrate this through the analysis of the implementation of a novel academic scheduling system at a large research-intensive Australian university.