{"title":"The LAVI avionics development methodology","authors":"D. Beiser","doi":"10.1109/ICCSSE.1989.72726","DOIUrl":null,"url":null,"abstract":"An account is given for the methodology used for the development of the LAVI avionic system. The approach to system description and the definitions of system, state, process, and message and their relations are introduced. The recursive process of system description is explained, emphasizing the role of the control concept as part of the methodology.<<ETX>>","PeriodicalId":448488,"journal":{"name":"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering","volume":"192 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCSSE.1989.72726","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
An account is given for the methodology used for the development of the LAVI avionic system. The approach to system description and the definitions of system, state, process, and message and their relations are introduced. The recursive process of system description is explained, emphasizing the role of the control concept as part of the methodology.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
![[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
扫码关注我们
