{"id":212,"date":"2024-05-31T11:17:23","date_gmt":"2024-05-31T11:17:23","guid":{"rendered":"https:\/\/rhubbit.it\/tecoleg\/?p=212"},"modified":"2024-07-10T10:07:30","modified_gmt":"2024-07-10T10:07:30","slug":"analysis-of-a-formal-model-for-social-groups","status":"publish","type":"post","link":"https:\/\/www.tecoleg.com\/en\/analysis-of-a-formal-model-for-social-groups\/","title":{"rendered":"Analysis of a Formal Model for Social GroupsConference ProceedingsAnalysis of a Formal Model for Social GroupsConference Proceedings"},"content":{"rendered":"<p><strong>Autori<\/strong>: <a href=\"https:\/\/tecoleg.devento.it\/tag\/covino\/\" data-type=\"post_tag\" data-id=\"13\">Emanuele Covino<\/a>, <a href=\"https:\/\/tecoleg.devento.it\/tag\/pani\/\" data-type=\"post_tag\" data-id=\"14\">Giovanni Pani<\/a><br>Pubblicato su: <a href=\"https:\/\/www.computer.org\/csdl\/proceedings-article\/trustcom\/2011\/06121029\/12OmNC2xhAy\" target=\"_blank\" rel=\"noreferrer noopener\">A Formal Approach for Modeling Interactives Visual Interfaces, 2022, pp. 1675-1683<\/a><\/p>\n\n\n\n<p>We provide a mathematical model that supports the formal description of visual interfaces&#8217; behaviour. The formalism is based on type-inference notation, in which each variable is defined in the domain of the interface basic widgets, and each transition from a given state of the interface to the following one is represented by the application of an inference rule. When a sequence of actions is made by the user, the behaviour of the corresponding interface is totally defined by the set of inference rules. This formalism allows the designer to formally verify the properties of the interface.<br><\/p>","protected":false},"excerpt":{"rendered":"<p>Autori: Emanuele Covino, Giovanni PaniPubblicato su: A Formal Approach for Modeling Interactives Visual Interfaces, 2022, pp. 1675-1683 We provide a mathematical model that supports the formal description of visual interfaces&#8217; behaviour. The formalism is based on type-inference notation, in which each variable is defined in the domain of the interface basic widgets, and each transition [&hellip;]<\/p>","protected":false},"author":1,"featured_media":213,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[7],"tags":[13,14],"class_list":["post-212","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-pubblicazioni","tag-covino","tag-pani"],"_links":{"self":[{"href":"https:\/\/www.tecoleg.com\/en\/wp-json\/wp\/v2\/posts\/212","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.tecoleg.com\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.tecoleg.com\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.tecoleg.com\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.tecoleg.com\/en\/wp-json\/wp\/v2\/comments?post=212"}],"version-history":[{"count":3,"href":"https:\/\/www.tecoleg.com\/en\/wp-json\/wp\/v2\/posts\/212\/revisions"}],"predecessor-version":[{"id":331,"href":"https:\/\/www.tecoleg.com\/en\/wp-json\/wp\/v2\/posts\/212\/revisions\/331"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.tecoleg.com\/en\/wp-json\/wp\/v2\/media\/213"}],"wp:attachment":[{"href":"https:\/\/www.tecoleg.com\/en\/wp-json\/wp\/v2\/media?parent=212"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.tecoleg.com\/en\/wp-json\/wp\/v2\/categories?post=212"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.tecoleg.com\/en\/wp-json\/wp\/v2\/tags?post=212"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}