{"id":123,"date":"2013-05-15T08:00:00","date_gmt":"2013-05-15T06:00:00","guid":{"rendered":"https:\/\/www.formalmind.com\/blog\/sysml-formal-semantics\/"},"modified":"2022-04-11T18:58:55","modified_gmt":"2022-04-11T16:58:55","slug":"sysml-formal-semantics","status":"publish","type":"post","link":"https:\/\/www.formalmind.com\/de\/blog\/sysml-formal-semantics\/","title":{"rendered":"Merken Sie sich den Termin vor: SysML, formale Semantik und ihre Anwendung im modellbasierten Testen (27. Mai 2013)"},"content":{"rendered":"

Formal Mind freut sich, Sie zu folgender Veranstaltung einladen zu d\u00fcrfen
\nProfessor Jan Peleska und Professor Wen-Ling Huang:<\/strong><\/p>\n

\n

SysML, formale Semantik und ihre Verwendung beim modellbasierten Testen<\/span><\/strong><\/p>\n

Montag, 27. Maith<\/sup>, 2013, 10:00-12:30<\/strong><\/p>\n

Universit\u00e4t D\u00fcsseldorf<\/strong><\/p>\n

Zimmer 25.12.2.55<\/strong><\/p>\n

Der Vortrag wird in deutscher Sprache gehalten. Die Teilnahme ist kostenlos.<\/p>\n

Nicht-Fakult\u00e4tsmitglieder, bitte melden Sie sich an bei info@formalmind.com<\/a><\/p>\n

\n

\"\"

Wir werden zeigen, wie man eine formale semantische Spezifikation f\u00fcr Echtzeit konstruiert und wie das Verhalten durch Blockoperationen und Zustandsautomaten ausgedr\u00fcckt werden kann. Diese Konstruktion f\u00fchrt zu einer \u00dcbergangsbeziehung, die diskrete Schritte in Nullzeit mit Verz\u00f6gerungen kombiniert und eine Echtzeitsemantik mit entweder dichter Zeit oder diskreter Zeit, synchroner oder verschachtelter Semantik erzeugt. Wir werden die praktische Anwendung der Konstruktion im modellbasierten Testen und Bounded Model Checking mit Hilfe des Werkzeugs RT-Tester demonstrieren, das von Verified Systems in Zusammenarbeit mit der Universit\u00e4t Bremen entwickelt wurde.<\/p>","protected":false},"excerpt":{"rendered":"

Formal Mind freut sich, Sie zu folgender Veranstaltung mit Professor Jan Peleska und Professor Wen-Ling Huang einzuladen: SysML, Formal Semantics and Their Uses in Model-Based Testing Montag, 27. Mai 2013, 10:00-12:30 Universit\u00e4t D\u00fcsseldorf Raum 25.12.2.55 Der Vortrag wird in deutscher Sprache gehalten. Die Teilnahme ist kostenlos. Nicht-Fakult\u00e4tsmitglieder melden sich bitte unter info@formalmind.com an...<\/p>","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"single-no-separators","format":"standard","meta":{"_kadence_starter_templates_imported_post":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_kad_post_classname":"","footnotes":""},"categories":[13],"tags":[],"class_list":["post-123","post","type-post","status-publish","format-standard","hentry","category-blog"],"_links":{"self":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/posts\/123","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/comments?post=123"}],"version-history":[{"count":0,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/posts\/123\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/media?parent=123"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/categories?post=123"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/tags?post=123"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}