Title :
The first proposal on objects and morphisms of the software evolution category
Author :
Szabo, Claudia ; Kotul´a, Maros ; Petrus, Richard
Author_Institution :
Dept. of Comput. & Inf., Tech. Univ. of Kosice, Košice, Slovakia
Abstract :
Category theory is a general tool, which can be used to express software engineering artifacts too. This paper focuses on two complementary artifacts: refactoring and evolution. The complementarity principle is explained as well as the generic picture on software evolution and refactoring are presented; the principles of symbolic execution are used in the equations of the proofs. Refactoring and evolution will be elements of the basic set of morphisms of the software evolution category, which is aimed to be the basis of a software evolution simulation model.
Keywords :
category theory; software maintenance; category theory; complementarity principle; evolution artifact; refactoring artifact; software engineering artifacts; software evolution category; software evolution simulation model; symbolic execution; Educational institutions; Electrical engineering; Informatics; Mathematical model; Software; Software engineering; Testing; category theory; incremental development; mor-phism; object; refactoring; software evolution; symbolic execution;
Conference_Titel :
Applied Machine Intelligence and Informatics (SAMI), 2014 IEEE 12th International Symposium on
Conference_Location :
Herl´any
Print_ISBN :
978-1-4799-3441-6
DOI :
10.1109/SAMI.2014.6822376
