{"title":"规范片段的效率","authors":"A. Bollin","doi":"10.1109/WCRE.2004.36","DOIUrl":null,"url":null,"abstract":"Formal specifications are valid sources for comprehension tasks when used during later development phases. However, the linguistic density of specification languages and the size of specifications can still be seen as an obstacle against comprehension activities. This work presents an approach for the identification of fragments of Z specifications with a well defined semantic content. These fragments, specification chunks and specification slices, are analyzed in respect to their efficiency when used during typical comprehension tasks.","PeriodicalId":443491,"journal":{"name":"11th Working Conference on Reverse Engineering","volume":"43 2 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"The efficiency of specification fragments\",\"authors\":\"A. Bollin\",\"doi\":\"10.1109/WCRE.2004.36\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Formal specifications are valid sources for comprehension tasks when used during later development phases. However, the linguistic density of specification languages and the size of specifications can still be seen as an obstacle against comprehension activities. This work presents an approach for the identification of fragments of Z specifications with a well defined semantic content. These fragments, specification chunks and specification slices, are analyzed in respect to their efficiency when used during typical comprehension tasks.\",\"PeriodicalId\":443491,\"journal\":{\"name\":\"11th Working Conference on Reverse Engineering\",\"volume\":\"43 2 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-11-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"11th Working Conference on Reverse Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WCRE.2004.36\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"11th Working Conference on Reverse Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WCRE.2004.36","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Formal specifications are valid sources for comprehension tasks when used during later development phases. However, the linguistic density of specification languages and the size of specifications can still be seen as an obstacle against comprehension activities. This work presents an approach for the identification of fragments of Z specifications with a well defined semantic content. These fragments, specification chunks and specification slices, are analyzed in respect to their efficiency when used during typical comprehension tasks.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
