r7 - 22 Sep 2009 - 08:05:30 - PeterGormLarsenYou are here: Overture >  Main Web  > DevFaQ

Overture Tool Development

Development Environment

To use or contribute to the Overture Tool project the build invironment must be setup with the required tools. The projects is based on Java with Maven2 which enable development on most platforms.

DevelopmentEnvironmentSetup

Overture Tool Project structure

The Overture Tool Project is build around a set of core components such as an AST, Parser, Interpeter, etc. Additionally to the core components a set of Eclipse Plug-in projects exists which enables the Overture core components to be wrapped and used directly from whithin Eclipse.

Guide for building the core subset of the Overture Tool. BuildOvertureToolCore

Guide for building the complete tool set with Eclipse integration. BuildOvertureToolCompleteToolSet

Overture subproject overview

Overview

Developer instructions

DeveloperInstructions

-- PeterGormLarsen - 22 Sep 2009

Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r7 < r6 < r5 < r4 < r3 | More topic actions
 
Overture Open-Source Formal Method Tools
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Overture? Send feedback