Recent pages

Edit
page

New
page

Print
page
Page last modified 13:22, 7 Dec 2009 by benoit.ries
0
Page Notifications Off
LASSY > Projects

Projects

From $1

Table of contents
No headers

Current LASSY research projects are :

  • REACT: Software product line for crisis management systems
     
  • SETER: SEcurity TEsting of Resilient Systems
     
  • SPLIT: Combine Software Product Line and Aspect-Oriented Software Development
     
  • VERITY: VERIfication of fault-tolerant advanced Transactional distributed sYstems
     
  • SPLACID: A Formal Approach for Specification and Verification of an Advanced Transactional Frameworks Product Line for Dependable Distributed Systems Engineering
     
  • DT4BP: A Model Driven Approach for Modelling Dependable Time-Constrained Business Processes
     

 

Tags:
Attach file or image
Files (0)
 
Images (0)
 
Comments (0)
You must login to post a comment.

 
Powered by MindTouch Enterprise 2009