{"title":"DbC中契约的方面化","authors":"Manish Jain","doi":"10.1109/ICCCT.2012.32","DOIUrl":null,"url":null,"abstract":"Contracts in Design by Contract (DbC) programming methodology are commonly considered as an example of crosscutting concerns that can be implemented using aspects in Aspect Oriented Programming (AOP). In this dissertation project, we try to examine this fact by writing several programs in DbC and then aspectizing the contracts therein. We verify whether the benefits offered by the DbC programming methodology are retained in the aspectized version of the programs. The DbC programs are written using Eiffel Studio and AOP equivalents are written using AspectJ. AspectJ is the most widely used standard for AOP.","PeriodicalId":235770,"journal":{"name":"2012 Third International Conference on Computer and Communication Technology","volume":"12 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Aspectization of Contracts in DbC\",\"authors\":\"Manish Jain\",\"doi\":\"10.1109/ICCCT.2012.32\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Contracts in Design by Contract (DbC) programming methodology are commonly considered as an example of crosscutting concerns that can be implemented using aspects in Aspect Oriented Programming (AOP). In this dissertation project, we try to examine this fact by writing several programs in DbC and then aspectizing the contracts therein. We verify whether the benefits offered by the DbC programming methodology are retained in the aspectized version of the programs. The DbC programs are written using Eiffel Studio and AOP equivalents are written using AspectJ. AspectJ is the most widely used standard for AOP.\",\"PeriodicalId\":235770,\"journal\":{\"name\":\"2012 Third International Conference on Computer and Communication Technology\",\"volume\":\"12 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-11-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2012 Third International Conference on Computer and Communication Technology\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICCCT.2012.32\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2012 Third International Conference on Computer and Communication Technology","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCCT.2012.32","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Contracts in Design by Contract (DbC) programming methodology are commonly considered as an example of crosscutting concerns that can be implemented using aspects in Aspect Oriented Programming (AOP). In this dissertation project, we try to examine this fact by writing several programs in DbC and then aspectizing the contracts therein. We verify whether the benefits offered by the DbC programming methodology are retained in the aspectized version of the programs. The DbC programs are written using Eiffel Studio and AOP equivalents are written using AspectJ. AspectJ is the most widely used standard for AOP.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
