About Overture
Overture Community
The Overture tools are being developed by volunteers, research scientists and students. You can find an overview of us at our wiki page The Community. Anyone interested (from both industry and academia) is welcome to join the project as an active member. You might be interested in contributing directly to tools building (via our Overture open source project at Sourceforge), or you may be interested in developing the formal foundations of VDM++ and Overture. If you are a student (BSc, MSc, PhD), we can provide cool practical and theoretical projects.
The Overture community meets together at occasional Workshops and monthly via on-line Net meetings using Messenger. To get details of our meetings please visit our wiki page wiki.overturetool.org.
Overture Community Process
Contributions to Overture, the language definitions and other aspects, are handled through the Overture Community Process (OCP). The Language Board (LB) has elaborated on the "Inititial Consideration" Phase of the OCP and this process is described as the Language Board Process (LBP) description.