{"id":1011,"date":"2014-05-20T08:00:00","date_gmt":"2014-05-20T06:00:00","guid":{"rendered":"https:\/\/www.formalmind.com\/blog\/rodin-handbook-now-available-print\/"},"modified":"2022-04-11T18:58:55","modified_gmt":"2022-04-11T16:58:55","slug":"rodin-handbook-now-available-print","status":"publish","type":"post","link":"https:\/\/www.formalmind.com\/de\/blog\/rodin-handbook-now-available-print\/","title":{"rendered":"Rodin-Handbuch jetzt in gedruckter Form erh\u00e4ltlich"},"content":{"rendered":"<h2><a href=\"http:\/\/www.amazon.de\/gp\/product\/1495438147\/ref=as_li_tf_tl?ie=UTF8&amp;camp=1638&amp;creative=6742&amp;creativeASIN=1495438147&amp;linkCode=as2&amp;tag=jastramde-21\" target=\"_blank\" rel=\"noopener\"><img class=\"lazyload\" data-src=\"\/sites\/files\/rodin-handbook-buy.png\" decoding=\"async\" alt=\"\" src=\"data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\" style=\"width: 249px; height: 128px; float: right;\"><noscript><img decoding=\"async\" alt=\"\" src=\"\/sites\/files\/rodin-handbook-buy.png\" style=\"width: 249px; height: 128px; float: right;\"><\/noscript><\/a><\/h2>\n<p>Vor einiger Zeit unterst\u00fctzten wir das EU-Projekt Deploy und produzierten eine <a href=\"https:\/\/www.formalmind.com\/de\/production-rodin-handbook\/\">Handbuch f\u00fcr die Rodin-Plattform<\/a>, ein Werkzeug zur Erstellung formaler Spezifikationen mit der Event-B-Methode. Dieses Buch war ein gro\u00dfer Erfolg, aber nur elektronisch verf\u00fcgbar (kostenlos, unter einer Creative Commons Lizenz).<\/p>\n<p>Aufgrund der hohen Nachfrage, insbesondere von Universit\u00e4ten, die formale Methoden lehren, haben wir uns entschlossen, eine gedruckte Version des Handbuchs zu erstellen. Wir freuen uns, die Verf\u00fcgbarkeit des Rodin Handbuchs in gedruckter Form bekannt zu geben \u2013 Sie k\u00f6nnen <a href=\"http:\/\/www.amazon.de\/gp\/product\/1495438147\/ref=as_li_tf_tl?ie=UTF8&amp;camp=1638&amp;creative=6742&amp;creativeASIN=1495438147&amp;linkCode=as2&amp;tag=jastramde-21\" target=\"_blank\" rel=\"noopener\">kaufen Sie Ihr Exemplar bei Amazon<\/a> \u2013 nat\u00fcrlich, <a href=\"http:\/\/handbook.event-b.org\/current\/html\/\" target=\"_blank\" rel=\"noopener\">Die elektronische Version wird immer kostenlos sein<\/a>.<!--break--><\/p>\n<h2>Was ist Rodin und warum sollte es mir wichtig sein?<\/h2>\n<p>Rodin ist ein Open-Source-Softwarewerkzeug zum Schreiben <em>Formale Spezifikationen<\/em>.Eine formale Spezifikation nutzt eine formale Notation anstelle nat\u00fcrlicher Sprache, um zu beschreiben, was gebaut werden muss. Zun\u00e4chst einmal, macht dies die Sache schwieriger: Benutzer m\u00fcssen lernen, die Sprache zu lesen und zu schreiben. Aber sobald diese H\u00fcrde \u00fcberwunden ist, ist das Ergebnis m\u00e4chtiger als Text: Eine formale Spezifikation erm\u00f6glicht es Ihnen:<\/p>\n<ul>\n<li>\u00dcberpr\u00fcfen Sie automatisch, ob Ihre Spezifikation konsistent ist. Widerspr\u00fcche werden zuverl\u00e4ssig erkannt.<\/li>\n<li>Beschreiben Sie Ihr System auf einer hohen, abstrakten Ebene und verwenden Sie <em>Verfeinerung<\/em> eine konkrete Implementierung zu erstellen<\/li>\n<li>\u00dcberpr\u00fcfen Sie automatisch, ob Ihre Implementierung mit Ihrer Spezifikation \u00fcbereinstimmt.<\/li>\n<li>Animieren oder visualisieren Sie Ihre Spezifikation, auch wenn diese abstrakt ist.<\/li>\n<li>Generieren Sie Tests aus Ihren Modellen oder sogar ausf\u00fchrbaren Code.<\/li>\n<\/ul>\n<p>Dar\u00fcber hinaus empfehlen oder fordern viele Standards f\u00fcr die Entwicklung sicherheitskritischer Systeme, wie die IEC 61508 oder die ISO 26262, die Verwendung von formalen Methoden., <a href=\"https:\/\/www.formalmind.com\/en\/blog\/if-you-need-comply-iso-26262-iec-61508-or-similar-standards-you-may-need-work-more-formal\">wie wir zuvor berichtet haben<\/a>.<\/p>\n<h2>Event-B im Vergleich zu anderen Modellierungssprachen<\/h2>\n<p>Event-B ist die formale Sprache, die von Rodin unterst\u00fctzt wird. Es ist eine textuelle Sprache und kann sehr einsch\u00fcchternd sein. Die meisten Menschen finden semi-formale Sprachen wie UML oder SysML zug\u00e4nglicher \u2013 aber diese Sprachen sind auch weniger m\u00e4chtig. Event-B zeigt sehr gut, wozu formale Sprachen f\u00e4hig sind, vom Theorembeweis bis zur Codegenerierung. Daher empfehlen wir Event-B und Rodin, um formale Methoden zu erlernen.&nbsp;<\/p>\n<p>Rodin nutzt auch das Eclipse-\u00d6kosystem. Unter vielen anderen Erweiterungen haben wir eine <a href=\"https:\/\/www.formalmind.com\/en\/blog\/using-rmf-integrate-your-models\">Integration mit ProR f\u00fcr Anforderungstransparenz<\/a>.<\/p>\n<h2><img class=\"lazyload\" data-src=\"\/sites\/files\/blog\/tut_10_search_hyp.png\" decoding=\"async\" alt=\"\" src=\"data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\" style=\"width: 230px; height: 140px; float: right;\"><noscript><img decoding=\"async\" alt=\"\" src=\"\/sites\/files\/blog\/tut_10_search_hyp.png\" style=\"width: 230px; height: 140px; float: right;\"><\/noscript>Crashkurs in Formalen Methoden<\/h2>\n<p>Wenn Sie formale Methoden verstehen m\u00fcssen, ist das Rodin-Handbuch ein guter Ausgangspunkt:<\/p>\n<ul>\n<li>Das Buch erfordert keine Vorkenntnisse \u00fcber formale Methoden, nur etwas grundlegende Mathematik.<\/li>\n<li>Es enth\u00e4lt eine detaillierte Anleitung, die Sie Schritt f\u00fcr Schritt durch den Aufbau Ihrer ersten formalen Modelle f\u00fchrt.<\/li>\n<li>Durch die Befolgung des Tutorials und die Nutzung des kostenlosen Rodin-Tools erhalten Sie praktische Erfahrung mit formalen Methoden.<\/li>\n<li>Das Tutorial kann in wenigen Tagen abgeschlossen werden, danach sollten Sie ein solides Verst\u00e4ndnis f\u00fcr das Thema haben.<\/li>\n<li>Die umfangreichen Referenz- und FAQ-Abschnitte des Buches decken alle Aspekte ab, die Ihnen beim Verfassen Ihrer eigenen formalen Spezifikationen begegnen k\u00f6nnen.<\/li>\n<li>Wenn Sie sich entscheiden, andere formale oder semi-formale Modellierungssprachen zu evaluieren, bietet Ihnen Event-B eine solide Messlatte.<\/li>\n<\/ul>\n<h2>Schulung verf\u00fcgbar<\/h2>\n<p>Schlie\u00dflich bieten wir professionelle Schulungen zu Formalen Methoden im Allgemeinen sowie zu Rodin und Event-B im Besonderen an. Bitte <a href=\"https:\/\/www.formalmind.com\/de\/contact\/\" target=\"_blank\" rel=\"noopener\">Kontaktieren Sie uns<\/a> falls das f\u00fcr Sie von Interesse ist.<\/p>","protected":false},"excerpt":{"rendered":"<p>Vor einiger Zeit unterst\u00fctzten wir das EU-Projekt Deploy und erstellten ein Handbuch f\u00fcr die Rodin-Plattform, ein Werkzeug zur Erstellung formaler Spezifikationen mit der Event-B-Methode.  Dieses Buch war ein gro\u00dfer Erfolg, aber nur elektronisch verf\u00fcgbar (kostenlos, lizenziert unter einer Creative-Commons-Lizenz). Aufgrund der hohen Nachfrage, insbesondere von Universit\u00e4ten, die formale...<\/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-1011","post","type-post","status-publish","format-standard","hentry","category-blog"],"_links":{"self":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/posts\/1011","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=1011"}],"version-history":[{"count":0,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/posts\/1011\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/media?parent=1011"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/categories?post=1011"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.formalmind.com\/de\/wp-json\/wp\/v2\/tags?post=1011"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}