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
