Title :
Software engineering tasks instrumentation by category theory
Author :
Szabo, Cs ; Slodicak, V.
Author_Institution :
Dept. of Comput. & Inf., Tech. Univ. of Kosice, Košice, Slovakia
Abstract :
This paper includes a contribution to explaining category theory using software engineering tasks and vice versa. First, basics of category theory are presented. A couple of examples follow including definitions of categories for web services and/or ones that use 2D/3D points as objects and computer graphics transformations as morphisms. Another category is shown for software testing area. The last example is illustrated by Java source code showing applicability of the approach in building real program systems. The paper ends by a conclusion including discussion about future work and research directions.
Keywords :
Java; Web services; category theory; computer graphics; program testing; software engineering; task analysis; Java source code; Web service; category theory; computer graphics transformation; morphism; real program system; software engineering tasks instrumentation; software testing; Instruments; Java; Semantics; Software engineering; Software testing; Three dimensional displays; Web services;
Conference_Titel :
Applied Machine Intelligence and Informatics (SAMI), 2011 IEEE 9th International Symposium on
Conference_Location :
Smolenice
Print_ISBN :
978-1-4244-7429-5
DOI :
10.1109/SAMI.2011.5738874