Software system integration methodology using formal specifications

被引：0
|
作者：
Hartrum, TC [1 ]
Nonnweiler, JC [1 ]
机构：
[1] Wright State Univ, Dayton, OH 45435 USA
来源：
PROCEEDINGS OF THE 44TH IEEE 2001 MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1 AND 2 | 2001年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This work proposes a methodology that can be used to integrate formal models representing software components. The integration ensures that the correctness of each input model is maintained while adding the desired functionality to the integrated model. Further, because of the inherent knowledge captured in the formal models, automated tool support can be developed to assist the application engineer in this process. This allows needed middleware for connecting the components to be synthesized from the formal specifications developed.
引用
收藏
页码：674 / 677
页数：4
相关论文
共 50 条
12345