SAGA: A project to automate the management of software production systems

The project to automate the management of software production systems is described. The SAGA system is a software environment that is designed to support most of the software development activities that occur in a software lifecycle. The system can be configured to support specific software development applications using given programming languages, tools, and methodologies. Meta-tools are provided to ease configuration. Several major components of the SAGA system are completed to prototype form. The construction methods are described

Morphological characteristics of motor neurons do not determine their relative susceptibility to degeneration in a mouse model of severe spinal muscular atrophy

Spinal muscular atrophy (SMA) is a leading genetic cause of infant mortality, resulting primarily from the degeneration and loss of lower motor neurons. Studies using mouse models of SMA have revealed widespread heterogeneity in the susceptibility of individual motor neurons to neurodegeneration, but the underlying reasons remain unclear. Data from related motor neuron diseases, such as amyotrophic lateral sclerosis (ALS), suggest that morphological properties of motor neurons may regulate susceptibility: in ALS larger motor units innervating fast-twitch muscles degenerate first. We therefore set out to determine whether intrinsic morphological characteristics of motor neurons influenced their relative vulnerability to SMA. Motor neuron vulnerability was mapped across 10 muscle groups in SMA mice. Neither the position of the muscle in the body, nor the fibre type of the muscle innervated, influenced susceptibility. Morphological properties of vulnerable and disease-resistant motor neurons were then determined from single motor units reconstructed in Thy.1-YFP-H mice. None of the parameters we investigated in healthy young adult mice - including motor unit size, motor unit arbor length, branching patterns, motor endplate size, developmental pruning and numbers of terminal Schwann cells at neuromuscular junctions - correlated with vulnerability. We conclude that morphological characteristics of motor neurons are not a major determinant of disease-susceptibility in SMA, in stark contrast to related forms of motor neuron disease such as ALS. This suggests that subtle molecular differences between motor neurons, or extrinsic factors arising from other cell types, are more likely to determine relative susceptibility in SMA

Recovering Grammar Relationships for the Java Language Specification

Grammar convergence is a method that helps discovering relationships between different grammars of the same language or different language versions. The key element of the method is the operational, transformation-based representation of those relationships. Given input grammars for convergence, they are transformed until they are structurally equal. The transformations are composed from primitive operators; properties of these operators and the composed chains provide quantitative and qualitative insight into the relationships between the grammars at hand. We describe a refined method for grammar convergence, and we use it in a major study, where we recover the relationships between all the grammars that occur in the different versions of the Java Language Specification (JLS). The relationships are represented as grammar transformation chains that capture all accidental or intended differences between the JLS grammars. This method is mechanized and driven by nominal and structural differences between pairs of grammars that are subject to asymmetric, binary convergence steps. We present the underlying operator suite for grammar transformation in detail, and we illustrate the suite with many examples of transformations on the JLS grammars. We also describe the extraction effort, which was needed to make the JLS grammars amenable to automated processing. We include substantial metadata about the convergence process for the JLS so that the effort becomes reproducible and transparent

Parser generation in Perl : an overview and available tools

There are some modules on Comprehensive Perl Archive Network to help with the parser generation process in Perl. Unfortunately, some are limited, only supporting a particular parser algorithm and do not covering some developer needs. In this document we will analyse some of these modules, testing them in terms of performance and usability, allowing a proper evaluation of the results and careful considerations about the state of art of parser generation using Perl