搜索结果: 1-3 共查到“计算机科学技术其他学科 Case study”相关记录3条 . 查询时间(0.25 秒)
A Case Study on the Application of PVS to Requirements Analysis
Application PVS Requirements Analysis
2009/12/9
This paper presents the results of a formal methods case study in which the Prototype Verification System (PVS) has been used for requirements analysis of one module of a physical access control syste...
Support from top management and others is agreed to be an important factor in information systems success and failure, but little is written about how it has its effect and how it might be managed to ...
Computer-assisted Discrepancy Management – A Case Study in Research Transfer to Industry
Computer-assisted Discrepancy Management A Case Study Research Transfer
2014/3/12
This paper reports on the “repackaging” and transfer to industry of research results in ViewpointBased Requirements Engineering (VBRE). Our experience, as indicated here, is a particular case of the p...