The Community for Technology Leaders
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2006)
Tokyo, Japan
Sept. 18, 2006 to Sept. 22, 2006
ISSN: 1527-1366
ISBN: 0-7695-2579-2
pp: 359-360
David CHEMOUIL , French Space Agency (CNES), France
Nad?ge PONTISSO , French Space Agency (CNES), France
ABSTRACT
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.
INDEX TERMS
null
CITATION
David CHEMOUIL, Nad?ge PONTISSO, "TOPCASED Combining Formal Methods with Model-Driven Engineering", 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), vol. 00, no. , pp. 359-360, 2006, doi:10.1109/ASE.2006.68
107 ms
(Ver )