Previous Next GDPA Homepage  
Fomal Methods Forms: Setting-Up/Comercial Aspects  

1-2-3-4-5-6-7-8-9-10-11-FM-FM 1-FM 2-FM 3-FM 4-FM 5

Contents  
  • Application Maturity
  • Platform
  • Costs/Rights?Restrictions
  • Tool Customization/Deployment
  • Level of Automation
  • Documentation
  • Support
  • Training

    • Application Maturity

    Scalability

    Small (XX KLOC)
    Medium (XX KLOC)
    Large (XX KLOC)

    Development Status

    Prototype - Early Phase
    Prototype - Many Case Studies
    Tool - Early Industrial Use
    Tool - Mature/Confirmed Industrial Strength

    Platform

    Unix
    Linux
    Windows
    Other

    Costs/Rights/Restrictions

    Free - Educational/Research
    Free - Underlying Tool
    Free - Non-profit use

    Fee: Flat license Per use Nominal Charge

    License required

    Royalties

    Tool Customization/Deployment

    Source code given
    Tool implemented in a public-domain language
    Paramentrization

    Level of Automation

    Fully automated
    Semi automated
    Manual

    Documentation

    Complete Minimal

    Paper-based
    Postscript/PDF
    Wordprocessors
    Web-based

    Support

    No support
    by the developers
    Users-Group/Mailing lists
    Fee

    Training

    (Inform Courses, pre-requisites, homepage, companies, etc)

    Previous Next GDPA Homepage Last Updated 05.Nov.1999 Updated by Webmaster Last Revised 05.Nov.1999 Revised by Webmaster