{"title":"A Formal Approach to Specify the Reflective Design of Software Components with Timing Constraints","authors":"Jing-ling Huang, Wei Zhang","doi":"10.1109/CISE.2009.5362973","DOIUrl":null,"url":null,"abstract":"In software engineering, formal software specification has long been touted as a way to increase the quality and reliability of software. At the same time, component-based development (CBD) is an important emerging topic, which aims to compose systems from prebuilt software units or components. How to formally represent the software components supporting the development of real-time application systems is the focus of this paper. For the purpose, this paper presents a reflective semantic model for real-time software component (RSM4RSC) as a formal approach to specify the reflective design of software components with timing constraints. Keywords-software engineering; software component; formal specification; reflection","PeriodicalId":135441,"journal":{"name":"2009 International Conference on Computational Intelligence and Software Engineering","volume":"35 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-12-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 International Conference on Computational Intelligence and Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CISE.2009.5362973","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
In software engineering, formal software specification has long been touted as a way to increase the quality and reliability of software. At the same time, component-based development (CBD) is an important emerging topic, which aims to compose systems from prebuilt software units or components. How to formally represent the software components supporting the development of real-time application systems is the focus of this paper. For the purpose, this paper presents a reflective semantic model for real-time software component (RSM4RSC) as a formal approach to specify the reflective design of software components with timing constraints. Keywords-software engineering; software component; formal specification; reflection
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
