一种基于形式化B方法的软件构件模型  

作　　者：唐宇[1] 

机构地区：[1]泰州师范高等专科学校,江苏泰州225300

出　　处：《天水师范学院学报》2009年第2期87-89,共3页Journal of Tianshui Normal University

摘　　要：提出了一种基于形式化B方法的软件构件模型,分基于检索的部分、基于学习的部分和基于组装与演化的部分来依次展现构件信息,并结合实例给出了使用B语言来描述构件的具体功能和行为规约的具体运用。

关 键 词：形式化方法 B方法 软件构件模型 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]