A general framework for positioning, evaluating and selecting the new generation of development tools.

This paper focuses on the evaluation and positioning of a new generation of development tools containing subtools (report generators, browsers, debuggers, GUI-builders, ...) and programming languages that are designed to work together and have a common graphical user interface and are therefore called environments. Several trends in IT have led to a pluriform range of developments tools that can be classified in numerous categories. Examples are: object-oriented tools, GUI-tools, upper- and lower CASE-tools, client/server tools and 4GL environments. This classification does not sufficiently cover the tools subject in this paper for the simple reason that only one criterion is used to distinguish them. Modern visual development environments often fit in several categories because to a certain extent, several criteria can be applied to evaluate them. In this study, we will offer a broad classification scheme with which tools can be positioned and which can be refined through further research.

Technology Directions for the 21st Century

The Office of Space Communications (OSC) is tasked by NASA to conduct a planning process to meet NASA's science mission and other communications and data processing requirements. A set of technology trend studies was undertaken by Science Applications International Corporation (SAIC) for OSC to identify quantitative data that can be used to predict performance of electronic equipment in the future to assist in the planning process. Only commercially available, off-the-shelf technology was included. For each technology area considered, the current state of the technology is discussed, future applications that could benefit from use of the technology are identified, and likely future developments of the technology are described. The impact of each technology area on NASA operations is presented together with a discussion of the feasibility and risk associated with its development. An approximate timeline is given for the next 15 to 25 years to indicate the anticipated evolution of capabilities within each of the technology areas considered. This volume contains four chapters: one each on technology trends for database systems, computer software, neural and fuzzy systems, and artificial intelligence. The principal study results are summarized at the beginning of each chapter

Theories of Low-Energy Quasi-Particle States in Disordered d-Wave Superconductors

The physics of low-energy quasi-particle excitations in disordered d-wave superconductors is a subject of ongoing intensive research. Over the last decade, a variety of conceptually and methodologically different approaches to the problem have been developed. Unfortunately, many of these theories contradict each other, and the current literature displays a lack of consensus on even the most basic physical observables. Adopting a symmetry-oriented approach, the present paper attempts to identify the origin of the disagreement between various previous approaches, and to develop a coherent theoretical description of the different low-energy regimes realized in weakly disordered d-wave superconductors. We show that, depending on the presence or absence of time-reversal invariance and the microscopic nature of the impurities, the system falls into one of four different symmetry classes. By employing a field-theoretical formalism, we derive effective descriptions of these universal regimes as descendants of a common parent field theory of Wess-Zumino-Novikov-Witten type. As well as describing the properties of each universal regime, we analyse a number of physically relevant crossover scenarios, and discuss reasons for the disagreement between previous results. We also touch upon other aspects of the phenomenology of the d-wave superconductor such as quasi-particle localization properties, the spin quantum Hall effect, and the quasi-particle physics of the disordered vortex lattice.Comment: 42 Pages, 8 postscript figures, published version with updated reference

A Syntactical Reverse Engineering Approach to Fourth Generation Programming Languages Using Formal Methods

Fourth-generation programming languages (4GLs) feature rapid development with minimum configuration required by developers. However, 4GLs can suffer from limitations such as high maintenance cost and legacy software practices. Reverse engineering an existing large legacy 4GL system into a currently maintainable programming language can be a cheaper and more effective solution than rewriting from scratch. Tools do not exist so far, for reverse engineering proprietary XML-like and model-driven 4GLs where the full language specification is not in the public domain. This research has developed a novel method of reverse engineering some of the syntax of such 4GLs (with Uniface as an exemplar) derived from a particular system, with a view to providing a reliable method to translate/transpile that system's code and data structures into a modern object-oriented language (such as C\#). The method was also applied, although only to a limited extent, to some other 4GLs, Informix and Apex, to show that it was in principle more broadly applicable. A novel testing method that the syntax had been successfully translated was provided using 'abstract syntax trees'. The novel method took manually crafted grammar rules, together with Encapsulated Document Object Model based data from the source language and then used parsers to produce syntactically valid and equivalent code in the target/output language. This proof of concept research has provided a methodology plus sample code to automate part of the process. The methodology comprised a set of manual or semi-automated steps. Further automation is left for future research. In principle, the author's method could be extended to allow the reverse engineering recovery of the syntax of systems developed in other proprietary 4GLs. This would reduce time and cost for the ongoing maintenance of such systems by enabling their software engineers to work using modern object-oriented languages, methodologies, tools and techniques

Quantitative functional complexity analysis of commercial software systems

Digitisation of this thesis was sponsored by Arcadia Fund, a charitable fund of Lisbet Rausing and Peter Baldwin

Design Information Recovery from Legacy System COBOL Source Code: Research on a Reverse Engineering Methodology

Much of the software in the world today was developed from the mid-1960s to the mid- 1970s.This legacy software deteriorates as it is modified to satisfy new organizational requirements. Currently, legacy system maintenance requires more time than new system development. Eventually, legacy systems must be replaced. Identifying their functionality is a critical part of the replacement effort. Recovering functions from source code is difficult because the domain knowledge used to develop the system is not routinely retained. The source code is frequently the only reliable source of functional information. This dissertation describes functional process information recovery from COBOL source code in the military logistics system domain. The methodology was developed as an information processing application. Conceptual and logical models to convert source code to functional design information were created to define the process. A supporting data structure was also developed. The process reverse engineering methodology was manually applied to a test case to demonstrate feasibility, practicality, and usefulness. Metrics for predicting the time required were developed and analyzed based on the results of the test case. The methodology was found to be effective in recovering functional process information from source code. A prototype program information database was developed and implemented to aid in data collection and manipulation; it also supported the process of preparing program structure models. Recommendations for further research include applying the methodology. to a larger test case to validate findings and extending it to include a comparable data reverse engineering procedure

Analysis of relationship between software metrics and process models

This thesis studies the correlation between software process models and software metrics. To support our studies we have defined a Process - Metric Evaluation Framework and derived an evaluation template from it. The template served as a basic tool in studding the relationships between various process models, artifacts and software metrics. We have evaluated a number of process models according to our template and have identified suitable software metrics. We have also recommended a root cause analysis approach at various points of the process models. The suggested software metrics can be derived from various product and process artifacts. They can be used to curb the risks generated at each phase of the development process, identify issues, and do better planning and project management. The evaluation template can also be used to evaluate other models and identify effective metrics

Applying metrics to rule-based systems

Since the introduction of software measurement theory in the early seventies it has been accepted that in order to control software it must first be measured. Unambiguous and reproducible measurements are considered to be the most useful in controlling software productivity, costs and quality, and diverse sets of measurements are required to cover all aspects of software. A set of measures for a rule-based language RULER is proposed using a process which helps identify components within software that are not currently measurable, and encourages the maximum re-use of existing software measures. The initial set of measures proposed is based on a set of basic primitive counts. These measures can then be performed with the aid of a specially built prototype static analyser R-DAT Analysis of obtained results is performed to help provide tentative acceptable ranges for these measures. It is important to ensure that measurement is performed for all newly emerging development methods, both procedural and non-procedural. As software engineering continues to generate more diverse methods of system development, it is important to continually update our methods of measurement and control. This thesis demonstrates the practicality of defining and implementing new measures for rule-based systems