newsBRILLANT - News: De UML à B

 
 
Show feedback again
Latest News
B parsing is complete posted by scolin, Mon 16 Apr 2012 04:22:19 PM UTC - 0 replies
CSP||B tool for calculating control loop invariants posted by scolin, Mon 30 Nov 2009 06:01:23 PM UTC - 0 replies
BiCoax, a Coq library for B, is in the repository posted by scolin, Tue 02 Sep 2008 02:54:50 PM UTC - 0 replies
Alpha (debian) package : brillant-core posted by gmariano, Tue 29 Jan 2008 11:57:45 AM UTC - 1 reply
New jabber chatroom / nouveau salon jabber posted by scolin, Mon 28 Jan 2008 04:51:22 PM UTC - 0 replies
[Submit News]
[13 news in archive]

De UML à B

Item posted by Georges Mariano <gmariano> on Tue 03 Aug 2004 02:34:24 PM UTC.

Les outils de conversion de UML à B issus des travaux de recherches du PRISM (et en particulier de la thèse de R. Marcano) sont en cours d'intégration dans BRILLANT/BCaml (cf module 'oclb').

Cette intégration est l'objectif d'un stage ESTAS/IIE-Évry (Étudiant : Thomas Moniot).

Comments:

No messages in De UML à B

 

Start a New Thread:

You could post if you were logged in
Show feedback again

Back to the top


Powered by Savane 3.1-cleanup