Dear Sir or Madam, My name is Jacob Moschallski and I am studying computer science at University of Furtwangen in Germany. At the moment I am writing my bachelor thesis on evaluation of the Topcased tool chain. I've edited all the tutorials I could find but I still do not really understand it at all. Therefore I have the following questions:
1. Is there a complete example project (not only parts of a project)? 2. Is there a description, which explains the whole process of creating a Topcased Project? 3. Do already TOPCASED evaluations exist? 4. How the verification runs exactly from SysML model to Tina toolbox? I hope you can support me in my work and I am looking forward to hear from you. Any kind of help is welcome to me. Best Regards Jacob Moschallski
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/cgi-bin/mailman/listinfo/topcased-users
