This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
21st IEEE International Conference on Automated Software Engineering (ASE'06)
TOPCASED Combining Formal Methods with Model-Driven Engineering
Tokyo, Japan
September 18-September 22
ISBN: 0-7695-2579-2
Nad?ge PONTISSO, French Space Agency (CNES), France
David CHEMOUIL, French Space Agency (CNES), France
This paper briefly presents the TOPCASED project which gathers industrialists, researchers, universities and SMEs, aiming at producing a free/open-source system/software/hardware-engineering toolkit, implemented over the Eclipse platform, using only standard components. An important aspect of TOPCASED is that it enables researchers to plug in their tools easily. TOPCASED is meant to be used on actual industrial projects and may therefore be considered as an important target by researchers working on formal methods and foundations of software engineering for critical systems.
Citation:
Nad?ge PONTISSO, David CHEMOUIL, "TOPCASED Combining Formal Methods with Model-Driven Engineering," ase, pp.359-360, 21st IEEE International Conference on Automated Software Engineering (ASE'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.