The Formal Specifications for Protocols of Decoders  

作　　者：YUANMeng-ting WUGuo-qing SHUFeng-di 

机构地区：[1]SchoolofComputer,WuhanUniversity,Wuhan430072,Hubei,China

出　　处：《Wuhan University Journal of Natural Sciences》2004年第6期879-882,共4页武汉大学学报（自然科学英文版）

摘　　要：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. Key words formalization - digital video security system - protocol of decoders CLC number TP 311 Biography: YUAN Meng-ting(1976-), Ph.D candidate, research direction: software engineering, formal method.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. Key words formalization - digital video security system - protocol of decoders CLC number TP 311 Biography: YUAN Meng-ting(1976-), Ph.D candidate, research direction: software engineering, formal method.

关 键 词：FORMALIZATION digital video security system protocol of decoders 

分 类 号：TN764[电子电信—电路与系统]