The Software Research Laboratory (SRL) is a cooperative effort between the NASA Office of Safety and Mission Assurance (OSMA) and West Virginia University. The NASA/WVU Software Research Laboratory is located at the NASA Independent Software Verification and Validation Facility in Fairmont, West Virginia. If you would like more information on the research project, you can subscribe to our quarterly newsletter or to the nasa-wvu-srl mailing list.
Abstracts and references of technical documents in numerous key areas of software engineering.
RENOIR is the Requirements Engineering Network Of International cooperating Research groups. RENOIR is a network of excellence established within the Fourth Framework Programme (FP4) of the European Union. It is a network of research groups, each with established excellence in the area of requirements engineering, funded through the FP4 provisions for research and technology development in information technology, collectively known as ESPRIT.
The Rapid Prototyping Labaratory Home Page for Requirements Analaysis and Elicitation using the LOCANA O-O CASE tool.
RAPPeL is a pattern language that provides direction and rationale for guiding analysts, developers and project managers in determining and defining requirements for business applications (e.g. information management systems, decision support systems, work-flow management, scheduling, etc.) to be developed in an OO environment.
Carnegie Mellon University's ABLE project is concerned with exploring the formal basis for Software Architecture, developing the concept of Architectural Style, and building tools that practicing software architects might find useful. Our tool development effort has focused on the Aesop system, a toolkit for rapidly producing software architecture design and analysis environments that are customized to support specific architectural styles. The formal work revolves around the Wright language.
The association for Software Design is a non-profit organization dedicated to elevating the status of software design as a profession.
The Chopshop Project aims to provide practical program analysis and visualization tools to assist with real software engineering tasks.
The objectives of the Composable Software Systems Group are to provide a scientific and engineering basis for designing, building, and analyzing composable software systems; and to provide languages, tools, environments, and techniques to support these activities. We focus on three research areas: software architecture, formal methods, and tractable software analysis. We develop new models, theories, methods, languages, and tools for classifying, specifying, analyzing, and designing software systems beyond the component level. This support could lead to substantial reduction in maintenance costs, improvement in software reuse, and increase in quality of software.
Research in CSAG focuses on hardware and software architecture issues in parallel computer systems (e.g. MPP's, scalable servers, and clusters of high performance workstations). Computer systems design involves a cooperative effort between software and hardware designers; our research efforts reflect this blend, including efforts to build parallel programming systems, scalable input/output systems, and high speed communication software and hardware. These projects emphasize the development of innovative designs and their evaluation, based on actual implementations. CSAG is led by Andrew Chien.
The Evolutionary Design of Complex Software (EDCS) Program, sponsored by the Defense Advanced Research Projects Agency (DARPA), addresses the need for military systems to evolve over extended lifetimes. The program is based on the observation that the most likely way to make an existing system adapt to changes in its operational environment is through changing its software. The program examines the ways that software can be created to be more easily evolved, defines methods for incremental adaptation of systems through software changes, and seeks ways to migrate the currently installed base of military systems to more evolutionary syste
Open Implementation is a software design technique that helps write modules that are both reusable and very efficient for a wide range of clients. In the Open Implementation approach, modules allow their clients individual control over the module's own implementation strategy. This allows the client to tailor the module's implementation strategy to better suit their needs, effectively making the module more reusable, and the client code more simple. This control is provided to clients through a well-designed auxiliary interface.
The Systems for Advanced Architecture (SSA) and the Object Systems Laboratories (OSL) are part of the Computer Science Department at the University of Massachusetts, Amherst.
The Rapide Language effort focuses on developing a new technology for building large-scale, distributed multi-language systems. This technology is based upon a new generation of computer languages, called Executable Architecture Definition Languages (EADLs), and an innovative toolset supporting the use of EADLs in evolutionary development and rigorous analysis of large-scale systems.
There are two major projects in the area of software architecture: one is focused the development of fundamental enabling technology and the other on applying it in the development of a useful architectural standard. Both projects are multiyear and involve collaboration with researchers at Stanford University.
The Software Composition Group conducts research into the use of object technology and related approaches for the development of flexible, open software systems. The group is led by Prof. Oscar Nierstrasz.
The goal of the Vitruvius project is to elucidate the architectural level of abstraction so that the collective experience of successful architects can be captured, organized, and made available to ordinary practioners.
TCCS is a freely-available system to support what we call project control, a simple but powerful form of software configuration management. TCCS is implemented as a front-end to the two most common source control systems in POSIX-compliant environments, RCS and SCCS. TCCS provides a common command-line interface to both systems, and extends them by supporting multi-release, multi-user, multi-platform development.
Software Methods, Techniques and Tools
The Feature-Oriented Domain Analysis (FODA) methodology resulted from an in-depth study of other domain analysis approaches . Successful applications of various methodologies pointed towards approaches that focused on the process and products of domain analysis. As a result, the FODA feasibility study [CMU/SEI-90-TR-21] established methods for performing a domain analysis, described the products of the domain analysis process, and established the means to use these products for application development. The FODA methodology was founded on a set of modeling concepts and primitives used to develop domain products that are generic and widely applicable within a domain. The basic modeling concepts are abstraction and refinement.
Process Resources and Directories
Through R&D, consulting, seminars, publications, and joint exploration, the Bootstrap Institute offers a comprehensive set of strategies and supporting services for creating high-performance organizations - for bootstrapping your organization into the 21st century.
Arcadia is a research project investigating tools and techniques to improve the software engineering process. The goal of the project is to support the creation of software engineering environments intended for the development, analysis, and maintenance of large, complex software systems, particularly those with high reliability requirements. Additionally, Arcadia is committed to a highly distributed, tool-based architecture that supports flexible environment evolution, heterogeneous tools (i.e., developed using a variety of programming languages, object management systems, etc.), and organizationally dispersed software engineering.
This archive contains information relevant to the ESPRIT II REDO project (1989-1992) concerned with software maintenance and reverse engineering. Some files and tools are available via anonymous FTP. An index and a README file are available.
Most of these links have been obtained from Brad Appleton's Home Page