网络前提条件和后续条件 网络释义 1. 前提条件和后续条件 前提条件和后续条件(Pre-and Post-Conditions) 许多的程序员使用按契约编程(Design by Contract)的形式。 blog.csdn.net|基于50个网页 例句
Finally, I was 11 walked, their probably 12 talents walked. [translate] a不,我没去过. No, I have not gone. [translate] awhydoyouwanttobea whydoyouwanttobea [translate] aComments of method purpose, parameters, pre- and post-conditions 方法的评论打算,参量,前和岗位状况 [translate] ...
这里的->是个契约连接符,racket还支持另外一种写法 (exact-nonnegative-integer? . -> . any),意思是一样的,最后一个表达式(这里是any)代表的是return值检查,也就是所谓的post-conditions(后置条件),其余部分则是函数调用时对参数进行检查,也就是所谓的pre-conditions (前置条件)。 上面的代码的意思是为set-l...
It has been added to Rational's UML core as a logic-based sublanguage for the definition of integrity constraints (invariants) on class diagrams as well as for the definition of pre- and postconditions... A Schürr - Modellierung, Workshop Der Gesellschaft Für Informatik E V, 28-30 ...
awhere you atare you in the world or space 那里您atare您在世界或空间[translate] adoy you know what i mean doy您知道什么我意味[translate] aSide-by-side comparisons of pre- and post-treatment conditions 前和post-treatment情况肩并肩比较[translate]...
Th paper shows how analysis of programs in terms of pre- and postconditions can be improved using a generalisation of conditioned program slicing called pre/post conditioned slicing. Such conditions play an important role in program comprehension, reuse, verification and reengineering. Fully automated ...
A Fluent API for Pre- and Post-Conditions When a method is called, it expects its environment to be in a certain state prior to its execution; it may also assume certain conditions hold once execution completes. These assumptions are called pre-conditions and post-co...
这些假设被称为前置条件(pre-conditions)和 后置条件(post-conditions)。开源项目CuttingEdge.Conditions 是一个提供一 … www.th7.cn|基于89个网页 2. 前提条件 法律词汇_翻译家(Fanyijia.com) ... 前父母 former parent前提条件pre-conditions潜逃境外 absconding abroad ... ...
Wagner, E. G. (1987). `A categorical treatment of pre- and post conditions'. The- oretical Computer Science, volume 53. (270)E. G. Wagner. A categorical treatment of pre- and post-conditions. Theor. Comput. Sci., 53(1):3-24, 1987.Wagner, E.G. (1987), A categorical treatment ...
Pre-TestandPost-TestConditions Chapter 6: Repetitive Loops Repetitive Loops In a repetitive loop, the particular set of instructions will occur for either a set period of time, or the instructions will occur until the condition is no longer true. For example:Do while the instructor in the ...