{"title":"PRISM语言文档生成器的设计与实现","authors":"H. Dworak","doi":"10.1109/DepCoS-RELCOMEX.2009.29","DOIUrl":null,"url":null,"abstract":"PRISM is a tool for formal modelling and analysis of systems which exhibit random or probabilistic behaviour. Having developed a documentation generator for its language, we explain the design and the corresponding implementation of our extension to PRISM. The paper consists of a study of the unobtrusive enhancements to the parser of the original code base in order to construct software analogous to Javadoc. On the basis of our findings, one could follow the same pattern to build similar tools for other specification or programming languages. Furthermore, we describe the resulting software, which can facilitate the research within the field of the dependability of computer systems.","PeriodicalId":185730,"journal":{"name":"2009 Fourth International Conference on Dependability of Computer Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"The Design and Implementation of a Documentation Generator for the PRISM Language\",\"authors\":\"H. Dworak\",\"doi\":\"10.1109/DepCoS-RELCOMEX.2009.29\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"PRISM is a tool for formal modelling and analysis of systems which exhibit random or probabilistic behaviour. Having developed a documentation generator for its language, we explain the design and the corresponding implementation of our extension to PRISM. The paper consists of a study of the unobtrusive enhancements to the parser of the original code base in order to construct software analogous to Javadoc. On the basis of our findings, one could follow the same pattern to build similar tools for other specification or programming languages. Furthermore, we describe the resulting software, which can facilitate the research within the field of the dependability of computer systems.\",\"PeriodicalId\":185730,\"journal\":{\"name\":\"2009 Fourth International Conference on Dependability of Computer Systems\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-06-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2009 Fourth International Conference on Dependability of Computer Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DepCoS-RELCOMEX.2009.29\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 Fourth International Conference on Dependability of Computer Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DepCoS-RELCOMEX.2009.29","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The Design and Implementation of a Documentation Generator for the PRISM Language
PRISM is a tool for formal modelling and analysis of systems which exhibit random or probabilistic behaviour. Having developed a documentation generator for its language, we explain the design and the corresponding implementation of our extension to PRISM. The paper consists of a study of the unobtrusive enhancements to the parser of the original code base in order to construct software analogous to Javadoc. On the basis of our findings, one could follow the same pattern to build similar tools for other specification or programming languages. Furthermore, we describe the resulting software, which can facilitate the research within the field of the dependability of computer systems.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
