...类 直觉主义逻辑的类型理论把公式作为类型，公式的证明是构造性的．从程序设计观点看，类型是程序规约 （Program specification），类型的元素是程序．在OOP中，类是一组对象的模板，它描述了这些对象的共同特 性，因此我们认为可把类作为一种类型，对象就是其...
基于24个网页-相关网页
FSP是一类描述并发程序形式化规约的进程代数记法。
FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.
使客户程序可以通过命名抽象超类和给定规约来创建对象。
Let clients create objects by naming an abstract superclass and by providing a specification.
结合S7—200系列plc的特点，制定了通信规约，画出了PLC的主程序流程图，并给出了部分调试结果。
The communicate stipulations of an agreement is constituted according as the characteristic of S7-200 PLC. The main procedure flow chat is drawn. The part of debugging result is shown.
应用推荐