From inconsistency handling to non-canonical requirements management: A logical perspective

As a class of defects in software requirements specification, inconsistency has been widely studied in both requirements engineering and software engineering. It has been increasingly recognized that maintaining consistency alone often results in some other types of non-canonical requirements, including incompleteness of a requirements specification, vague requirements statements, and redundant requirements statements. It is therefore desirable for inconsistency handling to take into account the related non-canonical requirements in requirements engineering. To address this issue, we propose an intuitive generalization of logical techniques for handling inconsistency to those that are suitable for managing non-canonical requirements, which deals with incompleteness and redundancy, in addition to inconsistency. We first argue that measuring non-canonical requirements plays a crucial role in handling them effectively. We then present a measure-driven logic framework for managing non-canonical requirements. The framework consists of five main parts, identifying non-canonical requirements, measuring them, generating candidate proposals for handling them, choosing commonly acceptable proposals, and revising them according to the chosen proposals. This generalization can be considered as an attempt to handle non-canonical requirements along with logic-based inconsistency handling in requirements engineering.

Behaviour of Brent geese Branta bernicla hrota and wigeon Anas penelope feeding on intertidal Zostera spp

Mixed flocks of pale-bellied Brent geese (Branta bernicla hrota) and wigeon (Anas penelope L.) feeding on intertidal Zostera spp were studied during October 1993 with respect to tidal position, feeding method and duration, and competitive: interactions within and between species. Owing to many disturbance incidents affecting the use of the site by wildfowl, only complete data on flow tides were presented. Brent geese fed over a greater period of the tidal cycle than wigeon. Differences in feeding methods indicated that Brent geese exploited the rhizomes, which are energetically more profitable than the shoot on which wigeon fed. Aggressive interactions were recorded within species but there were no records of aggression between species. More subtle competition for space, however, may have occurred during feeding. Brent geese could reach Zostera spp For a short period after increasing depth of water prevented access by wigeon. However, individual wigeon were observed foraging near feeding Brent geese, picking up the scraps oi material discarded by the latter, and small numbers of wigeon may benefit from the presence of the geese. These benefits for some individual wigeon are not considered to compensate for the disadvantages to the latter species population as a whole in feeding on poorer-quality food for a shorter period of the tidal cycle. This disadvantage is likely to have contributed to the decline in the wigeon population on Strangford Lough, Co. Down, while numbers of Brent geese have been maintained at a high level.

Towards an understanding of the causes and effects of software requirements change: two case studies

Changes to software requirements not only pose a risk to the successful delivery of software applications but also provide opportunity for improved usability and value. Increased understanding of the causes and consequences of change can support requirements management and also make progress towards the goal of change anticipation. This paper presents the results of two case studies that address objectives arising from that ultimate goal. The first case study evaluated the potential of a change source taxonomy containing the elements ‘market’, ‘organisation’, ‘vision’, ‘specification’, and ‘solution’ to provide a meaningful basis for change classification and measurement. The second case study investigated whether the requirements attributes of novelty, complexity, and dependency correlated with requirements volatility. While insufficiency of data in the first case study precluded an investigation of changes arising due to the change source of ‘market’, for the remainder of the change sources, results indicate a significant difference in cost, value to the customer and management considerations. Findings show that higher cost and value changes arose more often from ‘organisation’ and ‘vision’ sources; these changes also generally involved the co-operation of more stakeholder groups and were considered to be less controllable than changes arising from the ‘specification’ or ‘solution’ sources. Results from the second case study indicate that only ‘requirements dependency’ is consistently correlated with volatility and that changes coming from each change source affect different groups of requirements. We conclude that the taxonomy can provide a meaningful means of change classification, but that a single requirement attribute is insufficient for change prediction. A theoretical causal account of requirements change is drawn from the implications of the combined results of the two case studies.

Relationships between lameness and feeding behaviour in cubicle-housed Holstein-Friesian dairy cows

The relationship between lameness and feeding behaviour in dairy cows is not yet fully understood. This study examined the effect of lameness on feeding behaviour at two points during lactation. Forty-five Holstein–Friesian dairy cows (average parity 3.3) were housed in cubicle accommodation after calving and fed a total mixed ration (TMR). At approximately 60 and 120 days post partum, 48 h of information on feeding behaviour (including number of meals eaten, meal duration, meal size and feeding rate) was collected for each animal using feed boxes fitted to a data recording system. At the same time points, locomotion scores were recorded for each cow as a measure of lameness (1.0-sound to 4.5-severely lame). Relationships between feeding behaviour and locomotion score were analysed using Residual Maximum Likelihood (REML) analysis. At both time points, cows with higher locomotion scores ate fewer (P < 0.001), larger meals (P < 0.001) and had a shorter total feeding time (P < 0.001). At day 60 post partum, an increase in locomotion score was associated with a decrease in dry matter intake (P < 0.05), but at day 120 post partum no relationship was found between locomotion score and DMI. No relationship was found at either time point between locomotion score and mean meal duration or rate of feeding. The results of this study suggest that the effect of lameness on feeding behaviour in dairy cows does not remain constant across lactation.

Breast-feeding and childhood-onset type 1 diabetes:A pooled analysis of individual participant data from 43 observational studies

OBJECTIVE: To investigate if there is a reduced risk of type 1 diabetes in children breastfed or exclusively breastfed by performing a pooled analysis with adjustment for recognized confounders.
RESEARCH DESIGN AND METHODS: Relevant studies were identified from literature searches using MEDLINE, Web of Science, and EMBASE. Authors of relevant studies were asked to provide individual participant data or conduct prespecified analyses. Meta-analysis techniques were used to combine odds ratios (ORs) and investigate heterogeneity between studies.
RESULTS: Data were available from 43 studies including 9,874 patients with type 1 diabetes. Overall, there was a reduction in the risk of diabetes after exclusive breast-feeding for >2 weeks (20 studies; OR = 0.75, 95% CI 0.64-0.88), the association after exclusive breast-feeding for >3 months was weaker (30 studies; OR = 0.87, 95% CI 0.75-1.00), and no association was observed after (nonexclusive) breast-feeding for >2 weeks (28 studies; OR = 0.93, 95% CI 0.81-1.07) or >3 months (29 studies; OR = 0.88, 95% CI 0.78-1.00). These associations were all subject to marked heterogeneity (I(2) = 58, 76, 54, and 68%, respectively). In studies with lower risk of bias, the reduced risk after exclusive breast-feeding for >2 weeks remained (12 studies; OR = 0.86, 95% CI 0.75-0.99), and heterogeneity was reduced (I(2) = 0%). Adjustments for potential confounders altered these estimates very little.
CONCLUSIONS: The pooled analysis suggests weak protective associations between exclusive breast-feeding and type 1 diabetes risk. However, these findings are difficult to interpret because of the marked variation in effect and possible biases (particularly recall bias) inherent in the included studies.