Difference between pages "Main Page" and "ADVANCE D3.2 General Platform Maintenance"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Richardcook
 
imported>Laurent
(Initial version to be filled)
 
Line 1: Line 1:
−
__NOTOC__
+
== Core Rodin platform (Thomas Muller) ==
−
<div id="accueil_title">{{Main Page/title}}</div>
 
−
<div align="right" class="main_page_frame_link">[[Template:Main Page/title|Edit]]</div>
 
−
<!-- ===================================================== -->
 
−
{|width="100%" cellspacing="0" cellpadding="0" style="margin-top:0.6em"
 
−
<!--
 
−
|-
 
−
|width="50%" valign="middle" style="border:1px solid #CCF7CC;background:#EEFFEE;padding:7px"|
 
−
{{Encyclopédie recherche}}
 
−
|style="padding:4px;font-size:1px"|&nbsp;
 
−
|width="50%" valign="middle" style="border:1px solid #DDDDF7;background:#F7F7FF;padding:7px"|
 
−
{{Encyclopédie participation}}
 
−
-->
 
−
|-
 
−
|style="font-size:0.6em;line-height:0.6em"|&nbsp;
 
−
|-
 
−
| valign="top"|
 
  
−
<!-- ============================================= -->
+
=== Overview ===
−
{{Main Page/Frame
+
{{TODO|Fill this paragraph.}}
−
|title = User Documentation
 
−
|content = Main Page/User Documentation
 
−
|link = [[Template:Main Page/User Documentation|Edit]]
 
−
}}
 
−
<!-- ============================================= -->
 
−
{{Main Page/Frame
 
−
|title = [[Developer Documentation]]
 
−
|content = Main Page/Developer Documentation
 
−
|link = [[Template:Main Page/Developer Documentation|Edit]]
 
−
}}
 
−
<!-- ============================================= -->
 
−
{{Main Page/Frame
 
−
|title = Rodin News
 
−
|content = Dev_News
 
−
|link = {{nobr|[[Template:Dev_News/Archives|Archives]] ·}} [[Template:Dev_News|Edit]]
 
−
}}
 
−
<!-- ============================================= -->
 
−
|style="padding:4px;font-size:1px"|&nbsp;
 
−
|width="50%" valign="top"|
 
−
<!-- ============================================= -->
 
−
{{Main Page/Frame
 
−
|title = Community
 
−
|content = Main Page/Community
 
−
|link = [[Template:Main Page/Community|Edit]]
 
−
}}
 
−
<!-- ============================================= -->
 
−
{{Main Page/Frame
 
−
|title = General News
 
−
|content = News
 
−
|link = {{nobr|[[Template:News/Archives|Archives]] ·}} [[Template:News|Edit]]
 
−
}}
 
  
−
<!-- ============================================= -->
+
=== Motivations / Decisions ===
−
|}
+
{{TODO|Fill this paragraph.}}
 +
 
 +
=== Available Documentation ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
=== Planning ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
 
 +
 
 +
== UML-B Improvements (Colin Snook, Vitaly Savicks) ==
 +
 
 +
=== Overview ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
=== Motivations / Decisions ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
=== Available Documentation ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
=== Planning ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
== Code generation (Andy Edmunds) ==
 +
 
 +
=== Overview ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
=== Motivations / Decisions ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
=== Available Documentation ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
=== Planning ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
 
 +
 
 +
== ProR (Michael Jastram/Lukas Ladenberger) ==
 +
 
 +
=== Overview ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
=== Motivations / Decisions ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
=== Available Documentation ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
=== Planning ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
 
 +
 
 +
== Camille (Ingo Weigelt) ==
 +
 
 +
=== Overview ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
=== Motivations / Decisions ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
=== Available Documentation ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
=== Planning ===
 +
{{TODO|Fill this paragraph.}}
 +
 
 +
== References ==
 +
<references/>
 +
 
 +
[[Category:ADVANCE D3.2 Deliverable]]

Revision as of 09:52, 5 June 2012

Core Rodin platform (Thomas Muller)

Overview

TODO: Fill this paragraph.

Motivations / Decisions

TODO: Fill this paragraph.

Available Documentation

TODO: Fill this paragraph.

Planning

TODO: Fill this paragraph.


UML-B Improvements (Colin Snook, Vitaly Savicks)

Overview

TODO: Fill this paragraph.

Motivations / Decisions

TODO: Fill this paragraph.

Available Documentation

TODO: Fill this paragraph.

Planning

TODO: Fill this paragraph.

Code generation (Andy Edmunds)

Overview

TODO: Fill this paragraph.

Motivations / Decisions

TODO: Fill this paragraph.

Available Documentation

TODO: Fill this paragraph.

Planning

TODO: Fill this paragraph.


ProR (Michael Jastram/Lukas Ladenberger)

Overview

TODO: Fill this paragraph.

Motivations / Decisions

TODO: Fill this paragraph.

Available Documentation

TODO: Fill this paragraph.

Planning

TODO: Fill this paragraph.


Camille (Ingo Weigelt)

Overview

TODO: Fill this paragraph.

Motivations / Decisions

TODO: Fill this paragraph.

Available Documentation

TODO: Fill this paragraph.

Planning

TODO: Fill this paragraph.

References

Retrieved from ‘https://wiki.event-b.org/index.php?title=Main_Page&oldid=53’