2014Research Journal of Applied Sciences Engineering and TechnologyOpen access

Study on Formal Information Fusion Framework with Object-oriented Technology

Zhengyou Wang, Yanhui Xia, Chunhua Guan, Jin Wang

Open full text 0 citations

Abstract

The formal approach to software development is considered to be a good way to develop reliable and high quality software and a graphical tool using object-oriented technology has strong intuitive in the description of software requirements. In this study, a new formal information fusion framework is presented based on formal approach and object-oriented thoughts. The information fusion model in the proposed framework consists of two parts: specification library and specification library management system. Herein, the first part enhances system reliability, consistency and reusability. As to the management system, its function is to organize, manage, store, search and insert for specification library. Lastly, the study introduces how to use the framework to detect image edge.

Open-access reader

About this research paper

What this paper is about

The formal approach to software development is considered to be a good way to develop reliable and high quality software and a graphical tool using object-oriented technology has strong intuitive in the description of software requirements. In this study, a new formal information fusion framework is presented based on formal approach and object-oriented thoughts. The information fusion model in the proposed framework consists of two parts: specification library and specification library management system. Herein, the first part enhances system reliability, consistency and reusability. As to the management system, its function is to organize, manage, store, search and insert for specification library. Lastly, the study introduces how to use the framework to detect image edge.

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

The formal approach to software development is considered to be a good way to develop reliable and high quality software and a graphical tool using object-oriented technology has strong intuitive in the description of software requirements. In this study, a new formal information fusion framework is presented based on formal approach and object-oriented thoughts. The information fusion model in the proposed framework consists of two parts: specification library and specification library management system. Herein, the first part enhances system reliability, consistency and reusability. As to the management system, its function is to organize, manage, store, search and insert for specification library. Lastly, the study introduces how to use the framework to detect image edge.

Key concepts: Reusability, Computer science, Formal specification, Software engineering, Formal methods, Consistency (knowledge bases), Formal verification, Information system

Related papers

Back to paper searchBrowse research topicsOriginal source
Study on Formal Information Fusion Framework with Object-oriented Technology — Research Paper | ScholarLens