{"id":2431,"date":"2012-04-18T07:41:56","date_gmt":"2012-04-18T05:41:56","guid":{"rendered":"http:\/\/www.foerderverein-technische-fakultaet.at\/?p=2431"},"modified":"2013-01-23T23:57:55","modified_gmt":"2013-01-23T21:57:55","slug":"comprehension-techniken-am-beispiel-formaler-z-spezifikationen","status":"publish","type":"post","link":"https:\/\/www.ftf.or.at\/?p=2431","title":{"rendered":"Comprehension-Techniken am Beispiel formaler Z-Spezifikationen"},"content":{"rendered":"<p><strong><a href=\"http:\/\/www.foerderverein-technische-fakultaet.at\/wp-content\/uploads\/2012\/03\/Bollin.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"alignright size-thumbnail wp-image-2433\" title=\"Bollin\" src=\"http:\/\/www.foerderverein-technische-fakultaet.at\/wp-content\/uploads\/2012\/03\/Bollin-150x150.jpg\" alt=\"\" width=\"150\" height=\"150\" \/><\/a>Abstract<\/strong>: Zuverl\u00e4ssigkeit und Stabilit\u00e4t spielen in den heutigen, Software-lastigen Systemen eine immer entscheidendere Rolle. Die Verwendung formaler Spezifikationen ist naheliegend, jedoch gilt es dabei auch Hindernisse zu \u00fcberwinden. Einerseits sind nicht alle an einem Projekt Beteiligten mit der Notation vertraut und andererseits f\u00fchrt die mathematisch dichte Notation zu einer hohen Komplexit\u00e4t, welche gro\u00dfe Spezifikationen schwer verst\u00e4ndlich und damit auch schwer wartbar macht.<\/p>\n<p>Der Vortrag ist in drei Teile gegliedert und geht dabei auf die oben genannten Hindernisse ein. Im ersten Teil geht es um die Transformation von Spezifikationen in alternative, graphische Darstellungsformen, im zweiten Teil um Techniken die die Komplexit\u00e4t verringern helfen und das Verstehen von Spezifikationen f\u00f6rdern. Der Vortrag schlie\u00dft mit der Vorstellung von Metriken, welche den Entwicklern helfen die Qualit\u00e4t einer Spezifikation abzusch\u00e4tzen und helfen der Alterung von Spezifikationen entgegenzuwirken.<\/p>\n<p><strong>Keywords<\/strong>: Formale Spezifikationen, Komplexit\u00e4t, Visualisierung,\u00a0UML<\/p>\n<p><strong>CV<\/strong>:\u00a0Andreas Bollin ist Assistenz-Professor am Institut f\u00fcr Informatik- Systeme (Abteilung Software Engineering and Soft Computing) der Alpen-Adria Universit\u00e4t Klagenfurt. Seine Forschungsschwerpunkte sind Software Comprehension und Reverse Engineering, Formale Methoden, Multimedia-Systeme und Informatik-Didaktik. Er ist Mitglied der IEEE Computer Society und ein Mitglied von ACM.\u00a0Sie erreichen ihn unter <a href=\"mailto:andi@isys.uni-klu.ac.at\">andi@isys.uni-klu.ac.at<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Abstract: Zuverl\u00e4ssigkeit und Stabilit\u00e4t spielen in den heutigen, Software-lastigen Systemen eine immer entscheidendere Rolle. Die Verwendung formaler Spezifikationen ist naheliegend, jedoch gilt es dabei auch Hindernisse zu \u00fcberwinden. Einerseits sind nicht alle an einem Projekt Beteiligten mit der Notation vertraut &hellip; <a href=\"https:\/\/www.ftf.or.at\/?p=2431\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"sfsi_plus_gutenberg_text_before_share":"","sfsi_plus_gutenberg_show_text_before_share":"","sfsi_plus_gutenberg_icon_type":"","sfsi_plus_gutenberg_icon_alignemt":"","sfsi_plus_gutenburg_max_per_row":"","footnotes":""},"categories":[1],"tags":[143,144,146,145],"class_list":["post-2431","post","type-post","status-publish","format-standard","hentry","category-tewi-kolloquium","tag-formale-spezifikationen","tag-komplexitat","tag-uml","tag-visualisierung"],"_links":{"self":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts\/2431","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2431"}],"version-history":[{"count":7,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts\/2431\/revisions"}],"predecessor-version":[{"id":2447,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts\/2431\/revisions\/2447"}],"wp:attachment":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2431"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2431"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2431"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}