{"title":"对状态图中指定的需求进行分析的能力","authors":"Bonnie E. Melhart, N. Leveson, M. Jaffe","doi":"10.1145/75199.75215","DOIUrl":null,"url":null,"abstract":"This paper considers various types of analysis that are possible for formal requirements specifications in the ;Statecharts language. The application of recently developed criteria for completeness analysis of embedded systems requirements to specifications in Statecharts is discussed, in particular. Additions for the language that will enable such analysis are indicated.","PeriodicalId":435917,"journal":{"name":"International Workshop on Software Specification and Design","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Analysis capabilities for requirements specified in statecharts\",\"authors\":\"Bonnie E. Melhart, N. Leveson, M. Jaffe\",\"doi\":\"10.1145/75199.75215\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper considers various types of analysis that are possible for formal requirements specifications in the ;Statecharts language. The application of recently developed criteria for completeness analysis of embedded systems requirements to specifications in Statecharts is discussed, in particular. Additions for the language that will enable such analysis are indicated.\",\"PeriodicalId\":435917,\"journal\":{\"name\":\"International Workshop on Software Specification and Design\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-04-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Workshop on Software Specification and Design\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/75199.75215\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Workshop on Software Specification and Design","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/75199.75215","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Analysis capabilities for requirements specified in statecharts
This paper considers various types of analysis that are possible for formal requirements specifications in the ;Statecharts language. The application of recently developed criteria for completeness analysis of embedded systems requirements to specifications in Statecharts is discussed, in particular. Additions for the language that will enable such analysis are indicated.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
