Advanced search
 Log In | New Account   
Home My Page Project Tree Code Snippets Project Openings TOPCASED-EventB
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files Wiki

This project aims to integrate the event B language into Topcased. Event B is a formal language based on B language using events to describe systems.


Registered: 2008-05-06 11:44
Activity Percentile: 0%
View project Statistics or Activity.
View list of RSS feeds available for this project 
Developer Info
Project Admins:
Antoine Requet
Philippe Blanc
Thierry Lecomte
Developers:
Aryldo G Russo Jr
David Chemouil
Georges Mariano
Mamoun Filali
Ricardo Bedin França

[View Members]

[Request to join]


Latest File Releases
Package Version Date Notes / Monitor Download
TOPCASED-EventB1.0.2 June 20, 2008 Release Notes - Monitor this package Download

Public Areas
Home Page Project Home Page
TrackerTracker

 - Bugs ( 3 open /5 total )
Bug Tracking System

 - Support ( 0 open /0 total )
Tech Support Tracking System

 - Patches ( 0 open /0 total )
Patch Tracking System

 - Feature Requests ( 6 open /6 total )
Feature Request Tracking System

Forums Public Forums ( )
Docs DocManager: Project Documentation
Lists Mailing Lists ( 3 public mailing lists)
Tasks Task Manager
  - Next Release
  - To Do
Surveys Surveys ( 0 surveys )
SCM SCM Repository (SVN: 332 updates, 2,039 adds)
Anonymous FTP SpaceAnonymous FTP Space
Webcalendar

 
Latest News
No News Items Found

Linked projects
 Parent project: TOPCASED Modelling Tools


Powered By GForge Collaborative Development Environment