Dear Sir or Madam, I know the ThinkSysML site and I have already made the tutorials from there. The problem I have isn't to create a SysML Model, but rather to verify such a Model. Also the generation of Code is not clear at all, but I think I am on a good way to implement the generation of code. So the verification is the big problem on my work. I would be glad about help in this direction.
Best Regards Jacob Moschallski -----Ursprüngliche Nachricht----- Von: [email protected] [mailto:[email protected]] Im Auftrag von Topcased user list where issues are discussed Gesendet: Dienstag, 8. April 2014 16:09 An: [email protected] Betreff: Re: [Topcased-users] Topcased-users Digest, Vol 98, Issue 2 www.thinksysml.org might help -----Original Message----- From: [email protected] [mailto:[email protected]] On Behalf Of [email protected] Sent: Tuesday, April 08, 2014 3:00 AM To: [email protected] Subject: Topcased-users Digest, Vol 98, Issue 2 Send Topcased-users mailing list submissions to [email protected] To subscribe or unsubscribe via the World Wide Web, visit http://lists.gforge.enseeiht.fr/cgi-bin/mailman/listinfo/topcased-users or, via email, send a message with subject or body 'help' to [email protected] You can reach the person managing the list at [email protected] When replying, please edit your Subject line so it is more specific than "Re: Contents of Topcased-users digest..." Today's Topics: 1. General support issues (Topcased user list where issues are discussed) ---------------------------------------------------------------------- Message: 1 Date: Mon, 7 Apr 2014 14:23:48 +0000 From: Topcased user list where issues are discussed <[email protected]> To: "[email protected]" <[email protected]> Subject: [Topcased-users] General support issues Message-ID: <mailman.15.1396880761.4719.topcased-us...@lists.gforge.enseeiht.fr> Content-Type: text/plain; charset="us-ascii" 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.enseeiht.fr/pipermail/topcased-users/attachments/201404 07/a6602887/attachment-0001.html> ------------------------------ _______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/cgi-bin/mailman/listinfo/topcased-users End of Topcased-users Digest, Vol 98, Issue 2 ********************************************* _______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/cgi-bin/mailman/listinfo/topcased-users _______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/cgi-bin/mailman/listinfo/topcased-users
