Tool support for executable documentation of Java class hierarchies

While object-oriented programming offers great solutions for today's software developers, this success has created difficult problems in class documentation and testing. In Java, two tools provide assistance: Javadoc allows class interface documentation to be embedded as code comments and JUnit supports unit testing by providing assert constructs and a test framework. This paper describes JUnitDoc, an integration of Javadoc and JUnit, which provides better support for class documentation and testing. With JUnitDoc, test cases are embedded in Javadoc comments and used as both examples for documentation and test cases for quality assurance. JUnitDoc extracts the test cases for use in HTML files serving as class documentation and in JUnit drivers for class testing. To address the difficult problem of testing inheritance hierarchies, JUnitDoc provides a novel solution in the form of a parallel test hierarchy. A small controlled experiment compares the readability of JUnitDoc documentation to formal documentation written in Object-Z. Copyright (c) 2005 John Wiley & Sons, Ltd.

Pattern analysis on grain yield performance of Chinese and CIMMYT spring wheat cultivars sown in China and CIMMYT

Understanding the relationships among testing environments is essential for better targeting cultivars to production environments. To identify patterns of cultivar, environment, cultivar-by-environment interactions, and opportunities for indirect selection for grain yield, a set of 25 spring wheat cultivars from China and the International Maize and Wheat Improvement Center (CIMMYT) was evaluated in nine environments in China and four management environments at CIMMYT in Cd. Obregon, Mexico, during two wheat seasons. Genetic background and original environment were the main factors influencing grain yield performance of the cultivars. Baviacora M 92, Xinchun 2 and Xinchun 6 showed relatively more stable and higher grain yields, whereas highly photoperiod sensitive cultivars Xinkehan 9, Kefeng 6 and Longmai 19 proved consistently inferior across environments, except in Harbin and Keshan, the two high latitude environments. Longmai 26, also from high latitude environments in the northeastern Heilongjiang province, was however probably not as photoperiodicly sensitive as other cultivars; from that region, and produced much higher grain yield and expressed a broader adaptation. None of the environments reported major diseases. Pattern analyses revealed that photoperiod response and planting option on beds were the two main factors underlying the observed interactions for grain yield. The production environment of planting on the flat in Mexico grouped together with Huhhot and Urumqi in both wheat seasons, indicating an indirect response to selection for grain yield in this CIMMYT managed environment could benefit the two Chinese environments. Both the environment of planting on the flat with Chinese Hejin and Yongning, and the three CIMMYT enviromnents planting on raised beds with Chinese Yongning grouped together only in one season, showing that repeatability may not be stable in this case.

Pattern analysis on protein properties of Chinese and CIMMYT spring wheat cultivars sown in China and CIMMYT

Improvement of processing quality is a very important objective for Chinese wheat breeding programs. Twenty-five CIMMYT and Chinese spring wheat cultivars were grown at four managed conditions by CIMMYT in Cd. Obregon, Sonora, Mexico and in nine environments in China, over two successive wheat seasons from 2000 to 2002. These trials were used to identify patterns of cultivar, environment and cultivar x environment interactions, and to determine opportunities for indirect selection for protein content and the protein-quality related parameter, SDS sedimentation (SDSS) value. The cultivar Inqalab 91 showed low levels of interaction with environments in the 2000-01 crop cycle for protein content, and expressed intermediate levels for both protein content and SDSS value, across most of the environments in both years. Longmai 26 had consistently high protein content and SDSS value across environments in both years, indicating that it is possible to breed cultivars expressing high yields with good protein properties. Cluster analyses revealed that cultivars grouped differently for protein content and SDSS value. Besides photoperiod, water availability appeared to influence the ranking of cultivars for protein content and SDSS value. Temperature and soil type may underlie the observed interactions for protein content, while temperature may also be a factor associated with interactions for SDSS value. The full irrigation managed environment in Mexico, with the cultivars sown on raised beds two months later than optimum and exposing them to late heat, clustered together with the Chinese environments Huhhot, Yongning, and Hejin in the 2000-01 season for SDSS value. This indicates that there is an opportunity to exploit indirect responses to selection in the CIMMYT management environments for SDSS value with relevance for China's spring wheat regions. However, there seemed little chance for positive indirect selection in CIMMYT's managed environments for China in regard to protein content, as environments clustered distinctly. Pattern analyses permitted a sensible and useful summary for this multi environment experiment, helping in understanding natural relationships and variations in cultivar performance among the various environment groups, and assisting in the structuring of environments.

Analysis of line x environment interactions for yield in navy beans. 2. Pattern analysis of lines and environment within years

Seven years of multi-environment yield trials of navy bean (Phaseolus vulgaris L.) grown in Queensland were examined. As is common with plant breeding evaluation trials, test entries and locations varied between years. Grain yield data were analysed for each year using cluster and ordination analyses (pattern analyses). These methods facilitate descriptions of genotype performance across environments and the discrimination among genotypes provided by the environments. The observed trends for genotypic yield performance across environments were partly consistent with agronomic and disease reactions at specific environments and also partly explainable by breeding and selection history. In some cases, similarities in discrimination among environments were related to geographic proximity, in others management practices, and in others similarities occurred between geographically widely separated environments which differed in management practices. One location was identified as having atypical line discrimination. The analysis indicated that the number of test locations was below requirements for adequate representation of line x environment interaction. The pattern analyses methods used were an effective aid in describing the patterns in data for each year and illustrated the variations in adaptive patterns from year to year. The study has implications for assessing the number and location of test sites for plant breeding multi-environment trials, and for the understanding of genetic traits contributing to line x environment interactions.

