{"title":"管理实时响应系统的复杂性","authors":"V. Alagar, O. Ormandjieva, M. Zheng","doi":"10.1109/ICECCS.2000.873924","DOIUrl":null,"url":null,"abstract":"The paper discusses complexity categories associated with the phases of a process model that is followed in a rigorous development of real time reactive systems. We describe the complexity that is inherent in each phase and give measures to quantify it and methods to contain it. One of the goals of the work is to automate the measurement methods and integrate them into TROMLAB, a rigorous framework for the development of real time reactive systems.","PeriodicalId":228728,"journal":{"name":"Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Managing complexity in real-time reactive systems\",\"authors\":\"V. Alagar, O. Ormandjieva, M. Zheng\",\"doi\":\"10.1109/ICECCS.2000.873924\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The paper discusses complexity categories associated with the phases of a process model that is followed in a rigorous development of real time reactive systems. We describe the complexity that is inherent in each phase and give measures to quantify it and methods to contain it. One of the goals of the work is to automate the measurement methods and integrate them into TROMLAB, a rigorous framework for the development of real time reactive systems.\",\"PeriodicalId\":228728,\"journal\":{\"name\":\"Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2000-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICECCS.2000.873924\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICECCS.2000.873924","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The paper discusses complexity categories associated with the phases of a process model that is followed in a rigorous development of real time reactive systems. We describe the complexity that is inherent in each phase and give measures to quantify it and methods to contain it. One of the goals of the work is to automate the measurement methods and integrate them into TROMLAB, a rigorous framework for the development of real time reactive systems.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
