Knowledge Based Systems （KBS） - Volume 23, Issue 7 论文列表
| 点击这里查看 Knowledge Based Systems 的JCR分区、影响因子等信息 |
| 卷期号： Volume 23, Issue 7 |
| 发布时间： October 2010 |
| 卷期年份： 2010 |
| 卷期官网： https://www.sciencedirect.com/journal/knowledge-based-systems/vol/23/issue/7 |
本期论文列表
Editors, Aims & Scope
Special issue on “Intelligent Formal Techniques for Software Design: IFTSD”
A family of computer systems for delivering individualized advice
Developer-friendly verification of process-based systems
Using argumentation to model and deploy agent-based B2B applications
Model correspondence as a basis for schema domination
AspectC++: An integrated approach for static and dynamic adaptation of system software
Towards a framework for estimating system NFRs on behavioral models
Aiming strategy error analysis and verification of a billiard training system