{"title":"通过case支持的外部设计和面向对象的规范来获取和形式化需求","authors":"Oscar Barros","doi":"10.1109/CASE.1993.634811","DOIUrl":null,"url":null,"abstract":"Presents an integrated methodology for deriving the requirements of an information system based on the design of the organizational components external to the computer. This methodology, which is supported by a CASE software, results in the definition and formal specification of computer objects that satisfy the above requirements. Such objects can be executed for requirements validation.","PeriodicalId":442754,"journal":{"name":"Proceedings of 6th International Workshop on Computer-Aided Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Requirements elicitation and formalization through CASE-supported external design and object-oriented specification\",\"authors\":\"Oscar Barros\",\"doi\":\"10.1109/CASE.1993.634811\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Presents an integrated methodology for deriving the requirements of an information system based on the design of the organizational components external to the computer. This methodology, which is supported by a CASE software, results in the definition and formal specification of computer objects that satisfy the above requirements. Such objects can be executed for requirements validation.\",\"PeriodicalId\":442754,\"journal\":{\"name\":\"Proceedings of 6th International Workshop on Computer-Aided Software Engineering\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-07-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 6th International Workshop on Computer-Aided Software Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CASE.1993.634811\",\"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 of 6th International Workshop on Computer-Aided Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CASE.1993.634811","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Requirements elicitation and formalization through CASE-supported external design and object-oriented specification
Presents an integrated methodology for deriving the requirements of an information system based on the design of the organizational components external to the computer. This methodology, which is supported by a CASE software, results in the definition and formal specification of computer objects that satisfy the above requirements. Such objects can be executed for requirements validation.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
