{"title":"复合命题:支持系统属性的形式化规范","authors":"O. Mondragon, Ann Q. Gates, Steve Roach","doi":"10.1109/SEW.2002.1199451","DOIUrl":null,"url":null,"abstract":"Formal specification and analysis of software properties can be useful in reducing the number of errors in production software. More intuitive methods of specifying constraints and system properties are needed so that developers and other stakeholders can participate in validation of formal software requirements. This work introduces composite propositions, a set of abstractions that define the relations between sets of conditions or events, and it is directed at making the specification of common temporal properties accessible to practitioners and clients. Composite propositions can be used with response formulas to describe concurrent behavior such as concurrency, synchronization, and nondeterminism. Composite propositions assist in the elicitation and validation of properties facilitating the integration of formal approaches into the software development lifecycle.","PeriodicalId":146269,"journal":{"name":"27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2002-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Composite propositions: toward support for formal specification of system properties\",\"authors\":\"O. Mondragon, Ann Q. Gates, Steve Roach\",\"doi\":\"10.1109/SEW.2002.1199451\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Formal specification and analysis of software properties can be useful in reducing the number of errors in production software. More intuitive methods of specifying constraints and system properties are needed so that developers and other stakeholders can participate in validation of formal software requirements. This work introduces composite propositions, a set of abstractions that define the relations between sets of conditions or events, and it is directed at making the specification of common temporal properties accessible to practitioners and clients. Composite propositions can be used with response formulas to describe concurrent behavior such as concurrency, synchronization, and nondeterminism. Composite propositions assist in the elicitation and validation of properties facilitating the integration of formal approaches into the software development lifecycle.\",\"PeriodicalId\":146269,\"journal\":{\"name\":\"27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings.\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-12-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SEW.2002.1199451\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEW.2002.1199451","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Composite propositions: toward support for formal specification of system properties
Formal specification and analysis of software properties can be useful in reducing the number of errors in production software. More intuitive methods of specifying constraints and system properties are needed so that developers and other stakeholders can participate in validation of formal software requirements. This work introduces composite propositions, a set of abstractions that define the relations between sets of conditions or events, and it is directed at making the specification of common temporal properties accessible to practitioners and clients. Composite propositions can be used with response formulas to describe concurrent behavior such as concurrency, synchronization, and nondeterminism. Composite propositions assist in the elicitation and validation of properties facilitating the integration of formal approaches into the software development lifecycle.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
