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, Košice, Slovakia

fYear

2014

fDate

23-25 Jan. 2014

Firstpage

59

Lastpage

62

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/SAMI.2014.6822376

Filename

6822376