Description

People

Publications

Demonstration

Sponsors

Conferences & Workshops

Related Projects

Contact

Home

Component-based Models and Projects:

        Java-RMI and Jini
        CORBA
        DCOM and .NET
        Web Object Model and DOM
        Hadas
        Infospheres
        Legion
        Next Generation Middleware
        Software Systems Engineering Group (University College -- London)
        Pragmatic Object Web
        XCAT
        Micronet
        MDA
        TASSL

Wrappers and Glues:

        EBBA and Dalek
        FORMAN
        Aleph
        ANNA
        TSL
        RAPIDE

Formal Specification Methodologies:

        Larch
        Aster
        Grey Box
        Patterns and Larch
        LOTOS
        SERPICO

Methodologies for Component-based Software Design:

        Software Architecture
        Unified Software Development Process
        Catalysis
        ROOM and UML

Automatic and Algorithmic Debugging:

         Algorithmic and Automatic Debugging Home Page
 

Quality of Service (QoS):

        Distributed Projects at the BBN

        RAPIDWARE