Main Page: Difference between revisions

From Event-B
Jump to navigationJump to search
← Older edit
imported>Mathieu
m Title was forgotten in the copy/paste
m Protected "Main Page" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite))
 
(49 intermediate revisions by 14 users not shown)
Line 1: Line 1:
== Event-B and Rodin Documentation Wiki ==
__NOTOC__
<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"|


This is the documentation wiki for the [http://www.event-b.org Event-b.org] site providing documentation for users and developers of the Rodin toolset.
<!-- ============================================= -->
{{Main Page/Frame
|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]]
}}


'''Event-B''' is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels.
<!-- ============================================= -->
 
|}
The '''Rodin Platform''' is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendable with plugins.
 
== User Documentation ==
[[Event-B Language]] | <small>[[Event-B Mathematical Language|Mathematical Language]] • [[Event-B Modelling Language|Modelling Language]] • [[:Category:Event-B|Documents in the ''Event-B'' category]]</small>
 
[[Rodin Platform|Rodin Platform User Support]] | <small>[[Rodin User Manual|User Manual]] • [[Rodin Tutorials|Tutorial]] • [[:Category:User documentation|Documents in the ''User documentation'' category]]</small>
 
[[Rodin Plug-ins|Rodin Plug-in User Support]] | <small>[[UML-B]] • [[B2Latex]] • [[ProB]] • [[AnimB]] • [[ReqsManagement]] • [[:Category:Plugin|Documents in the ''Plugin'' category]] </small>
 
[[FAQ]]
 
== Developper Documentation ==
[[Rodin Developer Support]] |<small> [[Current Developments]] • [[:Category:Developer documentation|Documents in the ''Developer documentation'' category]]</small>
 
[[How To Contribute]]
 
== Community ==
Do not hesitate to improve this wiki. You may find some help within the following pages:
 
[[Help:Contents|Wiki Help]] - Some technical documentation.
 
[[EB:VP|Village Pump]] - Ask your questions and keep track of the main wiki events.
 
[[Special:Recentchanges|Recent Changes]] - Monitor the wiki activity.
 
[[þest area|Test Area]] - Wiki editing is simple. Try by yourself.

Latest revision as of 09:48, 19 May 2020

Event-B and Rodin Documentation Wiki


This is the documentation wiki for the Event-b.org site providing documentation for users and developers of the Rodin toolset.

Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels.

The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendable with plugins.

Event-B and Rodin are used for industrial projects and research projects.
Edit
 

User Documentation

Event-B Language
Rodin Platform User Support
Rodin Plug-in User Support
Example models with Event-B
Edit

Developer Documentation

 
Edit

Rodin News

Rodin 3.8 is out   

+Learn more...

Download now

Archives · Edit
  

Community

Rodin 2024 -- The 11th Rodin User and Developer Workshop on 25 June 2024 (co-located with ABZ2024).

Rodin 2023 -- The 10th Rodin User and Developer Workshop on 30 May 2023 (co-located with ABZ2023).

Rodin 2021 -- The 9th Rodin User and Developer Workshop on 8 June 2021 (co-located with ABZ2021).

Rodin 2020 (POSTPONED TO 2021) -- The 8th Rodin User and Developer Workshop on 26 May 2020 (co-located with ABZ2020).

The Event-B Day at NII. November 21, 2016. NII, Tokyo, Japan.

Rodin 2016 Workshop on 23-24 May 2016 co-located with ABZ2016.

ABZ 2016: The 5th International ABZ Conference, for ASM, Alloy, B, TLA, VDM, Z May 23-27, 2016 Linz, Austria

The Event-B Day at NII. October 31, 2014. NII, Tokyo, Japan.

Rodin 2014 Workshop on 2+3 June 2014 co-located with ABZ2014.

The DEPLOY book was published by Springer in July 2013: Industrial deployment of system engineering methods providing high dependability and productivity, A. Romanovsky, M. Thomas (Eds). ISBN: 978-3-642-33169-5

Mailing lists - Rodin related mailing lists.

Rodin Platform Releases - Track releases.

Bugs and Feature Requests - Report a bug or request a new feature.

Plug-in Wishlist

FAQ about the use and the impact of formal engineering methods in Industry

Do not hesitate to improve this wiki. You may find some help within the following pages:

Wiki Help - Some technical documentation about this wiki.

Village Pump - Ask your questions and keep track of the main wiki events.

Recent Changes - Monitor the wiki activity.

Test Area - Wiki editing is simple. Try by yourself.

Edit

General News

  • 30/09/20: New UML-B website - getting started with UML-B - current research and collaborations
  • 31/05/13: New Event-B video on the Event-B & Rodin youtube channel
  • 28/03/13: New UML-B video on the Event-B & Rodin youtube channel
Archives · Edit
Retrieved from ‘https://wiki.event-b.org/index.php?title=Main_Page&oldid=14341’