Tests; Computer programs; Software engineering; Program verification(Computers); Proving; Fortran; Models; Software reliability; Systems analysis;
机译:测试驱动的建模,用于模型驱动的开发
机译:捍卫虚拟开发模型:策略允许科学数据驱动发展,而不是公司的前景
机译:科学软件中的测试驱动开发:一项调查
机译:一种自动模型驱动的测试框架 - 用于模型驱动的开发和软件产品线
机译:初中生自学教学材料的开发与测试
机译:使用潜在变化评分的发育认知神经科学模型:教程和应用程序
机译:我们开发了一种科学创造力模型,并在稀有疾病领域进行测试。我们的模型基于对Rett综合征的深入案例研究的结果。档案分析,文献计量技术和专家调查与网络分析相结合,以确定最具创造力的科学家。首先,比较生成和组合创造力的替代措施。然后,我们推广了我们的结果,并提出了社会语义网络演化的随机模型。模型预测用多个罕见疾病专业网络进行测试。我们发现,一个领域的专家之间的新的科学合作增强了组合创造力。相反,新手的高入门率与生成创造力负相关。通过扩展这组有用的概念,创造性的科学家获得了中心地位。同时,通过增加科学界的中心地位,科学家们可以复制和推广他们的结果,从而促进科学范式的发展。