云南高校图书馆联盟文献共享服务平台- SPECIFICATION

SPECIFICATION: 作品数：128被引量：110H指数：5; 导出分析报告; 相关领域：生物学艺术更多>>; 相关作者：顾荣宝张琳娜刘玉芳孔晓峰唐勇更多>>; 相关机构：沈阳高精数控技术有限公司武汉华中数控股份有限公司安徽大学沈阳产品质量监督检验院更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金河南省科技攻关计划国家重点基础研究发展计划广东省自然科学基金更多>>

Specification and Verification of the Zab Protocol with TLA+: 《Journal of Computer Science & Technology》2020年第6期1312-1323,共12页Jia-Qi Yin Hui-Biao Zhu Yuan Fei; This work was partly supported by the National Key Research and Development Program of China under Grant No.2018YFB2101300;the National Natural Science Foundation of China under Grant No.61872145;Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of Things under Grant No.ZF1213;the Fundamental Research Funds for the Central Universities of China.; ZooKeeper Atomic Broadcast (Zab) is an atomic broadcast protocol specially designed for ZooKeeper, which supports additional crash recovery. This protocol actually has been widely adopted by famous Internet companies,...; 关键词：Zab protocol TLA+ SPECIFICATION VERIFICATION

Synthesizing Distributed Protocol Specifications from a UML State Machine Modeled Service Specification: 《Journal of Computer Science & Technology》2012年第6期1150-1168,共19页Jehad Al Dallal Kassem A.Saleh; supported by Kuwait University under Research Grant No. WI03/10; The object-oriented paradigm is widely applied in designing and implementing communication systems. Unified Modeling Language （UML） is a standard language used to model the design of object-oriented systems. A proto...; 关键词：distributed system network protocol object-oriented design method

Mining Effective Temporal Specifications from Heterogeneous API Data: 《Journal of Computer Science & Technology》2011年第6期1061-1075,共15页吴倩梁广泰王千祥梅宏; supported by the National Basic Research 973 Program of China under Grant No.2009CB320703;the Science Fund for Creative Research Groups of China under Grant No.60821003; Temporal specifications for Application Programming Interfaces （APIs） serve as an important basis for many defect detection tools. As these specifications are often not well documented, various approaches have been ...; 关键词：specification mining specification refinement defect detection comment analysis

Specification and Verification of Multimedia Synchronization in Duration Calculus被引量：2: 《Journal of Computer Science & Technology》2003年第2期172-180,共9页马华东; 国家自然科学基金，教育部优秀青年教师资助计划; This paper proposes a new method of specifying multimedia synchronization basedon Duration Calculus (DC), a real time interval logic, presents the completeness of the new model,and uses it to specify the temporal rela...

Dynamic Checking Frameworkfor Java Beaus Semantic Constraints被引量：1: 《Journal of Computer Science & Technology》1999年第4期408-413,共6页倪彬冯玉琳; Java Beans is a standard for software components. For checkingthe consistency of the Java Beaus semantic constraints with its implementation,this paper proposes a formal Java Beaus Description Language (JBDL) to speci...; 关键词：Java Beaus semantic constraints SPECIFICATION dynamic checking

Verifying Automata Specification ofDistributed Probabilistic Real-Time Systems: 《Journal of Computer Science & Technology》1998年第6期588-596,共9页罗铁庚陈火旺王兵山王戟龚正虎齐治昌; In this paper, a qualitative model checking algorithm for verification of distributed probabilistic real-time systems (DPRS) is presented. The model of DPRS, called real-time probabilistic process model (RPPM), is ove...; 关键词：DPRS GSMP automatic verification model checking timed automata.

Program Constructionby Verifying Specification: 《Journal of Computer Science & Technology》1998年第6期597-607,共11页林洪陈国良; A program construction method based on Gamma language is proposed. The problemto be solved is specified by first-order predicate logic and a semantic verification program isconstructed directly from the specification....; 关键词：Program synthesis very high-level language parallelism and concurrency formal specification first-order logic.

CIMS Network Protocol and Its Net Models: 《Journal of Computer Science & Technology》1997年第5期476-480,F003,共6页罗军舟顾冠群; Computer communication network architectures for CIMS are based on the OSI Reference Model. In this paper, CIMS network protocol model is set up on the basis of the corresponding service model. Then the authors presen...; 关键词：Petri net SPECIFICATION CIMS PROTOCOL

An Approach to User Interface Specification with Attribute Grammars: 《Journal of Computer Science & Technology》1997年第1期65-75,共11页华庆一; An approach to supporting user interfaces using an attribute grammmar combined with an event model is described. The main emphasis is how to represent a multi-thread dialogue model in direct manipulation user interfac...; 关键词：User interface management multi-thread dialogue event model attribute grammar

Hybridity in Embedded Computing Systems: 《Journal of Computer Science & Technology》1996年第1期90-96,共7页虞慧群孙永强; An embedded system is a system that computer is used as a componelit ina larger device. In this paper, we study hybridity in embedded systems andpresent an interval based temporal logic to express and reason about hyb...; 关键词：Embedded systems hybridity temporal logic specification verification

SPECIFICATION