{"title":"Top-down development of real-time software specification","authors":"Jyhjong Lin, D. Kung, P. Hsia","doi":"10.1109/HASE.1996.618608","DOIUrl":null,"url":null,"abstract":"Top down development has been well known to manage the complexity of characterizing large systems. The paper presents a top down object oriented approach to formal specification of real time software which is often large and complex for modern real time applications. The method creates an abstract object interaction model to describe objects in the application domain and their structure and behavior. An object specification model is then derived from the object interaction model to formally specify the objects. The method is applied to a simple illustrative example, the specification of a real time house heating system.","PeriodicalId":129829,"journal":{"name":"Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HASE.1996.618608","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
Top down development has been well known to manage the complexity of characterizing large systems. The paper presents a top down object oriented approach to formal specification of real time software which is often large and complex for modern real time applications. The method creates an abstract object interaction model to describe objects in the application domain and their structure and behavior. An object specification model is then derived from the object interaction model to formally specify the objects. The method is applied to a simple illustrative example, the specification of a real time house heating system.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
