B-Core(UK) Ltd
Home Page
Directors' View
About B
About B-Core
Why Use B
Return to:
B-Toolkit
University Teaching
University Testimonials
Teaching Licences
Evaluation Licences
Commercial Sales
Downloading & Running
Books on B
Delivering the Promise
For the Technically Minded
The B-Toolkit: Generators Environment

  • The Base Object Generator

    this takes input in the form of a simple Entity Relationship Model
    which describes the structured data required for the implementation of
    a particular module, and automatically generates an AMN specification
    and an AMN implementation (built on the library of basic machines)
    providing a (customizable) rich set of operations to manipulate the
    data.

  • The Enumerator

    to provide simple i/o facilities for enumerated sets

  • The Interface Generator

    automatically builds a sophisticated Motif interface to
    implementations built on the basic library, providing forms for
    operation input, etc., enabling functional testing to commence as soon
    as an AMN implementation for it has been provided. If motif is not
    available, a command line interface is built, using the basic library.

B-Core (UK) Limited
Kings Piece
Harwell
Oxon OX11 0PA
UK
Tel: +44 (0)1235 863030
Fax: +44 (0)1235 863031
Email: info@b-core.com
URL: http://www.b-core.com/
Document Last Updated February 08 2002