{"id":219,"date":"2020-05-27T09:19:51","date_gmt":"2020-05-27T09:19:51","guid":{"rendered":"http:\/\/www.cs.ubbcluj.ro\/from2020\/?page_id=219"},"modified":"2020-05-27T10:18:48","modified_gmt":"2020-05-27T10:18:48","slug":"about-the-software-engineering-group","status":"publish","type":"page","link":"https:\/\/www.cs.ubbcluj.ro\/from2020\/about-the-software-engineering-group\/","title":{"rendered":"Software Engineering Group"},"content":{"rendered":"\n<p class=\"has-text-align-left\">Interests of the Software Engineering research group include:<\/p>\n\n\n\n<div class=\"wp-block-image\"><figure class=\"alignright size-large is-resized\"><img loading=\"lazy\" src=\"http:\/\/www.cs.ubbcluj.ro\/from2020\/wp-content\/uploads\/2020\/05\/imageSE.jpg\" alt=\"\" class=\"wp-image-238\" width=\"180\" height=\"143\"\/><\/figure><\/div>\n\n\n\n<ul><li>Program Analysis and Verification: formal mechanisms (such as Session Logic, K-framework) applied to specify and verify different program properties. <\/li><li>Software Quality: studies related to evaluation and estimation of software quality factors in large applications and in different versions, and their relation to object oriented metrics.  <\/li><li>Model Driven Engineering: studies related to Executable Models and their specification language (fUML) and their impact on software <\/li><li>Component Based Software Engineering: deals with developing software as a composition of various third party components. Our studies address problems such as: component selection, constraint based configuration of components and different optimizations.  development.  <\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Interests of the Software Engineering research group include: Program Analysis and Verification: formal mechanisms (such as Session Logic, K-framework) applied&hellip; <\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/pages\/219"}],"collection":[{"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/comments?post=219"}],"version-history":[{"count":12,"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/pages\/219\/revisions"}],"predecessor-version":[{"id":248,"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/pages\/219\/revisions\/248"}],"wp:attachment":[{"href":"https:\/\/www.cs.ubbcluj.ro\/from2020\/wp-json\/wp\/v2\/media?parent=219"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}