Skip to content
Snippets Groups Projects
Commit 86e7972c authored by Kenneth Guldbrandt Lausdahl's avatar Kenneth Guldbrandt Lausdahl
Browse files

fixed logo

parent 243cd91b
No related branches found
No related tags found
No related merge requests found
......@@ -50,7 +50,7 @@
</ul>
<p><img src="{{ site.url }}/images/Overture-logo.png" alt="INTO-CPS"></p>
<p><img src="{{ site.url }}/images/into-cps-logo.png" alt="INTO-CPS"></p>
<p><a href="https://github.com/overturetool">Go to our GitHub Profile</a></p>
<p><a href="http://twitter.com/overturetool">Follow @overturetool</a></p>
</header>
......
images/into-cps-logo.png

20.6 KiB

......@@ -3,60 +3,6 @@ layout: default
title: Overview
---
<link rel="stylesheet" href="css/releases.css">
<script src="http://code.jquery.com/jquery-1.11.1.min.js">
</script>
<script src="javascripts/moment-with-langs.js"></script>
<script src="javascripts/github-releases.js"></script>
<script>updateFrontPage();</script>
# Overview
<!--The Overture project is a community-based project aimed at developing open-source tools to support the modelling and analysis of the design and development of computer-based systems.
The Overture project is focused on supporting the modelling method [VDM: The Vienna Development Method](http://www.vdmportal.org/) which is a set of modelling techniques that have a long and successful history of use in both research and industrial application.-->
The Overture community supports the modelling method *The Vienna Development Method (VDM)* which is a set of modelling techniques that have a long and successful history in both research and industrial application in the development of computer-based systems.
<!-- It does so by providing documentation, teaching material, and at the heart of the project is the development of the Overture Tool. -->
The *Overture Tool* is an open-source integrated development environment (IDE) for developing and analysing VDM models. The tool suite is written entirely in Java and built on top of the Eclipse platform.
![Tool preview]({{ site.url }}/images/tool-preview.png)
||
|----|
| The current stable version is <strong id="current-release-version">2.0.8</strong> <i id="current-release-data"> (May 2014) </i> which you can [download here]({{ site.url }}/download/).|
<div id="current-release"></div>
<!-- Not working yet...
<a class="twitter-timeline" href="https://twitter.com/overturetool" data-widget-id="572304129142575104">Tweets by @overturetool</a>
<script>!function(d,s,id){var js,fjs=d.getElementsByTagName(s)[0],p=/^http:/.test(d.location)?'http':'https';if(!d.getElementById(id)){js=d.createElement(s);js.id=id;js.src=p+"://platform.twitter.com/widgets.js";fjs.parentNode.insertBefore(js,fjs);}}(document,"script","twitter-wjs");</script>
-->
#### Extensions:
<table>
<thead>
<tr>
<th></th>
<th></th>
</tr>
</thead>
<tbody>
<tr>
<td><a href="http://crescendotool.org"> <img src="{{ site.url }}/images/crescendo.png" width="128" alt="Cresendo Tool"> </a></td>
<td>The <a href="http://crescendotool.org">Cresendo Tool</a> uses the Overture platform and <a href="http://www.controllab.nl/en/products/20-sim.html">Controllab's 20-sim</a> to perform co-simulations that can be used in the analysis and development of cyber-physical systems.</td>
</tr>
<tr>
<td><a href="http://symphonytool.org"> <img src="{{ site.url }}/images/symphony.png" width="128" alt="Symphony Tool"> </a></td>
<td>The <a href="http://symphonytool.org">Symphony Tool</a> extends part of the Overture Tool in order to support the CML language, which is aimed at describing and analysing Systems of Systems.</td>
</tr>
</tbody>
</table>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment