Software News

08/11/2008 : What's new for tools for animation, simulation and virtual reality
The BUNRAKU preoject-team is pleased to announce that the AFPN : Augmented First Person Navigation

07/31/2008 : What's new for Life Science
The Virtualplants project-team is pleased to announce that the OpenAlea : Component platform and visual programming for plant modeling.

07/22/2008 What's new for tools for cooperation, collaboration and communication on internet
The Madynes project-team is pleased to announce that the voipbot ,voice over IP.

07/21/2008: What's new for tools for communicating systems
The Arles project-team is pleased to announce that the iCOCOA, COnversation-based service COmposition in pervAsive computing environments.

04/29/2008 : What's new for Life sciences
Docking@grid : a conformational sampling program for the identification of docking molecules

04/24/2008 : What's new for Tools and languages for real-time systems
GASPAR : An Integrated Development Environment (IDE) for SoC visual co-modeling

04/23/2008 : What's new for Life sciences
Monolix : Nonlinear mixed effects models

04/11/2008 : What's new for parallelism and Distribution
Deployware : an open source extensible component-based framework to deploy distributed and heterogeneous software systems

03/20/2008: TRAIAN, The new version 2.6 is available
compiler is available for LOTOS NT, a language very close to the ISO standard E-LOTOS. More...

03/20/2008: Amaya, the new version 10.0 is available
editor/browser W3C. More...

04/10/2008: What's new for programming languages
Compcert : Formally verified C compiler for critical software

09/19/2007: What's new for scientific computing
LibMultiScale : a C++ parallel framework for the multiscale coupling methods dedicated to material simulations.

09/10//2007 : What's new for Real-time System
NETCARBENCH : Generator of parameterized automotive message sets.

09/03//2007 : What's new Proof Tools
CoLoR : Coq Library on Rewriting and termination;
Rainbow : termination proof certifier.

09/03//2007 : What's new for Programming Languages
JoCaml : Objective Caml plus (&) the join calculus (OCaml extended for concurrent and distributed programming).

09/03//2007 : What's new for Programming Languages
MOCA : a module generator for relational types

07/30/2007 : What's new for language tools
SALTO : A Retargetable System Assembly Language Transformation and Optimization

07/30/2007 : What's new for Image Processing
Virtual Retina : Biological Retina Simulation Software

05/02/2007 : What's new for document editions for the Web
Tralics - a LaTeX to XML translator

04/23/2007 : What's new for scientific computing
MITCNL : element-wise computations subroutines for the MITC shell elements

02/27/2007 : What's new for cooperation, collaboration, communication on Internet
Peerple : a peer-to-peer client for private sharing and backup of personnal data

11/15/2006
Scilab included in Mandriva Linux 2007. More ...

07/05/2006
MyCGR : Statistical analysis of biological sequences with Chaos Game Representation.

05/02/2006 : TOM, the new version is available
TOM is a pattern matching compiler which is particularly well-suited for programming various transformations on trees/terms and XML documents ... see.

04/07/2006 : Scilab, the new version is available
A more powerful graphic, an improved text editor, a more efficient Matlab to Scilab converter, and many improvements in numerical computation... such are the major changes of Scilab 4.0.

03/09/2006 : What's new for life sciences
GENEXP : A generating software of random agricultural landscapes for studying the dissemination of transgenic organisms

03/07/2006 : What's new for communicating systems
AVISPA : Release of a Tool for the Automatic Validation of Security Protocols

03/03/2006 : What's new for animation, simulation and virtual reality
FlowVR : a developpement and execution environment for high performance interactive applications ranging from virtual reality to scientific visualization

02/17/2006 : What's new for Parallelism and Distribution
Dynaco : a framework for making software components dynamically adaptable

02/15/2006 : What's new for communicating systems
MUSDAC : A middleware for MUlti-protocol Service Discovery and ACcess

01/19/2005 : What's new for programming languages and tools
Kermeta : Language and Model Driven Engineering workbench allowing to build DSL (Domain Specific Language) from executable metamodels

11/04/2005 : What's new for life sciences
TwaveLocation : T-wave location

10/14/2005 : What's new for communicating systems
EnSuite : Extended Netconf Suite

10/14/2005 : What's new for Tools for natural language
XMG : a tool for designing large scaled grammars for natural language