Main Page
From Wiki.overturetool.org
| Warning: People that wish to contribute please visit the Community portal first |
This wiki provides documentation and discussion forums for users and developers of the Overture toolset, an open source Eclipse-based environment for developing computer-based systems. Overture supports the VDM notation and methods.
General News
|
CommunityThe Community - Who is who in the Overture Community Mailing lists - Overture related mailing lists. Community Process - handles contributions to the VDM language definitions. Workshops - Workshops held by the Community NetMeetings - Minutes of the NetMeetings. Overture projects - Suggestions for projects Overture Publications - Overture-related publications Planned Publications - Status of planned publications Do not hesitate to improve this wiki. You may find some help within the following pages: Wiki Help - Some guidelines for page creation/edition in this wiki. Overture Wiki Community - Suggest improvements and/or modifications here. Recent Changes - Monitor the wiki activity.
Overture ToolOverture Sourceforge - Overture project on Sourceforge Mailing lists - Overture related mailing lists. Overture Platform Releases - Track releases. Bugs and Feature Requests - Report a bug or request a new feature.
|
Number of pages in this wiki: 361
