{"title":"复杂计算机系统的正式体系结构分析","authors":"A. Kurkovsky","doi":"10.1109/SSST.2006.1619037","DOIUrl":null,"url":null,"abstract":"Today, most computer systems are designed using off the shelf hardware and software components. This significantly accelerates the system development process but does not guarantee the quality of the finished product. In this paper we consider quality as a compliance of the designed computer system with the requirements of potential users. We assume that there are limited cost and hardware/software restrictions during the development process of a computer system. To measure the quality of the developed system architecture we use a set of specified effectiveness criteria","PeriodicalId":420822,"journal":{"name":"2006 Proceeding of the Thirty-Eighth Southeastern Symposium on System Theory","volume":"57 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Formal Architectural Analysis of Complex Computer Systems\",\"authors\":\"A. Kurkovsky\",\"doi\":\"10.1109/SSST.2006.1619037\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Today, most computer systems are designed using off the shelf hardware and software components. This significantly accelerates the system development process but does not guarantee the quality of the finished product. In this paper we consider quality as a compliance of the designed computer system with the requirements of potential users. We assume that there are limited cost and hardware/software restrictions during the development process of a computer system. To measure the quality of the developed system architecture we use a set of specified effectiveness criteria\",\"PeriodicalId\":420822,\"journal\":{\"name\":\"2006 Proceeding of the Thirty-Eighth Southeastern Symposium on System Theory\",\"volume\":\"57 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-03-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2006 Proceeding of the Thirty-Eighth Southeastern Symposium on System Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SSST.2006.1619037\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 Proceeding of the Thirty-Eighth Southeastern Symposium on System Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SSST.2006.1619037","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Formal Architectural Analysis of Complex Computer Systems
Today, most computer systems are designed using off the shelf hardware and software components. This significantly accelerates the system development process but does not guarantee the quality of the finished product. In this paper we consider quality as a compliance of the designed computer system with the requirements of potential users. We assume that there are limited cost and hardware/software restrictions during the development process of a computer system. To measure the quality of the developed system architecture we use a set of specified effectiveness criteria
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
