软件工程任务通过范畴理论进行仪表化

2011 IEEE 9th International Symposium on Applied Machine Intelligence and Informatics (SAMI) Pub Date : 2011-03-24 DOI:10.1109/SAMI.2011.5738874

Cs. Szabo, V. Slodicák

{"title":"软件工程任务通过范畴理论进行仪表化","authors":"Cs. Szabo, V. Slodicák","doi":"10.1109/SAMI.2011.5738874","DOIUrl":null,"url":null,"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.","PeriodicalId":202398,"journal":{"name":"2011 IEEE 9th International Symposium on Applied Machine Intelligence and Informatics (SAMI)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"10","resultStr":"{\"title\":\"Software engineering tasks instrumentation by category theory\",\"authors\":\"Cs. Szabo, V. Slodicák\",\"doi\":\"10.1109/SAMI.2011.5738874\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":202398,\"journal\":{\"name\":\"2011 IEEE 9th International Symposium on Applied Machine Intelligence and Informatics (SAMI)\",\"volume\":\"19 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-03-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"10\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 IEEE 9th International Symposium on Applied Machine Intelligence and Informatics (SAMI)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SAMI.2011.5738874\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 IEEE 9th International Symposium on Applied Machine Intelligence and Informatics (SAMI)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SAMI.2011.5738874","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 10

摘要

本文包括了用软件工程任务解释范畴论的贡献，反之亦然。首先，介绍范畴论的基础。下面的几个例子包括web服务和/或使用2D/3D点作为对象和使用计算机图形转换作为形态的服务的类别定义。另一个类别显示为软件测试领域。最后一个示例用Java源代码说明了该方法在构建实际程序系统中的适用性。最后，对全文进行了总结，并对今后的工作和研究方向进行了讨论。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Software engineering tasks instrumentation by category theory

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2011 IEEE 9th International Symposium on Applied Machine Intelligence and Informatics (SAMI)

自引率

0.00%

发文量