{"id":1369,"date":"2022-10-17T12:05:01","date_gmt":"2022-10-17T12:05:01","guid":{"rendered":"http:\/\/www.cs.ubbcluj.ro\/~fca\/?page_id=1369"},"modified":"2022-10-17T12:25:03","modified_gmt":"2022-10-17T12:25:03","slug":"fca-software-engineering","status":"publish","type":"page","link":"https:\/\/www.cs.ubbcluj.ro\/research\/fca\/fca-software-engineering\/","title":{"rendered":"FCA & Software Engineering"},"content":{"rendered":"\n\n\n\n\n\n\n
\n

Formal Concept Analysis Model for Static Code Analysis<\/h2>\n<\/td>\n<\/tr>\n

\"\"<\/a><\/td>\n\"\"<\/a><\/td>\n\u00a0\"\"<\/a><\/td>\n<\/tr>\n
Students\u2019 assignments for the mid-term test: An overview over Pylint general message types
\nA) Show only exact matches<\/td>\n		Students\u2019 assignments for the mid-term test: An overview over Pylint general message types
\nB)Show all matches with highlight over a\u00a0concept<\/td>\n		\n
\n

Design checker criterion for assignment 4<\/span><\/p>\n

<\/div>\n<\/div>\n
<\/div>\n<\/td>\n<\/tr>\n
\u00a0\"\"<\/a><\/td>\n\u00a0\"\"<\/a><\/td>\n<\/td>\n<\/tr>\n
Prevent errors criterion for assignment 4<\/td>\nPrevent errors criterion for assignment 10<\/td>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n\n\n
\n

On the use of FCA models in static analysis tools to detect common errors in programming<\/h2>\n<\/td>\n<\/tr>\n

\"\"<\/a><\/td>\n\"\"<\/a><\/td>\n<\/td>\n<\/tr>\n
Increased code complexity of the source program, with focus on error codes R0912, R0914 and R0915, objects: students usernames, attributes: assignments<\/td>\nBad object oriented design for assignment A3. Objects: student usernames;
\nattributes: Pylint error codes; threshold: at least 4 occurrences of an error code<\/td>\n		<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"

Formal Concept Analysis Model for Static Code Analysis \u00a0 Students\u2019 assignments for the mid-term test: An overview over Pylint general message types A) Show only exact matches Students\u2019 assignments for the mid-term test: An overview over Pylint general message types B)Show all matches with highlight over a\u00a0concept Design checker criterion for assignment 4 \u00a0 \u00a0 … <\/p>\n

Continue reading “FCA & Software Engineering”<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1369","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.cs.ubbcluj.ro\/research\/fca\/wp-json\/wp\/v2\/pages\/1369","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.cs.ubbcluj.ro\/research\/fca\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.cs.ubbcluj.ro\/research\/fca\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.cs.ubbcluj.ro\/research\/fca\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.cs.ubbcluj.ro\/research\/fca\/wp-json\/wp\/v2\/comments?post=1369"}],"version-history":[{"count":5,"href":"https:\/\/www.cs.ubbcluj.ro\/research\/fca\/wp-json\/wp\/v2\/pages\/1369\/revisions"}],"predecessor-version":[{"id":1382,"href":"https:\/\/www.cs.ubbcluj.ro\/research\/fca\/wp-json\/wp\/v2\/pages\/1369\/revisions\/1382"}],"wp:attachment":[{"href":"https:\/\/www.cs.ubbcluj.ro\/research\/fca\/wp-json\/wp\/v2\/media?parent=1369"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}