The Community for Technology Leaders
RSS Icon
Subscribe
Tokyo
Sept. 18, 2006 to Sept. 22, 2006
ISBN: 0-7695-2579-2
pp: 359-360
Nad?ge PONTISSO , French Space Agency (CNES), France
David CHEMOUIL , 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
Nad?ge PONTISSO, David CHEMOUIL, "TOPCASED Combining Formal Methods with Model-Driven Engineering", ASE, 2006, Proceedings. 21st IEEE International Conference on Automated Software Engineering, Proceedings. 21st IEEE International Conference on Automated Software Engineering 2006, pp. 359-360, doi:10.1109/ASE.2006.68
58 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool