{"title":"软件模型的处理操作分析","authors":"O. Chebanyuk","doi":"10.19080/RAPSCI.2018.06.555680","DOIUrl":null,"url":null,"abstract":"In order to develop such software tools, it is necessary to provide an analytical background for software models processing. This background is based on possibilities of analytical approaches, involved to software engineering fundamentals. Such approaches are logics of the first and second orders, predicate calculus, methods for analysis of some software development artifacts surface and many others.","PeriodicalId":357197,"journal":{"name":"Recent Advances in Petrochemical Science","volume":"107 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Analysis of Software Models’ Processing Operations\",\"authors\":\"O. Chebanyuk\",\"doi\":\"10.19080/RAPSCI.2018.06.555680\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In order to develop such software tools, it is necessary to provide an analytical background for software models processing. This background is based on possibilities of analytical approaches, involved to software engineering fundamentals. Such approaches are logics of the first and second orders, predicate calculus, methods for analysis of some software development artifacts surface and many others.\",\"PeriodicalId\":357197,\"journal\":{\"name\":\"Recent Advances in Petrochemical Science\",\"volume\":\"107 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-11-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Recent Advances in Petrochemical Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.19080/RAPSCI.2018.06.555680\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Recent Advances in Petrochemical Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.19080/RAPSCI.2018.06.555680","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Analysis of Software Models’ Processing Operations
In order to develop such software tools, it is necessary to provide an analytical background for software models processing. This background is based on possibilities of analytical approaches, involved to software engineering fundamentals. Such approaches are logics of the first and second orders, predicate calculus, methods for analysis of some software development artifacts surface and many others.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
