Difference between revisions of "Rodin Developer Support"
From Event-B
Jump to navigationJump to searchimported>Stefan |
imported>Stefan |
||
| Line 4: | Line 4: | ||
[[Category:Rodin Platform]] | [[Category:Rodin Platform]] | ||
| − | == Rodin Core == | + | == Architecture of the Rodin Platform == |
| + | |||
| + | === Rodin Platform Core === | ||
[[Database]] | [[Database]] | ||
| Line 10: | Line 12: | ||
[[Builder]] | [[Builder]] | ||
| − | == Event-B User Interface == | + | === Event-B User Interface === |
[[Editing]] | [[Editing]] | ||
| Line 16: | Line 18: | ||
[[Proving]] | [[Proving]] | ||
| − | == Event-B Library == | + | === Event-B Component Library === |
[[Abstract Syntax Tree]] | [[Abstract Syntax Tree]] | ||
| Line 23: | Line 25: | ||
[[Proof Obligation Generator]] | [[Proof Obligation Generator]] | ||
| + | |||
| + | [[Proof Manager]] | ||
| + | |||
| + | == Extending the Rodin Platform == | ||
| + | |||
| + | === Getting Started === | ||
| + | |||
| + | === Plug-in Tutorials === | ||
Revision as of 14:13, 4 July 2008
The Developer Support provides resources for developing plug-ins for the Rodin Platform.