A formal object-oriented approach to defining consistency constraints for UML models

We discuss how integrity consistency constraints between different UML models can be precisely defined at a language level. In doing so, we introduce a formal object-oriented metamodeling approach. In the approach, integrity consistency constraints between UML models are defined in terms of invariants of the UML model elements used to define the models at the language-level. Adopting a formal approach, constraints are formally defined using Object-Z. We demonstrate how integrity consistency constraints for UML models can be precisely defined at the language-level and once completed, the formal description of the consistency constraints will be a precise reference of checking consistency of UML models as well as for tool development.

Animation of object-z specifications using a Z animator

We discuss a methodology for animating the Object-Z specification language using a Z animation environment. Central to the process is the introduction of a framework to handle dynamic instantiation of objects and management of object references. Particular focus is placed upon building the animation environment through pre-existing tools, and a case study is presented that implements the proposed framework using a shallow encoding in the Possum Z animator. The animation of Object-Z using Z is both automated and made transparent to the user through the use of a software tool named O-zone.

Specification matching of object-oriented components

Object-orientation supports software reuse via features such as abstraction, information hiding, polymorphism, inheritance and redefinition. However, while libraries of classes do exist, one of the challenges that still remains is to locate suitable classes and adapt them to meet the specific requirements of the software developer. Traditional approaches to library retrieval are text-based; it is therefore difficult for the developer to express their requirements in a precise and unambiguous manner. A more promising approach is specification-based retrieval, where library component interfaces and requirements are expressed using a formal specification language. In this case retrieval is based on matching formal specifications. In this paper we describe how existing approaches to specification matching can be extended to handle object-oriented components.

Data driven graphical applications:a fluid approach

The inclusion of high-level scripting functionality in state-of-the-art rendering APIs indicates a movement toward data-driven methodologies for structuring next generation rendering pipelines. A similar theme can be seen in the use of composition languages to deploy component software using selection and configuration of collaborating component implementations. In this paper we introduce the Fluid framework, which places particular emphasis on the use of high-level data manipulations in order to develop component based software that is flexible, extensible, and expressive. We introduce a data-driven, object oriented programming methodology to component based software development, and demonstrate how a rendering system with a similar focus on abstract manipulations can be incorporated, in order to develop a visualization application for geospatial data. In particular we describe a novel SAS script integration layer that provides access to vertex and fragment programs, producing a very controllable, responsive rendering system. The proposed system is very similar to developments speculatively planned for DirectX 10, but uses open standards and has cross platform applicability. © The Eurographics Association 2007.

Higher-order co-occurrences for exploratory point pattern analysis and decision tree clustering on spatial data

Analyzing geographical patterns by collocating events, objects or their attributes has a long history in surveillance and monitoring, and is particularly applied in environmental contexts, such as ecology or epidemiology. The identification of patterns or structures at some scales can be addressed using spatial statistics, particularly marked point processes methodologies. Classification and regression trees are also related to this goal of finding "patterns" by deducing the hierarchy of influence of variables on a dependent outcome. Such variable selection methods have been applied to spatial data, but, often without explicitly acknowledging the spatial dependence. Many methods routinely used in exploratory point pattern analysis are2nd-order statistics, used in a univariate context, though there is also a wide literature on modelling methods for multivariate point pattern processes. This paper proposes an exploratory approach for multivariate spatial data using higher-order statistics built from co-occurrences of events or marks given by the point processes. A spatial entropy measure, derived from these multinomial distributions of co-occurrences at a given order, constitutes the basis of the proposed exploratory methods. © 2010 Elsevier Ltd.

Spatial pattern analysis of beta-amyloid (A beta) deposits in Alzheimer disease by linear regression

The spatial patterns of discrete beta-amyloid (Abeta) deposits in brain tissue from patients with Alzheimer disease (AD) were studied using a statistical method based on linear regression, the results being compared with the more conventional variance/mean (V/M) method. Both methods suggested that Abeta deposits occurred in clusters (400 to <12,800 mu m in diameter) in all but 1 of the 42 tissues examined. In many tissues, a regular periodicity of the Abeta deposit clusters parallel to the tissue boundary was observed. In 23 of 42 (55%) tissues, the two methods revealed essentially the same spatial patterns of Abeta deposits; in 15 of 42 (36%), the regression method indicated the presence of clusters at a scale not revealed by the V/M method; and in 4 of 42 (9%), there was no agreement between the two methods. Perceived advantages of the regression method are that there is a greater probability of detecting clustering at multiple scales, the dimension of larger Abeta clusters can be estimated more accurately, and the spacing between the clusters may be estimated. However, both methods may be useful, with the regression method providing greater resolution and the V/M method providing greater simplicity and ease of interpretation. Estimates of the distance between regularly spaced Abeta clusters were in the range 2,200-11,800 mu m, depending on tissue and cluster size. The regular periodicity of Abeta deposit clusters in many tissues would be consistent with their development in relation to clusters of neurons that give rise to specific neuronal projections.