WWW Virtual Library - Software Engineering
Last modified: Friday, 30-Mar-2001 17:38:51 CST.
Software Engineering Projects Accessible on the Web
- The
Repository Based Software Engineering (RBSE) program
supports the adoption of software reuse through
repository-based software engineering in targeted sectors of industry,
government, and academia. The program provides a repository that:
facilitates the selection, acquisition, integration, and reuse of
software components; provides proven architectures upon which to
assemble systems; and promotes common software engineering practices
and standards.
- Rigi
is a Software Engineering project being conducted by researchers
in the
Department of Computer Science
at the
University of Victoria.
Over the past six years they have been developing Rigi, a
system and framework for analyzing evolving software
systems. Their early work on algorithms for the analysis,
representation, and visualization of software structure
resulted in a layered graph model and a graph editor
supporting the model . Software structure refers to a
collection of artifacts that software engineers use to form
mental models when designing, documenting, or analyzing
systems. Artifacts include software components such as
subsystems, procedures, and interfaces; dependencies among
components such as client-supplier, composition, and
control and data-flow relations; and attributes such as
component type, interface size, and interconnection
strength. In the Rigi system, artifacts are stored in an
underlying repository and manipulated via a graph editor
providing editing, manipulation, annotation, hypertext, and
exploration capabilities.
- The
Visual Programming - Software Engineering Group at the University of
Geneva has information available concerning their work in two areas relating
to software reuse based upon natural language analysis - DIVA,
Visual programming with multiple paradigms, and ROSA, Reuse of Software
artifacts
- The Software Design Network (SDN)
is a worldwide, virtual enterprise of faculty and students
that are interested in research in software architectures. The SDN
project is partially funded by the NASA IV&V Facility in Fairmont,
West Virginia. It started as a virtual enterprise between several
departments and research centers at WVU in 1994 in conjunction with
the NASA Earth Observing System (EOS) Project and National Library of
Medicine. The primary mission of the SDN is to promote and disseminate
information concerning research in software architectures.
- The
Software Engineering Institute
at Carnegie Mellon University maintains a sizable ftp site for their
documents and various projects.
- There's the
Formal Methods Program
at NASA Langley. The major goals of
NASA Langley's
research program are to
make
formal methods
practical for use on
life-critical systems developed in the United States, and to orchestrate the
transfer of this technology to
industry through use of carefully designed demonstration projects.
Towards
these goals, work is underway to design and formally verify a
fault-tolerant computing platform
suitable for advanced flight-control applications. Also
several direct
technology transfer
efforts have been initiated that apply
formal methods to critical subsystems of real aerospace computer systems.
- The
Rapid Development Lab at
NASA/Johnson Space Center is now on-line with a Web server!
The RDL is a resource created to explore and
evaluate new technologies and processes for flight software
and simulation development. A tour of the lab and its capabilities is
available with a full suite of pictures, sounds, and movies.
- The purpose of a software environment is to support users in their
software development and maintenance activities.
Past attempts to do this have indicated the vast scope and complexity of this
problem. The Arcadia project is a consortium research effort aimed at
addressing an unusually broad range of software environment
issues. In particular, the Arcadia project is concerned with
simultaneously investigating and developing prototype demonstrations of:
- Environment architectures for organizing large collections of tools
and facilitating their interactions with users as well as with
each other,
- Tools to facilitate the testing and analysis of concurrent
and sequential software, and
- Frameworks for environment and tool evaluation.
- The
Kestrel Institute
is a non-profit computer science research institute focusing on formal
and knowledge-based methods for incremental automation of the software
process. Kestrel's research efforts are applicable to the construction
of the intelligent programming environment of the future that provides
automated support for all activities in the software
life-cycle. Toward this goal, we carry out research on wide-spectrum
languages; the analysis, synthesis, transformation, and verification
of both sequential and concurrent programs, and knowledge-based
methods for software project management, programming environments, and
life-cycle support. Such knowledge-based systems for software
development and maintenance will significantly improve software
productivity, reliability, manageability, and efficiency. The use of
these automated tools will mitigate much of the complexity that makes
software creation and maintenance difficult and expensive.
- The Institute for Computer Applications in Science and
Engineering (ICASE) at NASA Langley Research Center has
made 20-30 of their 1993 publications available online.
Try
ICASE
or, if you would like to search ICASE and LaRC reports at the same time: try
here
- The Knowledge Sharing Effort is a consortium to develop conventions
facilitating sharing and reuse of knowledge bases and knowledge based
systems. The goal of the effort is to define, develop, and test
infrastructure and supporting technology to enable participants to build
much bigger and more broadly functional systems than could be achieved
working alone. The output of the effort consists of (1) public-domain
specifications and implementations of supporting technology; (2)
reports, papers, and technical articles; (3) a reusable public library
of proof-of-concept demonstrations.
- The
Intelligent Documentation (I-Doc) project at
ISI develops technology
that enables software documentation to be generated on demand. Instead
of producing large documents with general information about a system,
I-Doc generates specific descriptions, sensitive to the user's work
context and level of familiarity with the system. Explanation
technology, such as that developed in the Debriefable Agents project,
is used to guide the generation process. The documentation is viewed
via the Mosaic hypertext viewer.
- The
Software Technology for Adaptable, Reliable Systems (STARS) program is sponsored by the Advanced
Research Projects Agency (ARPA), contracted through the Air Force Electronic Systems Center (ESC), and
involves three cooperating prime contractors -- Boeing, Loral, and Unisys -- and a large number of
subcontractors. The STARS goal is to increase software productivity, reliability, and quality by integrating
support for modern software development processes and reuse concepts within software engineering
environment (SEE) technology.
- The Collaborative Software Development Laboratory is a
research group within the Department
of Information and Computer Sciences at the University of Hawaii.
CSDL pursues research along two general fronts: the development of computer
systems to support group activities (collaborative software), as well as
research on the process of developing software in a group setting
(collaborative development).
- The P-RooT & COO project
is conducted in the CRIN-CNRS Software
Engineering Team.
Coo is a research project which aims at building an active framework for
software development processes
support. It particularly focus on coordination and consistent support to
cooperation between the
different tasks and activities involved in the process.
Coo is mainly based on a formally defined cooperative transaction model
that uses software process
models to surpass the limits of traditional transaction models, so as to
allow cooperation between the
sofware developers while ensuring the consistence of the development.
The implementation of Coo is based on P-RooT, a software engineering
database prototype. P-RooT is
an object oriented extension of PCTE that allow procedural attachment to
PCTE objects and thus provide
an object-oriented interface to PCTE object bases.
- The Depot Project is the Unix System Configuration Management
component of the Workstation
Administration/Host Configuration Andrew II project. Currently
Depot v5 (internally named depot2) is replacing the original Depot.
Depot is already in use by many institutions outside of CMU. It
provides a simple method of combining multiple software objects into a
single coherent structure.
- The Rapid Prototyping Laboratory at the University of Sunderland is working on LOCANA, an O-O CASE tool for rapid prototyping and requirements elicitation.
If you know of Internet-accessible information source(s) that should be
included in the WWW Virtual Library,