Distributed Software Engineering Group Software

Darwin and Implementations of Darwin

The Darwin Configuration Language

Darwin is used by many projects to specify system architectures in terms of components and their interconnections.

The Java Darwin Framework

The Darwin Framework is a Java based darwin compiler. This is currently an unsupported work in progress.

Regis is a programming environment for constructing distributed programs and systems. (Unsupported) ports of the system exist for Sparcs and Sun-3s running SunOS (4.1) or Solaris (2.4), HP 9000s running HP-UX (9.03) and PC compatibles running Linux or NetBSD.

Software Engineering Tools

The Labelled Transition System Analyser

LTSA is a verification tool for concurrent systems.

SceneBeans: An Animation Framework for Java

SceneBeans is a Java framework for building and controlling animated graphics. It removes the drudgery of programming animated graphics, allowing programmers to concentrate on what is being animated, rather than on how that animation is played back to the user. SceneBeans is based upon Java Beans and XML. Its component-based architecture allows application developers to easily extend the framework with domain-specific visual and behavioural components. It is used in the LTSA tool to animate formal models of concurrent systems and has also been used to build computer-based education programs for junior science.

The Software Architect's Assistant

The Software Architect's Assistant is a visual environment for the design and development of Regis distributed programs. It provides the user with automated, intelligent assistance throughout the software design process.

Tcl/Tk Graph Widget

The Tcl/Tk Graph widget provides a mechanism for displaying graph-like diagrams and manipulating these diagrams via Tcl commands. To the Tcl programmer, the graph widget appears similar to the canvas widget; however, it provides a more object-oriented interface to the graph items displayed and supports automatic graph layout. HTML Documentation for the widget is available on-line.

Web pages maintained by Arosha Bandara (bandara@doc.ic.ac.uk), unless otherwise indicated.

Up to: DSE Group, Department of Computing, Imperial College