{"title":"交互式系统的实用表格规范方法","authors":"Xiuna Zhu","doi":"10.1109/ICNDC.2013.37","DOIUrl":null,"url":null,"abstract":"The need for a multi-format specification method with unambiguous, easy-to-understand, and easy-to-validate notation is widely recognized. In many years, presenting specifications by diagrams or tables is considered a significant help. In this paper, we focus on the tabular specification method for the multifunctional systems. We introduce a pragmatic tabular specification framework for interactive systems, i.e., formal specification method using tabular method on FOCUS framework. The proposed framework can not only supply a method to specify the systems in an effective way, but can also analyze the properties of the specified system, and eliminate ambiguity in the initial requirement documents.","PeriodicalId":152234,"journal":{"name":"2013 Fourth International Conference on Networking and Distributed Computing","volume":"28 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Pragmatic Tabular Specification Method for Interactive Systems\",\"authors\":\"Xiuna Zhu\",\"doi\":\"10.1109/ICNDC.2013.37\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The need for a multi-format specification method with unambiguous, easy-to-understand, and easy-to-validate notation is widely recognized. In many years, presenting specifications by diagrams or tables is considered a significant help. In this paper, we focus on the tabular specification method for the multifunctional systems. We introduce a pragmatic tabular specification framework for interactive systems, i.e., formal specification method using tabular method on FOCUS framework. The proposed framework can not only supply a method to specify the systems in an effective way, but can also analyze the properties of the specified system, and eliminate ambiguity in the initial requirement documents.\",\"PeriodicalId\":152234,\"journal\":{\"name\":\"2013 Fourth International Conference on Networking and Distributed Computing\",\"volume\":\"28 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-12-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 Fourth International Conference on Networking and Distributed Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICNDC.2013.37\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 Fourth International Conference on Networking and Distributed Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICNDC.2013.37","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Pragmatic Tabular Specification Method for Interactive Systems
The need for a multi-format specification method with unambiguous, easy-to-understand, and easy-to-validate notation is widely recognized. In many years, presenting specifications by diagrams or tables is considered a significant help. In this paper, we focus on the tabular specification method for the multifunctional systems. We introduce a pragmatic tabular specification framework for interactive systems, i.e., formal specification method using tabular method on FOCUS framework. The proposed framework can not only supply a method to specify the systems in an effective way, but can also analyze the properties of the specified system, and eliminate ambiguity in the initial requirement documents.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
