This paper presents a formal approach,FSPD(Formal Specifications for Protocols of Decoders),to specify decoder communication protocols.Based on axiomatic,FSPD is a precise language with which programmers could use onl...This paper presents a formal approach,FSPD(Formal Specifications for Protocols of Decoders),to specify decoder communication protocols.Based on axiomatic,FSPD is a precise language with which programmers could use only one suitable driver to handle various types of decoders.FSPD is helpful for programmers to get high adaptability and reusability of decoder-driver software.展开更多
文摘This paper presents a formal approach,FSPD(Formal Specifications for Protocols of Decoders),to specify decoder communication protocols.Based on axiomatic,FSPD is a precise language with which programmers could use only one suitable driver to handle various types of decoders.FSPD is helpful for programmers to get high adaptability and reusability of decoder-driver software.
