搜索结果: 1-2 共查到“知识库 计算机科学技术 Paper”相关记录2条 . 查询时间(0.093 秒)
A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper)
Logic-based requirements specification language data flow analysis parallel execution model
2009/12/9
It is well known that undiscovered errors in a requirements specification is extremely expensive to be fixed when discovered in the software maintenance phase. Errors in the requirement phase can be r...
Realising Requirements in Product-Line Development Using O-O Frameworks (Invited Position Paper)
Product-Line Development O-O Frameworks
2009/12/8
An existing, rapidly evolving strategy for realizing requirements in product line development is described. The position taken and the proposed new directions are based on our substantial experience i...